Claude Mythos supuestamente resuelve el problema de Erdős de OpenAI con una 'prueba simple y elegante'

Claude Mythos resuelve conjetura de Erdős con prueba elegante

La carrera por demostrar capacidades matemáticas avanzadas en IA acaba de dar un giro inesperado. Anthropic afirma que su modelo Claude Mythos ha resuelto la conjetura de Erdős sobre distancias unitarias, apenas una semana después de que OpenAI refutara este problema matemático de 1946.

¿Qué ha pasado?

Claude Mythos, el nuevo modelo de Anthropic, ha logrado resolver la conjetura de Erdős sobre distancias unitarias, un problema matemático que llevaba décadas sin solución. Según Sholto Douglas, ingeniero de la compañía, el modelo encontró una "prueba simple y elegante" para este problema que había permanecido abierto desde 1946.

La relevancia del logro aumenta por el contexto: hace apenas una semana, OpenAI había conseguido refutar esta misma conjetura. Sin embargo, la aproximación de Mythos parece diferenciarse por su simplicidad y elegancia, características valoradas en el mundo matemático.

Douglas ha señalado que este avance indica un "serious overhang" (retraso significativo acumulado) en los descubrimientos matemáticos impulsados por IA. Esta declaración sugiere que existe un potencial sin explotar considerable en la aplicación de sistemas de IA para resolver problemas matemáticos históricos, y que estamos apenas comenzando a aprovechar estas capacidades.

Por qué importa

Este desarrollo marca un punto de inflexión en la competencia entre los principales laboratorios de IA por demostrar capacidades superiores en razonamiento matemático avanzado. La rapidez con la que Mythos ha abordado el mismo problema que OpenAI refutó días antes evidencia la aceleración en las capacidades de estos sistemas.

Para la comunidad matemática, esto representa una nueva herramienta potencial para abordar problemas históricos sin resolver. La capacidad de encontrar pruebas "simples y elegantes" es particularmente significativa, ya que estas suelen ser más útiles y comprensibles que demostraciones complejas.

El concepto de "serious overhang" mencionado por Douglas sugiere que podríamos estar ante una avalancha de descubrimientos matemáticos en los próximos meses. Si los modelos actuales ya pueden resolver conjeturas de décadas, es probable que muchos otros problemas matemáticos abiertos estén al alcance de estos sistemas. Esto podría revolucionar la forma en que se hace investigación matemática, con la IA actuando como colaborador activo en la búsqueda de demostraciones.

Contexto

La conjetura de Erdős sobre distancias unitarias es uno de los muchos problemas propuestos por el prolífico matemático húngaro Paul Erdős. Este tipo de problemas combinatorios ha desafiado a matemáticos durante generaciones, convirtiéndose en bancos de prueba ideales para medir capacidades de razonamiento avanzado.

La competencia entre Anthropic y OpenAI por demostrar superioridad en razonamiento matemático se ha intensificado en los últimos meses. Ambas compañías han posicionado las matemáticas como un área clave para evaluar la inteligencia general de sus modelos. OpenAI ha presentado avances con sus modelos o1 y o3, mientras que Anthropic responde ahora con las capacidades de Mythos, su sistema más avanzado hasta la fecha.

---