OpenAI et Anthropic revendiquent une percée : les humains vérifient encore
OpenAI et Anthropic affirment que leurs IA ont réfuté une hypothèse de 1999 sur 3-SAT. Un logiciel a contrôlé les preuves ; les humains relisent encore.
Thème : mathématiques
-
-
OpenAI annonce trois preuves faites par IA : les experts doivent trancher
OpenAI affirme que son IA a démontré trois résultats majeurs en maths, informatique et physique. Mais des experts extérieurs doivent vérifier les preuves.
-
Yang-Mills : neuf mathématiciens exigent qu’OpenAI publie ses preuves
OpenAI annonce avoir prouvé l’existence de la théorie de Yang-Mills, mais la preuve reste secrète. Neuf mathématiciens exigent sa publication.