OPENAI suelta 722 papers de matematicas.. incluyendo 'quasi-Riemann'
- Autor del tema Amerika
- Fecha de inicio
OpenAI ha anunciado la publicación de nuevos resultados matemáticos producidos por un modelo de inteligencia artificial de frontera. La empresa dice haber consultado al grupo asesor independiente sobre Matemáticas e Inteligencia Artificial del Instituto de Estudios Avanzados de Princeton.
Leer el resumen completo →
OpenAI ha anunciado la publicación de nuevos resultados matemáticos producidos por un modelo de inteligencia artificial de frontera. La empresa dice haber consultado al grupo asesor independiente sobre Matemáticas e Inteligencia Artificial del Instituto de Estudios Avanzados de Princeton.
Qué ha anunciado OpenAI
OpenAI ha comunicado la publicación de una serie amplia de resultados matemáticos nuevos generados por un modelo interno de frontera. La empresa no ha detallado cuántos resultados son ni de qué ramas de las matemáticas proceden. Tampoco ha especificado el método de verificación empleado ni si han pasado revisión por pares.
El anuncio menciona que la compañía ha consultado al grupo asesor independiente sobre Matemáticas e Inteligencia Artificial del Instituto de Estudios Avanzados (IAS) de Princeton, y que ha contado con su consejo. Ese grupo está formado por matemáticos profesionales, lo que sugiere que OpenAI busca validación externa antes de presentar los resultados como sólidos.
La expresión «resultados matemáticos» es amplia. Puede referirse a teoremas nuevos, a demostraciones de conjeturas abiertas o a la resolución de problemas concretos. Sin el detalle, la magnitud del avance queda por determinar.
Por qué importa en economía
La matemática es infraestructura de la economía. Los modelos de equilibrio general, la teoría de juegos, la econometría y la optimización financiera dependen de resultados formales. Si una IA puede producir teoremas nuevos, el coste de generar conocimiento matemático baja.
Eso afecta a sectores intensivos en matemáticas: seguros, derivados financieros, criptografía, diseño de subastas, algoritmos de asignación de recursos. Un resultado nuevo en optimización o en teoría de probabilidad puede traducirse en ventajas concretas.
También plantea preguntas sobre la ventaja competitiva. Si el acceso a estos modelos está concentrado en pocas empresas, la capacidad de generar matemática aplicada también lo estará.
La cuestión de la verificación
Un resultado matemático no es válido por venir de una IA. Necesita demostración correcta y revisión. La mención al grupo asesor del IAS apunta a que OpenAI lo sabe y busca contraste externo.
El problema es que la verificación matemática es lenta. Una demostración puede tardar meses o años en ser aceptada por la comunidad. Publicar resultados sin ese proceso deja la carga de la prueba en quien los usa.
Para la economía aplicada, eso significa cautela. Un teorema sin revisar no es base para decisiones de inversión ni para diseño de políticas. La matemática es binaria: o la demostración es correcta o no lo es. No hay término medio.
- OpenAI anuncia resultados matemáticos nuevos producidos por un modelo interno de frontera
- La empresa consultó al grupo asesor independiente sobre Matemáticas e IA del Instituto de Estudios Avanzados
- No se especifica cuántos resultados son, de qué ramas proceden ni si han pasado revisión por pares
- La matemática es infraestructura de la economía: seguros, derivados, criptografía y subastas dependen de ella
- Un resultado matemático sin demostración verificada no es base para decisiones económicas
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and…
— OpenAI Ver publicación en X
Pichorrica
Gogagolizado
No existe. Y el que lo escribió tampoco sabe qué es.
Lo que existe es:
- La hipótesis de Riemann, que es UN problema del milenio, sin demostrar desde 1859, con un millón de dólares de premio y cero candidatos serios.
- La hipótesis de Riemann Generalizada (GRH), que extiende el cotarro a otras funciones L y de la que cuelgan media docena de teoremas que hoy son condicionales.
- Y en 2018 Atiyah soltó una "prueba" de cinco páginas con la constante de Todd... que nadie ha validado y que él mismo presentó con un ictus encima. Fin de la historia.
"Quasi-Riemann" no aparece en ninguna revista seria. Suena a lo típico: un titular que junta "IA" + "problema imposible" + prefijo latino para dar empaque. Si un modelo te dice que ha resuelto una "quasi-Riemann", te está colando [...] con acento de arXiv.
Lo que hacen estos modelos es generar texto que parece una demostración. Cierra bien, encadena lemas, cita a Hardy y Littlewood. Y en la línea siete mete un paso que no se sostiene. Eso no es matemáticas, es [...].
Si el hilo va de que "la IA ya demuestra teoremas", me lo creo el día que un comité del Clay la valide. Mientras, cada tres meses sale un Paco con la hipótesis resuelta y un blog.
paketazo
Será en Octubre
- Desde
- 28 Nov 2014
- Mensajes
- 23.919
- Fruta
- 139.836
Pichorrica
Gogagolizado
Kamado Tanjiro
Madmaxista
- Desde
- 15 Oct 2013
- Mensajes
- 552
- Fruta
- 3.243
(adjunto visible para usuarios registrados)