OpenAI revendique des centaines de nouvelles découvertes mathématiques

OpenAI vient de lancer une bombe de données sur les mathématiciens : 377 nouveaux problèmes résolus dans des domaines allant de l'algèbre à la topologie, tous attribués à un modèle d'IA avancé et non publié. Cette publication fait suite à l'affirmation fracassante de l'entreprise selon laquelle elle a résolu l'équation de Navier-Stokes, l'un des « problèmes du prix du millénaire » à un million de dollars en mathématiques, et soulève à nouveau la question de savoir si le système découvre des idées ou s'il se contente de terminer ce que les chercheurs humains ont commencé, selon le New York Times. OpenAI a publié des résumés de seulement 10 des solutions, qui ont nécessité en moyenne trois heures de temps de calcul.

Un conseil consultatif indépendant hébergé par l'Institute for Advanced Study, qui ne soutient pas les tests de modèles d'IA sur des problèmes de mathématiques avancées, a exhorté OpenAI à partager l'intégralité des prompts et le raisonnement étape par étape, qualifiant la publication de mardi de « début, et non d'achèvement » de la compréhension. Même une fois que plus de détails seront publiés, « l'impact total des résultats mettra probablement un certain temps à se faire sentir, le temps que les mathématiciens les évaluent et les digèrent », selon le Verge. Certains mathématiciens craignent que l'entreprise n'ait pas effectué suffisamment de vérifications et que leurs propres travaux ne nourrissent l'IA. OpenAI rétorque que les tests sur des problèmes de pointe sont nécessaires pour améliorer ses outils.