In his article «Towards a world mathematical commons», Kunal Marwaha observes that mathematics is a deeply creative and emotional pursuit that has outgrown individual mastery. As machines increasingly prove theorems and generate formal documents, many researchers find this shift daunting rather than liberating.

Marwaha advocates for a paradigm shift: from solitary frontier exploration to collective stewardship of a global mathematical commons. He outlines a concrete roadmap—establishing a broad coalition of mathematicians, leveraging LLMs to formalize knowledge in Lean, and structuring the resulting verification graph into accessible, modular components.

Under responsible governance, this infrastructure could streamline complex theories, illuminate elegant proof pathways for broader audiences, and nurture future generations working alongside AI. Marwaha concludes with an urgent call to action: the time to build this coalition is now.