La IA se está volviendo buena en matemáticas. He aquí por qué.
El ensayo informa que un modelo interno de OpenAI refutó la conjetura de la distancia unitaria de Erdős (abierta desde 1946), probó la conjetura del Cycle Double Cover y resolvió diez problemas abiertos más, y analiza por qué: los modelos buscan en profundidad con verificadores automatizados, intercambiando tiempo por cómputo, de modo que las pistas ordinarias se vuelven accionables y los intentos fallidos se convierten en pistas negativas. Citando al matemático de OpenAI Jacob Tsimerman, la IA puede jugar más tiempo y en aguas más traicioneras que los matemáticos sin abrumarse. Importa como marco para predecir qué problemas resolverá la IA después.
FUENTES
- Latent Space2026-10-23 15:19