Recientemente, una noticia de que el modelo de lenguaje grande de XAI GROK3 demostró que la conjetura de Riemann estaba explotando en las redes sociales, excitando la atención generalizada y la acalorada discusión. El ingeniero de XAI, Hieu Pham, publicó un mensaje que decía que Grok3 demostró con éxito este problema difícil que ha afectado a la comunidad matemática durante muchos años y, por lo tanto, suspendió la capacitación de modelos. Sin embargo, esto fue solo un "roto" provocado por las revelaciones de los internautas, que finalmente fue revelada por la respuesta humorística del cofundador de Xai, Greg Yang, y otros. Aunque es solo una broma, este incidente ha provocado el pensamiento profundo de las personas en la habilidad matemática de la IA y nos hace esperar el avance futuro de la IA en el campo de las matemáticas.
Recientemente, el ingeniero de XAI, Hieu Pham, publicó un mensaje "explosivo" en las redes sociales, alegando que el modelo de idioma grande de Xai Grok3 demostró con éxito la conjetura de Riemann y suspendió la capacitación del modelo. Esta noticia rápidamente provocó discusiones acaloradas en el círculo de IA, y los internautas expresaron su sorpresa y era difícil saber si era verdadero o falso. Después de todo, la conjetura de Riemann, como uno de los siete principales problemas matemáticos del milenio, se conoce como la "corona del mundo de la conjetura", y se puede imaginar su dificultad.
Unas horas más tarde, Pham reveló la respuesta en otra publicación: fue solo una broma. Esta "objeción" se originó en las revelaciones del internautas Andrew Curran, quien afirmó que Grok3 encontró un "incidente de desastre" durante la capacitación.
Frente a los rumores de que cuanto más se extendió, Xai Lianchuang Greg Yang no pudo evitar publicar un artículo sarcástico y dijo sarcásticamente: "Sí, sí, Grok3 comenzó a atacar a los guardias de seguridad en la oficina". Huduosamente dijo: "¡La situación es muy mala! Más tarde reemplazamos todos los malos pesos con Nan (no un número, no número) antes de recuperarnos".
Aunque esta "farsa" terminó en una broma, también desencadenó el pensamiento de las personas sobre las habilidades matemáticas de IA.
Entonces, ¿hasta dónde está la IA de superar los problemas matemáticos del Milenio como la conjetura de Riemann?
Podemos ver el rendimiento de Alphaproof, una herramienta de prueba matemática de IA desarrollada por el equipo DeepMind de Google. Alphaproof resolvió con éxito tres preguntas en la Olimpiada Internacional de Matemáticas de 2024 (OMI), entre las cuales la sexta pregunta se conoce como el "jefe final" y es extremadamente difícil. Alphaproof demostró una fuerte capacidad de razonamiento lógico y pensamiento creativo en el proceso de resolver problemas. juntos.
Aunque Alphaproof ha logrado resultados notables, la IA todavía tiene un largo camino por recorrer para superar los principales problemas matemáticos como la conjetura de Riemann. La conjetura de Riemann tiene una historia de 165 años desde que se propuso en 1859, y innumerables matemáticos han dedicado sus esfuerzos a ella, pero nunca han sido completamente probados.
Para probar la conjetura de Riemann, la IA necesita tener una fuerte potencia informática y capacidades de razonamiento en profundidad. Actualmente, la IA puede buscar todas las pruebas posibles buscando exhaustivamente teoremas probados, pero esto requiere recursos informáticos astronómicos. Además, la IA también necesita tener la capacidad de comprender y aplicar 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 fines de 2026, la IA se convertirá en un "matemático de Superman", lo cual es suficiente para resolver problemas como la conjetura de Riemann. Musk también prometió que el GROK3, que fue entrenado con 200,000 H100, se lanzará a fin de año y traerá un rendimiento increíble.
En el futuro, esperemos y veamos si AI puede avanzar en el campo de las matemáticas.
Aunque esta "farsa" sobre si AI puede probar la conjetura de Riemann, terminó en una broma, también ha desencadenado nuestro pensamiento sobre la dirección de desarrollo futura de la inteligencia artificial. El progreso de la IA en el campo de las matemáticas es obvio para todos, pero todavía hay un largo camino por recorrer para superar los problemas de primer nivel como la conjetura de Riemann. ¡Esperamos más avances en la IA en el campo de las matemáticas en el futuro!