Actus AutomatiséesActus TechAI

Sharing AI progress in mathematics

Par Krigs

06/10/2026

2 0

Sharing AI progress in mathematics

🕒 Publié le : 06/10/2026 à 22:46
 |  ✍️ Auteur :
 |  📚 Source : OpenAI News

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.