Episode Details
Back to Episodes
NTN 463 - GPT-5.2 vs Matemáticos: primer round
Published 2 months, 3 weeks ago
Description
Esta semana la IA se metió en terreno sagrado
GPT-5.2 resolvió un problema abierto de Paul Erdős
La prueba fue verificada en Lean
Terence Tao la aceptó
¿Es un antes y un después o solo “la fruta más baja”?
Hablamos de matemáticas, razonamiento, y lo que se viene para todos los laburos lógicos.
Dale play antes de que la IA también resuelva tu backlog.
Fuentes:
• https://x.com/NeelSomani
• https://terrytao.wordpress.com
• https://leanprover-community.github.io/