Las soluciones matemáticas de OpenAI aún no cumplen con los estándares del campo
techcrunch ·
OpenAI publicó recientemente cientos de soluciones a problemas matemáticos complejos, alegando haber consultado con un grupo asesor para garantizar altos estándares. Sin embargo, el Grupo Asesor sobre Matemáticas e Inteligencia Artificial (AGMAI) señaló que OpenAI no cumplió con estas expectativas, especialmente en lo que respecta a la comprensión humana de los resultados. Si bien OpenAI siguió algunas directrices al publicar las demostraciones rápidamente, incumplió otras, como proporcionar datos de «cadena de pensamiento» para la mayoría de los manuscritos o formalizar una parte significativa de las demostraciones. Críticos, incluido el destacado matemático Terence Tao, argumentan que los solucionadores de IA carecen de un interés genuino por el campo más amplio y no pueden explicar adecuadamente sus salidas. Un nuevo estudio destacó discrepancias entre las explicaciones en lenguaje natural y el código formal Lean en las soluciones de OpenAI a un problema de un millón de dólares derivado de las ecuaciones de Navier-Stokes. Estas traducciones erróneas generan preocupaciones sobre la dependencia de modelos para formalizar su propio trabajo sin una rigurosa revisión por pares humana. Los matemáticos enfatizan que el verdadero descubrimiento requiere compromiso y responsabilidad humanos, aspectos que los procesos actuales de IA no proporcionan. En consecuencia, la comunidad mantiene escepticismo respecto a si OpenAI está asumiendo la responsabilidad suficiente para garantizar la comprensión humana de estas soluciones autónomas.
techcrunch