OpenAI publica 722 artículos de matemáticas generados con IA; solo uno de cada cinco incluye prueba verificada por máquina
OpenAI difundió en un solo día 722 artículos de matemáticas producidos con un modelo no publicado, a partir de un único prompt. Se plantearon unos 4.000 problemas y se conservaron 372 familias de resultados. Alrededor de uno de cada cinco trabajos incluye una prueba verificada por máquina.
Fuentes
- Artificial Intelligence on MediumOpenAI Released 722 AI Math Papers in One Day, and Only About 1 in 5 Comes With a Machine-Checked…