Mathematics
Archive thématique • 3 résultats
Généré par IA : résumés rédigés par une IA à partir des sources citées. Notre usage de l'IA
2026-10-07
Technologie
Une preuve assistée par l'IA pour le conditionnement optimal de 11 carrés a passé la vérification formelle avec Lean. La vérification EvolvingPrograms terminée a accepté les 7 920 modules Lean locaux, avec un audit final ne signalant aucune admission.
Recherche en IA • Hacker News
Lien permanent
2026-10-08
Technologie
OpenAI a retiré trois articles de mathématiques générés par IA après qu'une erreur de signe a invalidé un argument clé, un jour seulement après avoir publié plus de 700 manuscrits d'un coup. L'Association pour les mathématiques humaines appelle à un boycott, et le médaillé Fields Terence Tao a averti de la qualité des preuves générées par IA.
Recherche en IA • Hacker News
Lien permanentLe flot de preuves mathématiques générées par IA d'OpenAI s'est écarté des directives établies par un groupe de chercheurs en mathématiques consultés par le laboratoire de pointe, selon TechCrunch. L'approche de l'entreprise en matière de solutions mathématiques ne répondrait pas encore aux normes du domaine.
Recherche en IA • TechCrunch AI
Lien permanent