I was thinking a combination of mathematics as a collaborative game (simulations) and engineering mathematics. A platform with the map of mathematics as well as the pull request capability — that could take an idea (or a group of ideas and insights), that kind of seed, modeled as an e-graph (or something similar), given the mathlib-like math knowledge base context, to something that gets formalized, and is fully reusable.