OpenAI publica demostraciones para 372 importantes problemas matemáticos, incluida la Conjetura de Juegos Únicos
OpenAI publicó soluciones a 372 problemas matemáticos de larga data, incluida la Conjetura de Juegos Únicos, utilizando un modelo interno que requiere verificación humana.
