OpenAI lanzó hallazgos sobre 377 problemas matemáticos que abarcan álgebra, teoría de números, ciencias de la computación teórica, lógica matemática y topología, tras su afirmación anterior de resolver la ecuación de Navier-Stokes, un Problema de Milenio con un premio de un millón de dólares. Los resultados utilizaron un modelo de IA avanzado no lanzado y fueron revisados usando el sistema de verificación Lean, con un tiempo promedio de cálculo de aproximadamente tres horas por solución. OpenAI dijo que incorporó los comentarios de un consejo consultor independiente albergado por el Instituto para Estudios Avanzados en Princeton, N.
J., que incluye al matemático de Harvard Melanie Wood. El consejo instó a la transparencia, exigiendo el lanzamiento de prompts de IA y cadenas de pensamiento, y criticó a las empresas de IA por probar modelos propietarios en problemas sin resolver. A pesar de esto, OpenAI continúa pruebas internas, con el líder de investigación Dan Roberts afirmando que ayuda a construir mejores herramientas.
El matemático de NYU Tristan Buckmaster advirtió que la IA puede estar completando demostraciones usando el trabajo previo de los matemáticos, lo que genera preocupaciones sobre el crédito y la originalidad en el descubrimiento asistido por IA.
Fuente: New York Times Top Stories · Resumido por HeadlinesBriefing