Timothy Gowers: «Demostrar algo que los LLM no puedan demostrar»
traducido por IA, revisado por la redacción
· Ciencia · un medallista Fields, sobre ChatGPT produciendo en una hora una investigación de nivel doctoral
original
“The lower bound for contributing to mathematics will now be to prove something that LLMs can't prove, rather than simply to prove something that nobody has proved up to now and that at least somebody finds interesting.”— Timothy Gowers, gowers.wordpress.com, 08.05.2026 ↗
traducción
«El listón mínimo para contribuir a las matemáticas será ahora demostrar algo que los LLM no puedan demostrar, y no simplemente algo que nadie haya demostrado hasta ahora y que a alguien le parezca interesante.»
respalda
Modelo de lenguaje grande+Aprendizaje por refuerzo → IA en matemáticas (2024)
verificación
✓ verificado con la fuente
El original se cita literalmente y solo como fragmento, lo justo para el sentido; «[…]» indica un corte. La traducción es nuestra.
¶ c6efm7fk5