https://autoia.net/tags/reproductibilit%C3%A9/ Recent content in Reproductibilité on AutoIA Hugo -- gohugo.io fr Wed, 12 Aug 2026 10:13:56 +0100 https://autoia.net/posts/ia/une-percee-de-l-intelligence-artificielle-claude-d-anthropic-sur-l-hypothese-de-riemann-la-proportion-demontree-des-zeros-passe-a-672/ Wed, 12 Aug 2026 10:13:56 +0100 https://autoia.net/posts/ia/une-percee-de-l-intelligence-artificielle-claude-d-anthropic-sur-l-hypothese-de-riemann-la-proportion-demontree-des-zeros-passe-a-672/ Une version non publiée du modèle Claude a porté de 41,6 % à 67,2 % la proportion démontrée sans hypothèse des zéros de la fonction zêta situés sur la droite critique, un record qui n’avait plus bougé depuis 2020. L’instruction initiale tenait en une phrase, lancée par un salarié sans formation mathématique avancée. Le dispositif a généré 650 pistes, coordonné 60 sous-agents et consommé 31 millions de tokens avant qu’une piste écartée ne livre le résultat, formalisé ensuite en Lean. Le papier, signé par un auteur unique nommé CLAUDE, se heurte à une déclaration internationale et à une politique d’archivage qui refusent toutes deux la qualité d’auteur à une machine. 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.