OpenAI publica 722 manuscritos matemáticos generados por un modelo no lanzado
La colección de OpenAI incluye artefactos de prueba en Lean y resúmenes del razonamiento. OpenAI dice que la verificación varía entre los artículos y que las citas y la exposición requieren trabajo adicional.
By Ryan Merket · Published
Primary source: X
Por qué importa
OpenAI está trasladando las matemáticas de IA de afirmaciones en benchmarks a un corpus de investigación pública. Los artículos y algunas pruebas formales están disponibles para su inspección, pero la verificación varía según el artículo y el modelo sigue siendo propietario. Los matemáticos aún deben evaluar y explicar los resultados antes de que puedan ser utilizados como investigación.
OpenAI publicó 722 manuscritos matemáticos producidos por un modelo interno no publicado el 6 de octubre, haciendo público un gran lote de resultados mientras advirtió que algunas demostraciones no han sido verificadas formalmente. Los artículos, organizados en 372 familias, están disponibles en un repositorio de GitHub junto con resúmenes seleccionados del razonamiento y materiales de apoyo.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.