👀 OpenAI готовит новую большую модель Astra
Это отдельный класс моделей рядом с Sol, Terra и Luna, рассчитанный на долгие задачи, где несколько агентов вместе работают над одной проблемой. Сэм Альтман показывал Astra регуляторам в Вашингтоне на этой неделе. Выйдет ли она как GPT-6 или как ещё одна модель линейки GPT-5, в компании ещё не решили.
Внутренняя версия Astra уже решила 10 математических задач, которые не поддавались учёным десятилетиями. Модель сама нашла доказательства и записала их в Lean (язык, на котором машина проверяет доказательство строка за строкой), а люди только оформили рукописи. Все токены на эти решения стоили бы около $2000 по ценам API Sol.
Astra должна первой пройти новую процедуру администрации Трампа, по которой модели подают в федеральное правительство до публичного релиза.
💠 PERCEPTRON.
Это отдельный класс моделей рядом с Sol, Terra и Luna, рассчитанный на долгие задачи, где несколько агентов вместе работают над одной проблемой. Сэм Альтман показывал Astra регуляторам в Вашингтоне на этой неделе. Выйдет ли она как GPT-6 или как ещё одна модель линейки GPT-5, в компании ещё не решили.
Внутренняя версия Astra уже решила 10 математических задач, которые не поддавались учёным десятилетиями. Модель сама нашла доказательства и записала их в Lean (язык, на котором машина проверяет доказательство строка за строкой), а люди только оформили рукописи. Все токены на эти решения стоили бы около $2000 по ценам API Sol.
Astra должна первой пройти новую процедуру администрации Трампа, по которой модели подают в федеральное правительство до публичного релиза.
💠 PERCEPTRON.