OpenAI vient de présenter une affirmation sérieuse.
Ses dernières recherches en IA impliquaient environ 10 000 agents travaillant ensemble sur le problème de Navier–Stokes, l’un des défis célèbres et non résolus en mathématiques.
Au lieu d’avoir un seul modèle qui attaque le problème depuis une direction unique, le système a exploré de nombreuses approches en parallèle. OpenAI affirme qu’un problème Euler antérieur, plus simple, a aidé les agents à développer des idées qui ont ensuite été appliquées à Navier–Stokes.
La percée aurait eu lieu après environ 88 heures.
Le résultat proposé pointe vers un scénario dans lequel un vortex continue de se concentrer et de s’étirer jusqu’à ce qu’une singularité se forme en temps fini, même si l’énergie globale reste finie.
OpenAI a ensuite traduit l’argument en Lean afin que la preuve puisse être vérifiée mécaniquement.
Cette partie compte. Un argument spectaculaire généré par une IA, c’est une chose. Une preuve formellement vérifiée, c’en est une autre.
Cela dit, il existe une mise en garde importante : le résultat d’OpenAI n’est pas encore devenu une solution acceptée par la communauté mathématique.
Le problème est assorti d’un prix Millennium de 1 M$, mais OpenAI indique qu’il ne compte pas le revendiquer.
En outre, le chiffre d’environ 15 M$ qui circule en ligne est une estimation externe des coûts liés aux tokens, et non un chiffre officiel d’OpenAI. Et il n’y a aucune preuve que $WLD ait été utilisé pour le payer.
$SUI $4Stock
Ses dernières recherches en IA impliquaient environ 10 000 agents travaillant ensemble sur le problème de Navier–Stokes, l’un des défis célèbres et non résolus en mathématiques.
Au lieu d’avoir un seul modèle qui attaque le problème depuis une direction unique, le système a exploré de nombreuses approches en parallèle. OpenAI affirme qu’un problème Euler antérieur, plus simple, a aidé les agents à développer des idées qui ont ensuite été appliquées à Navier–Stokes.
La percée aurait eu lieu après environ 88 heures.
Le résultat proposé pointe vers un scénario dans lequel un vortex continue de se concentrer et de s’étirer jusqu’à ce qu’une singularité se forme en temps fini, même si l’énergie globale reste finie.
OpenAI a ensuite traduit l’argument en Lean afin que la preuve puisse être vérifiée mécaniquement.
Cette partie compte. Un argument spectaculaire généré par une IA, c’est une chose. Une preuve formellement vérifiée, c’en est une autre.
Cela dit, il existe une mise en garde importante : le résultat d’OpenAI n’est pas encore devenu une solution acceptée par la communauté mathématique.
Le problème est assorti d’un prix Millennium de 1 M$, mais OpenAI indique qu’il ne compte pas le revendiquer.
En outre, le chiffre d’environ 15 M$ qui circule en ligne est une estimation externe des coûts liés aux tokens, et non un chiffre officiel d’OpenAI. Et il n’y a aucune preuve que $WLD ait été utilisé pour le payer.
$SUI $4Stock
