We are a Frontier Recursive Mathematics Lab

The program addresses the formulation of conjectures, the construction of proofs, and the development of industrial mathematical tools within a shared framework involving mathematicians and computational agents.

Its scope includes:

• formulation and refinement of conjectures
   
• development of methods for exploration and formal verification
   
• establishment of results in precise and reproducible form
   

No distinction is made between contributors.
Only correctness and mathematical content are relevant.

Following Grothendieck, the emphasis is on the introduction of structures through which problems are clarified and, where possible, resolved.