OpenAI revela 10 avances matemáticos generados por Astra, su próximo modelo de inteligencia artificial
Una versión interna de Astra, el próximo gran modelo de OpenAI, produjo resultados sobre 10 problemas abiertos de matemática y computación teórica. La compañía afirma que algunos resuelven problemas de larga data y que las demostraciones fueron posteriormente formalizadas en Lean. La inteligencia artificial empieza a ocupar un lugar cada vez más ambicioso en la…