https://autoia.net/tags/assistants-de-preuve/ Recent content in Assistants de preuve on AutoIA Hugo -- gohugo.io fr Mon, 03 Aug 2026 21:44:34 +0100 https://autoia.net/posts/ia/une-intelligence-artificielle-aurait-signe-dix-avancees-mathematiques-un-exploit-ou-une-operation-de-communication/ Mon, 03 Aug 2026 21:44:34 +0100 https://autoia.net/posts/ia/une-intelligence-artificielle-aurait-signe-dix-avancees-mathematiques-un-exploit-ou-une-operation-de-communication/ OpenAI attribue à une version interne de son prochain modèle, baptisée Astra, dix résultats présentés comme inédits en mathématiques et en informatique théorique, chacun accompagné d’un certificat formalisé dans Lean 4 et déposé publiquement. Le laboratoire met en avant un manuscrit de 249 pages et une facture de jetons estimée à 2 000 dollars, un chiffre qui laisse de côté l’entraînement, le travail humain et les tentatives infructueuses. Un tel certificat garantit la correction d’une démonstration, jamais la fidélité de l’énoncé formalisé, ni la nouveauté ou l’importance du résultat. Deux dépôts concurrents en quarante-huit heures et un calendrier réglementaire chargé complètent le tableau.