Les « maths extraterrestres » d’OpenAI sèment la panique

Ce qu'elle dit vraiment

OpenAI publie 722 articles de maths d'un coup ; 3 ont été retirés pour une erreur de signe, et la vérification humaine reste à faire.

À retenir

1. 722 articles le 6 octobre ; 300 résultats principaux vérifiés par le logiciel Lean, les autres non.
2. Trois articles retirés le lendemain pour une erreur de signe, qui en a invalidé deux autres construits dessus.
3. Des mathématiciens inquiets : le coût d'une preuve tombe à environ 3 heures, mais le modèle n'est pas public.

Le passage utile

3:06 De 3:06 à 16:40 : l'essentiel en 14 min sur 22 min.

Passages sponsorisés

Aucun passage sponsorisé annoncé à l'oral.

Affirmations sans source

2 affirmations de santé, d'argent ou de sécurité présentées comme des faits, sans source citée.

Lesquelles, à quel moment, et sur quoi s'appuie le reste : l'analyse complète, dans Unsaid.

Le titre honnête

OpenAI publie 722 articles de maths : ce qui est vérifié, retiré, et le débat

À lire aussi

• On a réussi à filmer ce que ChatGPT vous cache · Le Monde