OpenAI a sorti 722 articles de maths à partir d'une consigne.
OpenAI a publié mardi sur GitHub 722 manuscrits de maths écrits par un modèle interne non diffusé. L'entreprise affirme que presque chaque résultat vient d'une seule consigne confiée à un seul agent. Seuls 162 articles ont une preuve vérifiée par machine et les mathématiciens jugent l'annonce non confirmée.
Pourquoi c'est importantLe coût d'un résultat mathématique de pointe est passé de dix mille agents à trois heures de calcul. Tous les domaines à problèmes ouverts suivront, et personne ne sait vérifier un tel volume.
Lire dans l'app — gratuit, en 9 langues
Actus liées
Le site des problèmes d'Erdős refuse désormais les démonstrations.2026-10-07Vingt essais sur la même tâche coûtent un tiers au meilleur agent.
2026-10-06Un modèle a appris sans la méthode qui entraîne toutes les IA.
2026-10-06Les États-Unis placent l'IA au cœur de la science avec 16 pays.
2026-10-05Cinq problèmes ouverts sont tombés dans un chat ordinaire.
2026-10-05