Je cite:
L’expérience a été menée par l’ingénieur logiciel Neel Somani, ancien chercheur quantitatif. Il explique avoir demandé au modèle d’examiner le problème dans ChatGPT. Après environ quinze minutes de calcul, l’IA aurait généré une démonstration complète. Pour vérifier sa validité, la preuve a ensuite été formalisée à l’aide d’outils spécialisés dans la vérification mathématique. Une fois ce travail effectué, elle a été examinée par plusieurs chercheurs, dont le mathématicien Terence Tao, médaille Fields et figure majeure du domaine. La solution a finalement été acceptée !
Une IA d’OpenAI résout un problème qui cassait la tête des matheux depuis des décennies
Source: journaldugeek.com
