OpenAI publica casi 400 resultados matemáticos generados por IA
Los matemáticos dicen que comprender la publicación podría tomar años.
Investigación#04
400
resultados matemáticos generados por IA publicados de golpe
Imagen: The Verge
400resultados matemáticos generados por IA publicados de golpe
En corto
- OpenAI publicó casi 400 resultados generados por IA, repartidos en más de 700 manuscritos.
- OpenAI dijo que solo 300 resultados principales de 719 manuscritos habían sido formalizados en Lean, alrededor del 42 por ciento.
- Varios matemáticos dijeron que algunos artículos eran difíciles de seguir, y OpenAI retiró tres artículos.
- Numerosos investigadores dijeron que el trabajo parecía de muy alta calidad, a pesar de las deficiencias en su presentación.
Por qué importa
Muchas de las afirmaciones carecen de verificación formal, por lo que los artículos que las acompañan son la principal forma en que los matemáticos pueden comprobar los resultados. Para los desarrolladores, el caso muestra lo difícil que es verificar a gran escala el resultado generado por IA.
“Just going over the entire list of abstracts is overwhelming,”