Los modelos de IA resuelven problemas matemáticos abiertos desde hace tiempo
El artículo sostiene que los verificadores automáticos baratos permiten a los modelos probar rápidamente muchas pistas poco probables.
Investigación#02
1946
Año en que se abrió la conjetura de Erdős
Imagen: Latent Space
1946Año en que se abrió la conjetura de Erdős
En corto
- En mayo, un modelo interno de OpenAI encontró un contraejemplo para la conjetura de la distancia unitaria de Erdős, abierta desde 1946.
- Un mes después, OpenAI publicó una demostración del problema de la doble cobertura de ciclos y, para julio, soluciones a diez problemas abiertos más.
- OpenAI también publicó una demostración de Navier Stokes en septiembre.
- Anthropic publicó una formalización del Último Teorema de Fermat y mejoró las cotas sobre la hipótesis de Riemann.
Por qué importa
El artículo dice que la IA cambia la búsqueda de demostraciones. Un modelo puede probar una pista común o poco probable en minutos con un verificador automático, así que puede cambiar tiempo por cómputo. Para los desarrolladores, las partes clave son el verificador y un registro de intentos fallidos usados como pistas negativas.
“The models are suddenly good at math.”