Audio is streamed directly from the publisher (ivoox.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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/