Nouvelles de Deepwave TechFlow : le 17 septembre, d’après le média The Information, OpenAI s’est retrouvé au cœur d’une tourmente médiatique plus tôt dans le mois, après avoir été accusé par des mathématiciens d’avoir tenté de s’attribuer le mérite de la résolution d’un problème de mathématiques extrêmement difficile. Toutefois, une personne connaissant la solution a révélé qu’OpenAI est désormais à deux pas de résoudre un autre défi mathématique, au sein des « problèmes du prix du Millénaire ». Cette source affirme que les employés s’attendent à ce que la prochaine énigme — c’est-à-dire la conjecture de Hodge — soit résolue dans un proche avenir.

Cependant, la personne interrogée affirme que l’entreprise pourrait avoir besoin de plus de temps pour publier sa solution, car elle tente de collaborer avec le milieu des mathématiques afin de s’assurer qu’au moment de communiquer la nouvelle, elle ne déclenche pas une autre crise de relations publiques. Selon des informations, même si résoudre ces problèmes coûte cher, certains chercheurs d’OpenAI estiment que, après l’ingénierie logicielle, les mathématiques constituent le domaine naturel que leurs modèles devraient explorer ensuite. Ces deux domaines présentent des caractéristiques similaires : ils exigent tous un raisonnement logique progressif, et les réponses obtenues peuvent généralement être vérifiées automatiquement. Certains chercheurs pensent même que la vague d’automatisation observée dans le domaine de l’ingénierie logicielle au cours de la dernière année va déferler sur celui des mathématiques dans les six à neuf prochains mois. Par ailleurs, résoudre des problèmes mathématiques difficiles aide également les développeurs d’intelligence artificielle à faire progresser l’automatisation des travaux en recherche en apprentissage automatique, un domaine qui implique une grande quantité de mathématiques. (Jinshi)