Recientemente, el ingeniero de xAI, Hieu Pham, publicó una noticia "explosiva" en las redes sociales, afirmando que Grok3, el modelo de lenguaje grande de xAI, había demostrado con éxito la hipótesis de Riemann y que, por lo tanto, se había detenido el entrenamiento del modelo. Esta noticia provocó un gran revuelo en el mundo de la IA, y los usuarios expresaron su asombro y dificultad para discernir la verdad. Después de todo, la hipótesis de Riemann, uno de los siete problemas del milenio, es considerada la "corona de las conjeturas", y su dificultad es innegable.
Horas después, Pham reveló la verdad en otra publicación: se trataba de una broma. Este "malentendido" se originó en una información divulgada por el usuario Andrew Curran, quien afirmó que Grok3 había sufrido un "evento catastrófico" durante su entrenamiento.
Ante los rumores cada vez más descabellados, el cofundador de xAI, Greg Yang, no pudo evitar publicar un comentario sarcástico: "Sí, sí, Grok3 empezó a atacar a los guardias de seguridad de la oficina durante el entrenamiento". Otro investigador, Heinrich Kuttler, también comentó con humor: "¡La situación era terrible! Tuvimos que reemplazar todos los pesos malos con nan (Not a Number, no es un número) para recuperarlo". Los usuarios de internet se unieron a la broma.
Aunque esta "farsa" terminó en broma, sí planteó una reflexión sobre la capacidad matemática de la IA.
Entonces, ¿qué tan lejos está la IA de resolver problemas matemáticos del milenio como la hipótesis de Riemann?
Podemos obtener una idea a partir del rendimiento de AlphaProof, la herramienta de demostración matemática desarrollada por el equipo de Google DeepMind. AlphaProof resolvió con éxito tres problemas en la Olimpiada Internacional de Matemáticas (IMO) de 2024, incluyendo el problema seis, considerado el "jefe final" por su extrema dificultad. AlphaProof demostró una poderosa capacidad de razonamiento lógico y pensamiento creativo en la resolución de problemas, como en el problema dos, donde eligió ingeniosamente considerar el número ab+1 para construir la demostración, una estrategia que coincide con el razonamiento humano.
Aunque AlphaProof ha logrado resultados impresionantes, la IA aún tiene un largo camino por recorrer para resolver problemas matemáticos de alto nivel como la hipótesis de Riemann. La hipótesis de Riemann, planteada en 1859, lleva 165 años sin una demostración completa, a pesar de los esfuerzos de innumerables matemáticos.
Para demostrar la hipótesis de Riemann, la IA necesita una poderosa capacidad de cálculo y razonamiento profundo. Actualmente, la IA puede utilizar métodos de fuerza bruta para buscar todas las posibles demostraciones y encontrar teoremas demostrables, pero esto requiere recursos computacionales astronómicos. Además, la IA necesita la capacidad de comprender y aplicar las herramientas matemáticas existentes para desempeñar un papel más importante en la investigación matemática.
Algunos expertos en IA predicen que para finales de 2026, la IA se convertirá en un "matemático superhumano", capaz de resolver problemas como la hipótesis de Riemann. Musk también prometió que Grok3, entrenado con 200.000 H100, se lanzará a finales de año y ofrecerá un rendimiento asombroso.
El futuro dirá si la IA puede lograr avances revolucionarios en el campo de las matemáticas.