OpenAI informa de diez avances generados por IA en matemáticas y ciencias de la computación teórica
OpenAI dice que su modelo Astra generó diez avances en problemas de larga data de matemáticas y ciencias de la computación teórica, con formalización en Lean para su revisión.