5IA
Sharing AI progress in mathematics
OpenAI News · 6 oct, 14:00
OpenAI publica nuevos resultados sobre problemas abiertos en matemáticas generados por un modelo frontera interno, compartiendo formalizaciones de pruebas Lean y detalles de investigación en GitHub.
#Investigación#Nuevo modelo