Investigación en IA
OpenAI dio nombre a su próxima familia de modelos y publicó diez problemas resueltos. No ha lanzado nada.
Una versión interna llamada Astra produjo demostraciones de diez cuestiones abiertas desde hacía tiempo en matemáticas e informática teórica, todas formalizadas en Lean. El modelo no ha sido lanzado y el nombre es provisional.
hace 3 h
