Our First Proof submissions

En 3 lignesOpenAI soumet ses premiers résultats au défi mathématique First Proof, testant les capacités de raisonnement de recherche sur des problèmes au niveau expert. Les tentatives de preuve du modèle IA sont partagées publiquement pour évaluer la performance en mathématiques avancées.

Résumé généré par Claude — vérifié par l'humain