Project Sandbox aims to create a digital research institute where AI agents develop tools, conjecture, attempt proofs, and review work under a human mathematician’s direction, with formal vetting by a computer algebra oracle and a proof kernel before anything is recorded.

Hausel notes rapid progress in the sandbox, with early results emerging within weeks of starting the project, a pace that evokes science fiction-inspired breakthroughs.

The environment will connect representation theory and equivariant topology, building an AI-assisted bridge between these fields by relating quantum groups, Langlands classification, affine Schubert varieties, and GKM graphs.

Project Numina is a Paris-based international nonprofit focused on open-source AI for mathematics and formal reasoning, uniting mathematicians and ML engineers to advance open science.

An interactive visualization tool called the eyepiece renders the sandbox in action, with plans to adapt it to virtual reality for direct interaction with computations.

Numina awarded a 50,000 euro, 12-month fellowship to Tamás Hausel of ISTA to develop Project Sandbox, a self-contained digital research environment for human mathematicians and AI agents exploring unproven areas.

The Numina approach emphasizes human-AI collaboration, where humans set research goals and evaluate results while AI agents develop tools, formulate conjectures, attempt proofs, and perform internal reviews.

This project builds on the Numina-Lean-Agent proof assistant and positions Project Sandbox as a controlled environment where formal verification precedes publication, ensuring machine-checked results.