OpenAI publica 722 manuscritos de matemáticas hechos por un modelo interno que aún no lanza
El repositorio openai/math reúne 722 manuscritos en 372 familias de resultados sobre problemas abiertos, con pruebas formalizadas en Lean y estimaciones del cómputo usado. Matemáticos piden acceso al modelo y a los prompts para poder replicarlos.
OpenAI subió a GitHub el repositorio openai/math, con 722 manuscritos agrupados en 372 familias de resultados sobre problemas abiertos. Los generó un modelo de frontera interno que la empresa no ha lanzado. Incluye pruebas formalizadas en Lean, 10 resúmenes del razonamiento del modelo y estimaciones del cómputo usado.
Según Scientific American, OpenAI dice que casi todos los resultados salieron de un solo prompt a un solo agente. Andrew Sutherland, del MIT, pide tratar esas afirmaciones como no verificadas hasta que se libere el modelo; Daniel Litt, de la Universidad de Toronto, defiende que se publiquen.
Esta noticia apareció en la edición N° 006 de AI Radar.