Le médaillé Fields Timothy Gowers affirme que la plupart des problèmes de mathématiques les plus célèbres résolus jusqu’ici par des LLM l’ont presque tous été à l’aide de contre-exemples plutôt que de preuves — Le Fil Tech

Édition du dimanche 16 août 2026

Le médaillé Fields Timothy Gowers affirme que la plupart des problèmes de mathématiques les plus célèbres résolus jusqu’ici par des LLM l’ont presque tous été à l’aide de contre-exemples plutôt que de preuves

Timothy Gowers / Gowers's Weblog · dimanche 16 août 2026 à 8 h 12

Lire l’article original sur Gowers's Weblog →

Voir sur Techmeme

À lire aussi

Ben Cohen / Wall Street Journal
Comment Claude, l’IA d’Anthropic, réalise une avancée en mathématiques lors de sa tentative infructueuse de 54 heures pour résoudre l’hypothèse de Riemann, encouragé par un membre de son équipe
Les modèles d’IA les plus intelligents au monde sont désormais surhumains en mathématiques. Ils réagissent toujours au soutien moral et aux encouragements de simples humains.