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