💻 technology

L'IA vient de résoudre une énigme mathématique de 1946

Le modèle de raisonnement d'OpenAI a résolu un problème de géométrie qui a déconcentré les mathématiciens pendant huit décennies. Les mêmes experts qui avaient dénoncé la dernière fausse déclaration de l'entreprise confirment maintenant que celle-ci est légitime. Ce n'est pas du battage médiatique-c'est une réelle avancée dans les mathématiques computationnelles.

Le dernier modèle de raisonnement d'OpenAI a réussi à réfuter une conjecture géométrique qui est demeurée non résolue depuis 1946, et la validation cette fois vient des mêmes mathématiciens qui ont dénoncé les affirmations exagérées précédentes de l'entreprise. Cet accomplissement marque une étape importante dans les mathématiques assistées par l'IA (intelligence artificielle), démontrant que les systèmes d'apprentissage automatique peuvent désormais s'attaquer à des problèmes qui ont résisté aux efforts humains pendant des générations. La conjecture en question implique des principes géométriques auxquels les mathématiciens ont été confrontés depuis l'immédiat après-guerre. Bien qu'OpenAI n'ait pas divulgué la conjecture spécifique publiquement, la vérification par des mathématiciens indépendants-particulièrement ceux qui avaient auparavant contredit les déclarations d'OpenAI-ajoute une crédibilité substantielle. C'est un retournement spectaculaire par rapport aux épisodes antérieurs où l'entreprise avait exagéré les capacités de ses modèles, pour ensuite subir des corrections embarrassantes de la part de la communauté académique. Ce qui rend cette percée particulièrement remarquable, c'est la méthodologie. Les modèles de raisonnement moderne de l'IA ne se contentent pas de calculer brutalement-ils explorent les espaces mathématiques de manière à révéler des contre-exemples ou des preuves que l'intuition humaine pourrait manquer. Le modèle a essentiellement cherché à travers de vastes espaces de possibilités pour trouver une configuration qui contredisait les affirmations de la conjecture, prouvant ainsi qu'elle était fausse. Cette approche a été de plus en plus fructueuse dans des domaines comme le repliement des protéines et la théorie des jeux, mais les mathématiques pures sont restées l'un des domaines les plus difficiles à maîtriser pour l'IA. Le processus de vérification est crucial ici. Après que le modèle d'OpenAI ait produit son résultat, des mathématiciens indépendants ont vérifié la logique pour confirmer que la réfutation résiste à un examen rigoureux. Ce n'est pas seulement l'entreprise qui revendique la victoire-c'est une validation par des pairs d'experts sans incitation à valider des affirmations fausses. Le fait que les mêmes chercheurs qui ont exposé le dernier faux pas mathématique d'OpenAI se portent garants de ce travail en dit long sur sa légitimité. Le moment ne pourrait être plus significatif pour OpenAI, qui a fait face à un scepticisme croissant quant à savoir si ses modèles progressent réellement vers un raisonnement plus profond ou s'ils ne deviennent que meilleurs à identifier des motifs. Une véritable percée mathématique-surtout une vérifiée par des experts extérieurs-fournit des preuves concrètes que ces systèmes peuvent réaliser un travail intellectuel innovant, plutôt que de simplement régurgiter des données de formation de manière astucieuse. C'est le genre de validation dont l'entreprise avait désespérément besoin après des mois de questions sur les rendements décroissants dans le développement de l'IA.

Mon avis

C'est la première fois que je vois OpenAI tenir la promesse de l'intelligence générale artificielle d'une manière qui compte réellement pour les personnes en dehors de la bulle technologique. Réfuter une conjecture de 80 ans n'est pas juste impressionnant-c'est le genre de réalisation concrète et vérifiable qui distingue le véritable progrès du battage marketing. Le fait que des mathématiciens sceptiques soutiennent cela en fait l'étape la plus crédible de l'IA depuis des années. Ce qui est fascinant, c'est comment cela change la conversation sur la sécurité et l'alignement de l'IA. Nous avons passé tellement de temps à nous inquiéter des chatbots qui disent des choses méchantes ou génèrent de fausses images que nous avons oublié le moment où l'IA devient réellement plus intelligente que nous dans le raisonnement fondamental. Un système qui peut résoudre des problèmes mathématiques que les humains n'ont pas pu résoudre pendant huit décennies n'est pas seulement une meilleure calculatrice-c'est une nouvelle forme d'intelligence. Que cela vous excite ou vous terrifie dépend probablement de si vous pensez que nous sommes prêts pour ce qui vient ensuite.

Et ensuite ?

Chaque département de mathématiques majeur sur terre est sur le point de lancer ses problèmes non résolus les plus difficiles à ce modèle d'OpenAI pour voir ce qu'il peut encore résoudre. Attendez-vous à une vague de papiers pré-imprimés au cours des six prochains mois testant le système contre tout, de l'hypothèse de Riemann à des conjectures de topologie obscures-pas parce que quelqu'un s'attend à ce qu'il résolve ces monstres, mais parce que les mathématiciens veulent comprendre les limites de ce que le raisonnement de l'IA peut réellement faire. La vraie question est de savoir si cette percée se traduit par d'autres domaines: si le modèle peut naviguer dans des espaces géométriques abstraits, peut-il démêler des problèmes tout aussi complexes en physique, économie ou conception de médicaments? Le plus grand choc viendra lorsque les revues de mathématiques traditionnelles feront face à leur première crise existentielle concernant l'examen par les pairs. Si une IA réfute une conjecture, qui est crédité-les chercheurs qui ont construit le modèle, l'entreprise qui l'a déployé, ou la machine elle-même? Nous sommes sur le point de voir l'édition académique lutter avec les mêmes questions d'auteurs qui ont affligé l'art généré par l'IA, sauf que cette fois les enjeux impliquent l'avancement fondamental de la connaissance humaine. Ne soyez pas surpris si les grandes revues annoncent de nouvelles politiques sur les preuves assistées par l'IA avant la fin de l'été, essayant de prendre de l'avance sur une vague qu'elles ne peuvent pas arrêter.

Ce que l'histoire nous apprend

La dernière fois qu'un outil mathématique majeur a fondamentalement changé la façon dont les problèmes étaient résolus, c'était l'introduction dans les années 1970 des preuves assistées par ordinateur, notamment le théorème des quatre couleurs prouvé en 1976. Cette preuve nécessitait de vérifier des milliers de configurations par machine, déclenchant un débat passionné sur la question de savoir si les résultats que les humains ne pouvaient pas entièrement vérifier à la main comptaient comme de véritables mathématiques. La controverse a fait rage pendant des décennies, les traditionalistes affirmant que la compréhension nécessitait une compréhension humaine, pas seulement une vérification computationnelle. La découverte mathématique pilotée par l'IA est ce même débat sous stéroïdes-excepté que maintenant la machine ne fait pas qu'examiner notre travail, elle effectue le raisonnement créatif que nous pensions uniquement humain.

Impact sur les marches

OpenAI reste une entreprise privée, mais cette percée se répercutera sur toutes les actions exposées à l'IA. NVDA (NVIDIA), actuellement négociée autour de 950 $ après un fort rallye en mai, devrait voir un élan haussier continu alors que le marché réalise que les charges de travail de l'IA dépassent les chatbots pour entrer dans l'informatique scientifique réelle-exactement les applications d'entreprise à haute marge pour lesquelles les puces H100 et Blackwell à venir de NVIDIA sont conçues. MSFT (Microsoft), principal supporter d'OpenAI et fournisseur d'infrastructure Azure, se situe autour de 420 $ et devrait bénéficier à la fois de la crédibilité de l'IA d'entreprise et des accords de licence potentiels alors que les institutions de recherche se précipitent pour accéder à ces modèles de raisonnement. Le jeu moins évident est l'espace des fonds spéculatifs quantitatifs. Des entreprises comme Renaissance Technologies et Two Sigma ont construit des empires sur un avantage mathématique-si l'IA peut maintenant résoudre des problèmes qui ont déconcerté les humains pendant 80 ans, chaque boutique de quantification sur terre sera en course pour déployer des systèmes similaires pour la prédiction des marchés et l'optimisation des stratégies. Cela est baissier pour la gestion active traditionnelle (SPY contre fonds gérés activement) mais potentiellement explosif pour les entreprises financières tournées vers la technologie. Surveillez une volatilité accrue dans le secteur de la fintech alors que le marché évalue un avenir où l'IA n'assiste pas seulement les traders mais les surpasse potentiellement dans le raisonnement mathématique pur.