OpenAI’s sly mathematical breakthrough sends a chill through academia

OpenAI a annoncé avoir résolu l’un des sept problèmes du Millénaire, une prouesse qui illustre l’impact fulgurant de l’IA sur la recherche mathématique.

• Une avancée historique : la solution proposée par le modèle d’OpenAI représente le premier cas où une IA a fourni une preuve reconnue comme valable pour un problème de renommée mondiale.
• Transformation du travail mathématique : cet exploit montre que les algorithmes d’apprentissage profond peuvent désormais assister, voire dépasser, les chercheurs humains dans la génération et la vérification de démonstrations complexes.
• **Controvers