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/