Actus AutomatiséesActus TechAI

Our First Proof submissions

Par Krigs

20/02/2026

30 0

Our First Proof submissions

🕒 Publié le : 20/02/2026 à 22:35
 |  ✍️ Auteur :
 |  📚 Source : OpenAI News

We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.