OpenAI a annoncé le 8 septembre qu'un système IA interne a coordonné quelque 10 000 agents pour résoudre le problème d'existence et de régularité de Navier-Stokes, l'un des sept problèmes du prix du millénaire en mathématiques. Les agents ont échangé 2,7 millions de messages et généré quelque 130 milliards de tokens de sortie sur 88 heures, après quoi OpenAI a passé 17 heures supplémentaires à formaliser le résultat dans Lean. L'entreprise a déclaré ne pas avoir l'intention de réclamer le prix d'un million de dollars du Clay Mathematics Institute, et la preuve doit encore être soumise à un examen plus large. OpenAI a décrit le modèle interne comme dépassant sensiblement son récent GPT-6 Astra en mathématiques et a indiqué que le système est encore en cours d'entraînement.
Pourquoi c'est important
La percée est tombée la même semaine où deux anciens chercheurs de laboratoire de pointe ont averti publiquement que la superintelligence pourrait tuer tout le monde d'ici la fin de la décennie. Jacob Coxon, démissionnaire d'Anthropic le 8 septembre et ancien contributeur principal à GPT-4o chez OpenAI, a déclaré que « les personnes qui construisent l'IA croient sincèrement qu'elle pourrait tous nous tuer d'ici la fin de la décennie ». Evan Hubinger, responsable de la science de l'alignement chez Anthropic, a soutenu cet avertissement, estimant personnellement le risque d'extinction à plus de 10 % dans les dix ans.
Ce couple percée-avertissement a fait sortir un débat jusque-là réservé aux chercheurs dans la politique américaine. Le sénateur Bernie Sanders et le représentant Greg Casar ont annoncé le 3 septembre le Ban Artificial Superintelligence Act, qui interdirait définitivement les systèmes superintelligents et suspendrait le développement avancé de l'IA jusqu'à ce qu'un régulateur fédéral rédige des règles de sécurité. Anthropic a proposé en juin que les principaux laboratoires développent un mécanisme vérifiable pour ralentir ou stopper le développement de pointe lorsque les capacités dépassent les garde-fous.
Impact sur le marché
Les réactions institutionnelles ont été partagées. L'American Mathematical Society a qualifié le résultat Navier-Stokes d'« avancée majeure dans la connaissance humaine », tandis que l'investisseur milliardaire Bill Ackman a résumé en un mot le fil de démission de Coxon : « Inquiétant ». Joseph G., professeur à la Harvard T.H. Chan School of Public Health,
Questions fréquemment posées
-
Quel est le problème de Navier-Stokes qu'OpenAI prétend avoir résolu ?
Le problème d'existence et de régularité de Navier-Stokes demande si un mouvement fluide régulier peut développer une singularité en temps fini. C'est l'un des sept problèmes du prix du millénaire, chacun assorti d'une récompense d'un million de dollars du Clay Mathematics Institute, et il reste ouvert depuis les…
-
Comment le système d'OpenAI a-t-il résolu le problème de Navier-Stokes ?
Environ 10 000 agents IA coordonnés par un modèle interne ont échangé 2,7 millions de messages et généré quelque 130 milliards de tokens de sortie sur 88 heures. OpenAI a ensuite passé 17 heures supplémentaires à formaliser et vérifier le résultat dans Lean, un langage d'assistant de preuve.
-
Qui est Jacob Coxon et pourquoi a-t-il démissionné d'Anthropic ?
Coxon est un ancien contributeur principal à GPT-4o chez OpenAI, qui a passé trois ans à mener des recherches sur le pré-entraînement à la fois chez OpenAI et Anthropic. Il a démissionné le 8 septembre et a déclaré publiquement que les personnes qui construisent l'IA croient sincèrement qu'elle pourrait tuer tout le…
-
Qu'est-ce que le Ban Artificial Superintelligence Act ?
Le sénateur Bernie Sanders et le représentant Greg Casar ont annoncé ce texte le 3 septembre. Il interdirait définitivement le développement et le déploiement de la superintelligence artificielle et suspendrait le développement avancé de l'IA jusqu'à ce qu'un régulateur fédéral établisse des règles de sécurité.
-
Qu'a dit Evan Hubinger sur le risque d'extinction par l'IA ?
Hubinger, responsable de la science de l'alignement chez Anthropic, a soutenu l'avertissement de Jacob Coxon et a estimé personnellement le risque d'extinction humaine par l'IA à plus de 10 % dans la prochaine décennie, tout en soulignant que les modèles actuels présentent un risque faible. Sa préoccupation porte sur…
CoinTelegraph
Crypto News
WatcherGuru
CoinDesk
TheBlock