OpenAI раскрыла первые сведения о модели Astra для сложных продолжительных исследований: внутренняя версия системы получила десять новых результатов в математике и теоретической информатике.
Компания называет Astra своей следующей крупной моделью. Задачи относились к геометрии высоких размерностей, теории кодирования, сложности арифметических схем, теории групп, квантовым вычислениям, решеточной криптографии и экстремальной комбинаторике.
Человеческие исследователи подготовили найденные аргументы в виде научных рукописей, после чего Astra формализовала доказательства в Lean — системе, позволяющей автоматически проверить их корректность. По оценке OpenAI, вычисления обошлись бы примерно в 2000 долларов по тарифам API Sol.
Название коммерческого релиза пока не определено: Astra может стать GPT-5.7, GPT-6 или получить отдельное имя.
OpenAI представила модель Astra после решения десяти давних математических задач
Источник: BleepingComputer