Les affirmations les plus fascinantes des nouvelles preuves d'OpenAI

Mardi après-midi, OpenAI a publié plus de 700 manuscrits rapportant des preuves, des solutions et des progrès sur 372 problèmes ouverts à travers la recherche théorique.

Il faudra du temps aux mathématiciens pour éplucher tous les résultats générés par l'intelligence artificielle. Personne, pas même les chercheurs d'OpenAI eux-mêmes, n'a encore été capable de tout lire. Et toutes les preuves n'ont pas été certifiées conformes par la plateforme de vérification logique automatique Lean—en fait, certaines ont déjà été retirées après que des scientifiques extérieurs ont trouvé des erreurs. OpenAI n'a pas non plus inclus les prompts complets ou les détails du temps d'exécution sur la manière dont leurs agents ont découvert les preuves, et des responsables ont admis dans un article de blog sur les résultats que les citations et les descriptions écrites des découvertes pourraient être améliorées dans les versions futures.

À LIRE AUSSI : Les mathématiciens s'émerveillent, et maugréent, devant la mine de nouveaux résultats d'OpenAI

Sur le soutien au journalisme scientifique

Si vous appréciez cet article, envisagez de soutenir notre journalisme primé en vous abonnant. En souscrivant un abonnement, vous aidez à assurer l'avenir d'histoires percutantes sur les découvertes et les idées qui façonnent notre monde aujourd'hui.