En el artículo Towards a world mathematical commons, Kunal Marwaha recuerda que las matemáticas son una empresa creativa y emocional que ha dejado atrás al individuo: nadie abarca ya todo el saber. Las máquinas demuestran teoremas nuevos y generan documentos matemáticos, lo que intimida a muchos investigadores.

Marwaha propone pasar de explorar la frontera a custodiar un bien común. Los pasos son crear una coalición de matemáticos, formalizar todo en Lean con la ayuda de LLM, y organizar el grafo resultante en fragmentos manejables.

Con una gestión responsable, el grafo permitiría simplificar teorías, trazar rutas de demostraciones atractivas para el público y formar a nuevas generaciones junto a las máquinas. El autor invita a empezar ya por la coalición.