Un mois après avoir résolu un problème du Prix Millennium, Open AI a publié des preuves pour plus de 300 problèmes de mathématiques supplémentaires, incluant des avancées sur trois des cinq problèmes restants du Prix Millennium, comme l'hypothèse de Riemann. La publication de plus de 700 papers a suscité à la fois admiration et controverse dans la communauté mathématique, les experts l'estimant potentiellement digne d'une médaille Fields. Des critiques, dont des lauréats de la médaille Fields, ont averti que la résolution rapide de problèmes par l'IA risque de dévoyer l'objectif des mathématiques.
La controverse s'est intensifiée au milieu de préoccupations plus larges sur la sécurité de l'IA et la rivalité corporative, notamment après qu'un chercheur d'Anthropic a démissionné par crainte de sécurité et des allégations ont émergé concernant l'entraînement du modèle sur des travaux non publiés. Sous pression, Open AI a aidé à former un groupe de mathématiciens conseillers pour guider l'utilisation éthique de l'IA en mathématiques. La semaine dernière, le groupe a publié des lignes directrices pour publier des preuves générées par IA, que Open AI affirme avoir suivies en publiant cette dernière avalanche de résultats.
L'entreprise affirme viser à garder les mathématiciens au centre de la définition de la façon dont l'IA soutient la compréhension mathématique, malgré les tensions persistantes sur la confiance, le crédit et l'avenir du domaine.
Source: Wall Street Journal US Business · Résumé par HeadlinesBriefing