Gowers: los problemas matemáticos que resolvieron los modelos se resolvieron con contraejemplos, no con demostraciones
El matemático y medalla Fields Timothy Gowers afirma que casi todos los problemas matemáticos famosos resueltos por modelos de lenguaje se resolvieron con contraejemplos, no con demostraciones.
Investigación