Un modelo interno de razonamiento de OpenAI ha refutado una famosa conjetura de 1946 de Paul Erdős, la primera vez que una IA resuelve un gran problema abierto en matemáticas.
Puntos clave:
- Un modelo de OpenAI refutó la conjetura de distancia unitaria de Erdős, abierta durante 80 años.
- La demostración se basó en teoría algebraica de números y superó una revisión externa.
- Es el primer gran problema abierto resuelto de forma autónoma por una IA.
OpenAI resuelve la conjetura de Erdős
La empresa announced el 20 de mayo que su modelo produjo un contraejemplo al problema de la distancia unitaria, que pregunta cuántos pares entre muchos puntos pueden estar exactamente a una unidad de distancia. Durante décadas, los investigadores habían considerado una cuadrícula cuadrada como casi la mejor disposición posible. El rompecabezas es fácil de enunciar, pero resistió ochenta años de esfuerzo de los principales matemáticos.
El modelo siguió otro camino, construyendo un patrón más intrincado que drew en teoría algebraica de números para encajar más distancias unitarias de las que permite una cuadrícula, una estructura que ningún humano había explorado seriamente.
Un panel de expertos externos checked la demostración antes de que la empresa la hiciera pública.
Will Sawin, de Princeton, pronto refined el argumento. Su versión mostró que el número de distancias unitarias crece al menos tan rápido como n elevado a la potencia 1,014, una ventaja polinómica sobre el antiguo límite de la cuadrícula. El límite superior sigue cerca de n elevado a 1,333, así que aún queda una brecha.
También lee: Cardano Tops Every Major Chain In Stablecoin Growth, Up 61% In A Week
Gowers celebra un hito matemático
Tim Gowers, medallista Fields, called el trabajo un hito y afirmó que ninguna demostración previa obtenida por IA se le acercaba. Daniel Litt, de la Universidad de Toronto, lo describió como el primer resultado de IA que encontraba realmente emocionante por sus propios méritos, no solo como indicio de lo que podría venir.
Los expertos subrayaron por qué la ruta importaba. La mayoría de los matemáticos había pasado años intentando demostrar la conjetura en lugar de refutarla, y pocos se habrían sometido a una construcción tan tediosa sin una señal clara de que valiera la pena. Una IA evalúa esa apuesta de otro modo, explorando innumerables callejones sin salida hasta que un camino improbable funciona.
El historial irregular de OpenAI con Erdős
El avance no quedó aislado. Días después, Google reported que uno de sus sistemas había resuelto nueve problemas menores de la lista de Erdős, dos de ellos abiertos por más de 50 años.
El despliegue cuidadoso respondió a un tropiezo anterior. En octubre, la empresa claimed que un modelo había resuelto diez problemas de Erdős, pero los revisores demostraron que solo había recuperado soluciones antiguas en lugar de probar algo nuevo. Ese episodio empujó a la empresa a recurrir a una revisión externa esta vez.
Lee después: ETH Loses Its Last Floor And Stares Down A Drop Toward $1,800