OpenAI publica 722 manuscritos matemáticos generados por una IA interna
Mathematical manuscripts and supporting proof artifacts produced by OpenAI
OpenAI ha publicado un repositorio con 722 manuscritos matemáticos y artefactos de prueba producidos por un modelo interno no lanzado. Los resultados, organizados en 372 familias, abarcan desde la conjetura de Hodge hasta la fórmula de Mézard-Parisi. Cada resultado consumió en promedio tres horas de cómputo y se generaron a partir de unos 4.000 problemas. Algunos incluyen formalizaciones en Lean, pero no todos están verificados.
Algunos de los resultados no formalizados podrían tener errores. Nos esforzaremos por corregir cualquier problema de este tipo rápidamente.