É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
Lire l’article original sur Gowers's Weblog →
Fields Medalist Timothy Gowers says most famous mathematics problems solved by LLMs so far have almost all been with counterexamples rather than proofs