GPT-5.6 от OpenAI использует 64 агента, чтобы доказать математическую гипотезу 50-летней давности менее чем за один час

2026-07-11 01:29:22

По данным OneMillion_AI, GPT-5.6 Sol Ultra от OpenAI развернула 64 субагента, чтобы предоставить формальное доказательство гипотезы Cycle Double Cover Conjecture — математической задачи, предложенной примерно 50 лет назад — менее чем за один час. OpenAI опубликовала полный промпт и доказательство целиком, а также открыла исходный код в виде Lean-формализации. Код прошёл верификацию через Lean kernel. Однако это всё ещё опубликованный результат OpenAI; математическое сообщество пока не завершило независимое рецензирование, поэтому доказательство пока не признано официальным окончательным решением.

Посмотреть источник

Дисклеймер: Информация на этой странице может быть получена из источников третьих сторон и предоставляется только для ознакомления. Она не отражает взгляды или мнения Gate и не является финансовой, инвестиционной или юридической рекомендацией. Торговля виртуальными активами связана с высоким риском. Пожалуйста, не основывайте свои решения исключительно на данных этой страницы. Подробнее смотрите в Дисклеймере.

Связанные новости

3ч назад

Apple подала иск против OpenAI за неправомерное присвоение коммерческой тайны 10 июля, утверждая, что в этом участвовал бывший руководитель.

19ч назад

B.AI интегрирует в API-сеть набор моделей OpenAI GPT-5.6 Model Suite Into API Network

22ч назад

OpenAI запускает серию GPT-5.6 с тремя моделями; Sol повышает эффективность на 54 %, Terra сокращает цены вдвое

23ч назад

OpenAI запускает ChatGPT для работы с приложениями и файлами 10 июля

07-10 00:04

OpenAI объявила о полном запуске моделей серии GPT-5.6 и агента ChatGPT Work 10 июля

Детальный анализ