Por qué los legendarios problemas de Erdős están cayendo ante la IA

Why the Legendary Erdős Problems Are Falling to AI

Los mayores éxitos matemáticos de la IA han surgido al resolver problemas planteados por Paul Erdős, el excéntrico matemático húngaro del siglo XX. Un modelo interno de OpenAI refutó la conjetura de la distancia unitaria, y luego el modelo Astra resolvió tres problemas más de Erdős. Matemáticos como Noga Alon ven esto como una transición de fase. El sitio erdosproblems.com, creado por Thomas Bloom, se ha convertido en un campo de pruebas clave, donde aficionados y profesionales colaboran y la IA logra hitos como la solución autónoma de problemas.