« Les mathématiciens adorent les problèmes qui résistent… comme les chaussettes qui restent seules après une lessive ! » Voilà qui résume l’état d’esprit de la communauté mathématique face à la dernière annonce tonitruante d’OpenAI. Le géant de l’intelligence artificielle affirme avoir fait tanguer une vérité admise depuis près de 80 ans : un de ses modèles autonomes aurait tout bonnement explosé une conjecture de géométrie posée par l’inénarrable Paul Erdős en 1946. Eh oui, même les plus grands classiques ont une date de péremption (Merci, l’IA).
Cela sent un peu le déjà-vu ? C’est normal ! Il y a sept mois, OpenAI avait déjà sorti la fanfare : « GPT-5 a résolu dix problèmes ouverts d’Erdős et a presque plié onze autres ! » criait l’ancien VP Kevin Weil sur X (ex-Twitter). Sauf qu’après vérification, les « solutions » de GPT-5 traînaient déjà dans les vieux grimoires mathématiques… Une boulette qui a fait ricaner quelques stars du secteur—coucou Yann LeCun et Demis Hassabis !—et a poussé Weil à effacer son post aussi vite qu’une équation sur un tableau blanc.
Cette fois, OpenAI a pris ses précautions et sorti l’artillerie lourde : des matheux chevronnés comme Noga Alon, Melanie Wood et Thomas Bloom (le gardien de la caverne d’Ali Baba des problèmes d’Erdős) sont venus adouber la trouvaille. Rappelons que Thomas Bloom n’avait pas hésité à qualifier la première annonce de « dramatique exagération »… Cette fois, il valide, et c’est pas rien.
Pour la première fois, une intelligence artificielle ne s’est pas contentée de réchauffer les restes : elle a cuisiné un nouveau plat mathématique !
OpenAI explique qu’on croyait tous, pendant 80 ans, que le nec plus ultra dans ce domaine ressemblait à une sorte de damier bien carré. Patatras ! Leur nouveau modèle générateur d’idées (qui n’est même pas spécialisé en maths, s’il-vous-plaît) s’est baladé dans la conjecture, a découvert des configurations jamais imaginées, et a battu le « score » humain.
Autant dire que ça change la donne : si une IA peut creuser, relier et inventer dans un coin aussi pointu que les mathématiques, qu’adviendra-t-il de la physique, de la biologie ou de la médecine ? Les chercheurs humains, soudain, se retrouvent avec un Sherlock Holmes digital dans leur bureau, capable d’enquêtes multi-domaines à faire rougir Hercule Poirot.
La vidéo ci-dessous propose un aperçu de cette avancée (et non, ce n’est pas un remake de « Retour vers le futur » chez les mathématiciens) :
var playerInstance_jwplayer_6ac5158a3fe4c = jwplayer( « jwplayer_6ac5158a3fe4c » );
playerInstance_jwplayer_6ac5158a3fe4c.setup({
playlist: « https://cdn.jwplayer.com/v2/media/j9jJ5spX »,
});
Thomas Bloom, manifestement philosophe dans l’âme, résume ça mieux que personne : « L’IA nous aide à explorer la cathédrale des mathématiques que nous avons construite au fil des siècles. Mais alors, quel trésor caché n’a-t-on pas encore trouvé ? » Spoiler : les IA pourraient grimper sur les échafaudages plus vite que prévu.
En mathématiques comme en cuisine, il suffit parfois d’un bon robot pour changer la recette. Et qui sait, la prochaine conjecture à tomber sera peut-être… la date de livraison de GPT-6 ?
Source : Techcrunch
