OpenAI presenta diez avances matemáticos logrados por su modelo Astra
Ten advances in mathematics and theoretical computer science
Anunciamos diez resultados en matemáticas y ciencias de la computación teórica, logrados por nuestra versión interna de Astra. Estos avances resuelven problemas abiertos durante décadas en áreas como la geometría de alta dimensión y la complejidad cuántica. Además, compartimos los argumentos generados y sus certificaciones formales en Lean para empoderar a la comunidad científica.
Creemos que la atribución debe reflejar honestamente cómo se produjo un resultado: reclamar autoría humana para una prueba generada enteramente por un sistema de AI representaría mal tanto la contribución del sistema como la naturaleza del verdadero trabajo intelectual humano.