NTN 463 - GPT-5.2 vs Matemáticos: primer round

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/