[Guli-Guli]

Primero que nada, ¡felices fiestas, foreros!   

El año 2026 empieza fuerte, pues, al parecer, se resolvió un problema de Matemáticas usando IA. Más concretamente, se probó una conjetura que se atribuye a Paul Erdős. Os paso el enunciado del problema:

https://www.erdosproblems.com/728

Veo que existen otros probemas que también se resolvieron con la ayuda de inteligencia artificial, mas el problema que os enlacé la usaron plenamente. Está verificada con el asistente Lean y confirmada por Terence Tao. Os dejo el paper de la resolución de dicho problema:

https://arxiv.org/abs/2601.07421

Añadido:
Pongo lo que comentó Terence Tao sobre el problema que os puse anteriormente:

https://mathstodon.xyz/@tao/115855840223258103

Por si os interesa, también pongo por acá lo que comentó Terence Tao sobre otro problema de Erdős que él estaba interesado en resolver, y que también usó inteligencia artificial:

https://terrytao.wordpress.com/2025/12/08/the-story-of-erdos-problem-126/

Corregido

[Masacroso]

Muy interesante, y complicado (o al menos a mí me lo parece), como casi siempre ocurre en teoría de números.

P.D.: un pequeño comentario, el nombre es Terence Tao, con una sola "r". Pero a veces le llaman como Terry Tao, esta sí con dos r's.