Модель Astra от OpenAI решила десять сложных открытых математических задач
Модель Astra от OpenAI успешно решила десять сложных математических задач, которые оставались недоказанными на протяжении десятков лет. Это открытие демонстрирует огромный потенциал новой мультиагентной модели.
Модель Astra от OpenAI решила десять сложных открытых математических задач
Большинство из этих задач оставались недоказанными в течение десятков лет. Новая мультиагентная модель Astra смогла доказать их и формализовать доказательства при помощи Lean. Эту модель на этой неделе Сэм Альтман представил в Вашингтоне, это будет первая модель, которая пройдет через новый процесс государственного одобрения на релиз.
Самое впечатляющее — на решение всех десяти задач суммарно ушло токенов меньше чем на $2000, по расценкам Sol. OpenAI пытались решить и другие сложные задачи, пока что безуспешно, но потенциал масштабирования здесь огромный.
Почему это важно
АналитикаЭто важно, поскольку успех модели Astra открывает новые возможности для автоматизации математических доказательств, что может существенно повлиять на научные исследования и образование.
Обсудить в сообществе
Делитесь опытом и мыслями с ИИ-разработчиками
Связанные материалы экосистемы
Практические гайды, терминология и агентские скиллы
Четыре совета по резюме от руководителя направления прикладного ИИ-разработки в OpenAI
Вульфи Бейн, руководитель направления прикладной ИИ-разработки в OpenAI, назвал четыре правила резюме: краткость, релевантность, акцент на результатах и вынос важных достижений на начало.
Сэм Альтман переименовал аккаунт в X в Ram Altman
Сэм Альтман изменил отображаемое имя своего аккаунта в X на Ram Altman.
GPT-6 Astra: руководство по новой модели OpenAI
Полный обзор флагманской модели GPT-6 Astra: агентная архитектура, возможности Computer Use, кодинг в Codex, бенчмарки кибербезопасности, тонкости промптинга и руководство по миграции API.
OpenAI GPT (Флагманские модели серии GPT)
Основная универсальная линейка больших языковых моделей от OpenAI (GPT-4, GPT-4o). Оптимизирована для сложного текстового анализа, программирования, творчества и повседневной интеллектуальной работы.