Ce que l'IA a découvert
OpenAI a révélé lundi que son modèle de raisonnement généraliste a résolu le problème de distance unitaire planaire, une question ouverte en géométrie discrète posée par Paul Erdős en 1946. C'est la première fois qu'un système d'IA résout de manière autonome un problème majeur d'un domaine mathématique. Pendant près de 80 ans, les mathématiciens croyaient que les solutions optimales ressemblaient à des grilles carrées. Le modèle d'OpenAI a réfuté cette hypothèse en générant une nouvelle famille de constructions plus performantes.
Vérification par un expert
Le médaillé Fields Terence Tao a examiné et accepté la preuve. Le résultat inaugure une ère où les IA peuvent enchaîner de longs raisonnements et relier des domaines éloignés.
Implications au-delà des maths
OpenAI affirme que ces capacités accéléreront la recherche en biologie, physique, ingénierie et médecine. L'humain reste essentiel pour choisir les problèmes pertinents et interpréter les résultats.