Accélérer les découvertes scientifiques

“Il ne fait aucun doute que la solution au problème des distances unitaires est un jalon dans les mathématiques de l’IA : si un humain avait écrit l’article et l’avait soumis aux Annals of Mathematics, et si l’on m’avait demandé un avis rapide, j’aurais recommandé son acceptation sans la moindre hésitation. Aucune preuve générée par l’IA auparavant ne s’en était approchée.”

“La chaîne de pensée du modèle est profondément intéressante. Il est remarquable qu'une large majorité des réflexions cherchent à construire un contre-exemple à la borne supérieure largement admise, plutôt qu'à la prouver. Cela laisse penser que le modèle combine une bonne intuition, une volonté d’explorer des pistes que la communauté considère comme peu prometteuses, et une tendance naturelle à tenter de construire des solutions.… À mon avis, cet article démontre que les modèles d’IA actuels vont au-delà du simple rôle d’assistants pour les mathématiciens : ils sont capables de produire des idées originales et ingénieuses, puis de les mener à bien jusqu’à leur aboutissement.”

“C’est un travail vraiment impressionnant, et je l’accepterais sans hésitation dans n’importe quelle revue. J’ai en fait brièvement travaillé sur ce problème et essayé de construire un contre-exemple, mais sans réussir à progresser… C’est assurément une construction intimidante à comprendre, même quand on sait ce qui se passe, et encore plus difficile à explorer par soi-même.”