L'IA récupère les 100 dollars de récompense d'Erdős, un problème non résolu en 44 pages d'une revue de premier plan est résolu en une seule page
Une équipe de mathématiciens, avec l'aide du modèle d'IA GPT-5.6 Sol, a résolu un problème ouvert d'Erdős (le problème 119) en seulement une page, surpassant une preuve de 44 pages publiée en 1991 dans *Annals of Mathematics* par József Beck. Le problème concernait le comportement du module maximal d'un polynôme à zéros sur le cercle unité. La nouvelle preuve, qualifiée d'élégante par Thomas Bloom (créateur du site erdosproblems.com), utilise des techniques d'analyse harmonique simples et contourne des approches antérieures plus complexes. Cela démontre que certaines difficultés perçues pouvaient provenir de l'intuition humaine limitant l'exploration systématique. L'IA, persévérante, teste des variantes qu'un humain pourrait abandonner. Cette avancée, ainsi que d'autres comme la preuve de la conjecture Cycle Double Cover, illustre le potentiel de l'IA pour identifier des voies de preuve plus directes dans des problèmes ouverts de longue date, remettant en cause la notion de difficulté intrinsèque et soulignant le rôle de la patience dans la recherche mathématique.
marsbit07/20 12:39
