L'IA peut désormais faire de la science originale. Le coût des découvertes vient de chuter.
Le prochain modèle d'OpenAI a résolu dix problèmes mathématiques de recherche sur lesquels les experts butaient depuis des décennies — pour environ 2 000 dollars — ce qui rend la recherche originale par IA accessible à presque toute équipe.
- 10
- problèmes mathématiques de recherche résolus
- ~$2,000
- coût de calcul pour les 10 solutions
- 249 pages
- manuscrit publié de preuves vérifiées
- 1999
- année de formulation du plus ancien problème résolu
Le prochain modèle d'OpenAI, appelé Astra, vient de résoudre dix problèmes mathématiques que les experts ne pouvaient pas résoudre depuis au moins une décennie — certains depuis bien plus longtemps. Ce n'est pas une IA qui résume ce qu'elle a appris dans des livres. L'IA peut désormais produire des résultats qui n'existaient pas auparavant. C'est un vrai changement.
Les problèmes venaient des profondeurs des mathématiques : comment empiler des sphères aussi densément que possible en mille dimensions ? Comment rendre certains types de codes de chiffrement plus efficaces ? Astra les a tous résolus pour environ 2 000 dollars de temps de calcul — à peu près ce qu'une petite entreprise dépense par mois en abonnements logiciels. Chaque solution est publiée dans un document de 249 pages sur GitHub, avec chaque étape de preuve vérifiée par machine grâce à un outil appelé Lean 4. Un ordinateur a vérifié chaque ligne.
Le coût est la vraie histoire. Tim Gowers, un mathématicien qui a remporté le plus grand prix de son domaine, a dit qu'il recommanderait l'une des preuves pour une revue de premier plan. Ce type de qualité experte nécessite normalement des années de travail d'une petite équipe spécialisée. 2 000 dollars pour dix avancées de recherche, c'est un chiffre qui change la façon de penser le travail de la connaissance. Les secteurs qui dépendent déjà de la vérification formelle — conception de puces, cryptographie, logiciels de sécurité — peuvent désormais effectuer ces vérifications automatiquement.
L'enjeu n'est pas que l'IA remplacera les chercheurs. C'est qu'elle peut maintenant aider à trouver des réponses qu'aucun être humain n'avait encore trouvées. Si votre entreprise dépend de la R&D — dans tout domaine où il faut avoir raison et pouvoir le prouver — le prix de la découverte vient de chuter de façon spectaculaire. Commencez dès maintenant à réfléchir à la place de l'IA dans votre processus de recherche, et non pas après qu'un concurrent l'ait déjà fait.