Le modèle de raisonnement de nouvelle génération d'OpenAI, désigné internement sous le nom d'Astra, vient de réaliser quelque chose qui ferait pleurer la plupart des candidats au doctorat devant leurs tableaux blancs. L'entreprise a annoncé le 1er août que le modèle a généré de manière autonome 10 nouveaux résultats sur des problèmes ouverts en mathématiques et en informatique théorique, chacun vérifié par des mathématiciens externes, dont le médaillé Fields Tim Gowers.
Ce n’est pas la première fois qu’Astra joue ce rôle. Le 20 mai, le même modèle avait déjà réfuté la conjecture de Erdős sur les distances unitaires planaires, un problème qui avait déconcerté les mathématiciens pendant près de 80 ans.
Ce que le modèle a réellement fait
Le problème, posé par le légendaire mathématicien hongrois Paul Erdős, concerne le nombre de paires de points dans un plan qui peuvent être exactement à une unité de distance l'une de l'autre. Astra a construit des configurations produisant au moins n^(1+δ) paires à distance unitaire, où δ est supérieur à zéro, pour une infinité de valeurs de n. Le résultat affiné a fixé δ à 0,014. Il s'agissait de la première fois qu'une IA résolvait de manière autonome un problème majeur en géométrie discrète. Aucune formation mathématique spécialisée. Aucune aide humaine. Le modèle a effectué un raisonnement algébrique avancé de manière autonome.
L'annonce d'août a ajouté 10 autres résultats à cela, couvrant la géométrie et l'informatique théorique. Chaque résultat a été vérifié indépendamment par des mathématiciens professionnels. Gowers lui-même a qualifié cette réalisation de « jalon en mathématiques par IA ». Des mathématiciens, notamment Gowers et Thomas Bloom, ont publié des articles complémentaires vérifiant les preuves et offrant une analyse supplémentaire.
Pourquoi cela importe au-delà des simples mathématiques
La cryptographie, qui constitue la colonne vertébrale de chaque blockchain et de chaque actif numérique existant, est fondamentalement des mathématiques appliquées. Les hypothèses de sécurité sur lesquelles reposent Bitcoin, Ethereum et chaque autre protocole crypto s'appuient sur la difficulté computationnelle de certains problèmes mathématiques. Un modèle capable de réfuter des conjectures vieilles de 80 ans en géométrie discrète aujourd'hui est un modèle dont les successeurs pourraient explorer les fondements mathématiques du chiffrement demain.
Ce que les investisseurs devraient réellement surveiller
L'impact immédiat sur le marché est nul. OpenAI n'a mentionné aucun jeton crypto, aucun actif numérique ni aucun protocole associé dans ses annonces. Il s'agit d'une avancée purement en recherche sur l'IA.
Tout d'abord, les jetons et projets liés à l'IA qui se concentrent sur le calcul mathématique et la vérification des preuves pourraient connaître un regain d'intérêt. Le récit selon lequel l'IA peut accomplir un travail intellectuel réel et vérifiable, et non se limiter à générer du texte plausible, renforce le cas des projets développés à l'intersection de l'IA et de la vérification sur blockchain.
Deuxièmement, la cryptographie post-quantique passe d'une préoccupation théorique à une priorité pratique. Les projets développant des normes cryptographiques résistantes aux ordinateurs quantiques et à l'IA pourraient devenir de plus en plus pertinents.