Recientemente, los rumores sobre el modelo de lenguaje grande Grok3 de xAI que demuestra la hipótesis de Riemann causaron un gran revuelo en el círculo de la IA. El ingeniero de xAI, Hieu Pham, dio la noticia en las redes sociales de que Grok3 demostró con éxito este problema matemático y, por lo tanto, suspendió el entrenamiento. Tan pronto como se conoció la noticia, inmediatamente generó una acalorada discusión. Sin embargo, Pham pronto aclaró que esto era sólo una broma, un oolong causado por las revelaciones de los internautas sobre un "incidente catastrófico" durante el entrenamiento de Grok3. El editor de Downcodes lo llevará a revisar esta "farsa" y discutirá el progreso de la IA en la resolución de problemas matemáticos.
Unas horas más tarde, Pham reveló la respuesta en otra publicación: Era sólo una broma. Este "gol en propia meta" se originó a partir de la revelación del internauta Andrew Curran, quien afirmó que Grok3 se encontró con un "evento catastrófico" durante el entrenamiento.
Ante los rumores cada vez más escandalosos, el cocreador de xAI, Greg Yang, no pudo evitar publicar una publicación sarcástica: "Sí, sí, sí, Grok3 comenzó a atacar la seguridad de la oficina después del entrenamiento". Otro investigador, Heinrich Kuttler, también dijo con humor: "¡La situación era muy mala! Más tarde reemplazamos todos los pesos incorrectos con nan (No es un número, no-número) y luego los restauramos. Al ver esto, los internautas también se unieron a las filas de hacer memes".
Aunque esta "farsa" terminó en una broma, también desencadenó el pensamiento de la gente sobre las capacidades matemáticas de la IA.
Entonces, ¿qué tan lejos está la IA de resolver problemas matemáticos del milenio como la Hipótesis de Riemann?
Podemos vislumbrar 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 (OMI) de 2024. La sexta pregunta se conoce como el "jefe final" y es extremadamente difícil. AlphaProof demostró un fuerte razonamiento lógico y pensamiento creativo durante el proceso de resolución de problemas. Por ejemplo, en la segunda pregunta, eligió inteligentemente considerar el número ab+1 para construir la prueba. Esta estrategia es consistente con las ideas de resolución de problemas humanos. juntos.
Aunque AlphaProof ha logrado resultados impresionantes, a la IA todavía le queda un largo camino por recorrer para superar problemas matemáticos importantes como la Hipótesis de Riemann. La Hipótesis de Riemann tiene una historia de 165 años desde que fue propuesta en 1859. Innumerables matemáticos han dedicado sus esfuerzos a ella, pero nunca han podido demostrarla por completo.
Para demostrar la hipótesis de Riemann, la IA necesita tener una potencia informática potente y capacidades de razonamiento profundo. Actualmente, la IA puede encontrar teoremas demostrables buscando exhaustivamente todas las pruebas posibles, pero esto requiere cantidades astronómicas de recursos informáticos. Además, la IA también debe tener la capacidad de comprender y aplicar las herramientas matemáticas existentes para poder 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 "supermatemático" capaz de resolver problemas difíciles como la Hipótesis de Riemann. Musk también ha prometido que Grok3, entrenado con 200.000 unidades H100, se lanzará a finales de año y ofrecerá un rendimiento sorprendente.
Esperemos y veamos si la IA puede lograr avances en el campo de las matemáticas en el futuro.
Este "propio incidente" relacionado con la prueba de la hipótesis de Riemann por parte de Grok3 no sólo demuestra el rápido desarrollo de la tecnología de IA, sino que también nos recuerda que debemos seguir siendo cautelosos y racionales en nuestra evaluación de las capacidades de la IA. La IA tiene amplias perspectivas de aplicación en el campo de las matemáticas, pero superar problemas centenarios como la hipótesis de Riemann todavía requiere una exploración larga y ardua.