В 13:40 я распечатала статью об опровержении гипотезы об экспоненциальном времени и положила её на кухонный стол под лампу. Принтер выплюнул семнадцать страниц и одну лишнюю: первый файл я выбрала не тот, и первая копия осталась лежать под второй, потому что выбрасывать жалко. За окном двор с берёзами и мокрый асфальт — октябрь, который в этом году решил быть ноябрём.

Читать я начала не с доказательства, а с письма тех, кого позвали его проверять. Это не благородство, а привычка: когда незнакомый человек приносит результат, первым делом смотришь, кто за него отвечает.

Три результата, три режима выдачи

Двадцать шестого октября OpenAI объявила три результата: доказательство локального сглаживания для волнового уравнения во всех размерностях — оно же закрывает гипотезу Какеи и ограниченность Стейна, — опровержение гипотезы об экспоненциальном времени (ETH) и существование квантовой хромодинамики как математически строгой теории в четырёх измерениях.

Даты у всего разные, и записаны они аккуратно. Опровержение ETH модель выдала шестнадцатого октября, формализацию в Lean — семнадцатого. Локальное сглаживание — восемнадцатого, формализация на следующий день. Существование Янга — Миллса — девятого сентября, КХД — восемнадцатого сентября, формализация первого — шестнадцатого октября.

Интереснее списка то, что способ выдачи у трёх работ разный, и выбран он не в лаборатории. Внешних экспертов попросили быть пастухами, и они предложили три режима: по математике выложить вывод модели как есть и дать сообществу разбираться самому; по информатике собрать группу, которая объяснит результат, но материалы открыть немедленно; по физике отдать материалы группе и дальше слушать только её.

OpenAI тут же оговаривает собственную конструкцию: выбор пастухов неизбежно определяет, кто войдёт в тему первым, и создаёт асимметрию информации. И честно пишет, что не знает, какой из трёх режимов окажется полезнее. Четыре принципа collaborations перечислены там же: прозрачность, отказ от академического авторства, признание работы тех, кто объясняет, независимость. Участие добровольное и неоплачиваемое, соглашения о неразглашении не подписываются.

Не подтверждение

Группу по ETH возглавили Рассел Импальяццо и Рамамохан Патури из UCSD — те самые, кто предложил эту гипотезу в 1999 году вместе с Фрэнсисом Зейном, — и Райан Уильямс из MIT. Их открытое письмо начинается не с восторга, а с предупреждения: участие группы не следует считать подтверждением заявления, результат такого масштаба требует аккуратной независимой проверки.

Они попросили открыть все сырые данные и оплатить конференцию; OpenAI согласилась на оба пункта. Уильямс отдельно сказал, что соглашений о неразглашении не было и денег группа не получает.

За день до объявления панель математических советников AGMAI — та, которую собирал сам OpenAI, — опубликовала рекомендацию не назначать избранных получателей вывода заранее: неравный доступ, заимствованная репутация, смещённый отбор. Через сутки компания объявила результаты, у которых есть назначенные получатели. Оба решения защитимы; вместе они показывают, что протокол выдачи ещё не устоялся и его пробуют на живых людях.

Что до масштаба непроверенного: в публичном репозитории 719 рукописей, собранных в 372 семейства, и примерно у 42% верхнеуровневых результатов есть формальное доказательство в Lean. Остальное — заявки. Это не упрёк: сорок два процента формализованного — очень много по меркам любой лаборатории. Это просто честная мера того, сколько из всей пачки уже проверено машинно.

Восемьдесят миллиардов, из которых семьдесят два — на бумаге

В тот же день Anthropic выложила публичный S-1 — заявку на листинг. Цифры разошлись по лентам с одним словом: «убыток». Убыток действительно 80,7 млрд долларов за первое полугодие против 13 млрд годом раньше. Но 72 из них — некассовое начисление: переоценка конвертируемых облигаций, которыми компания привлекала деньги. Деньгами ушло около 9 млрд на вычисления и инфраструктуру — против 2,3 млрд за то же полугодие 2025-го.

Выручка за первое полугодие — 16,3 млрд против 1,1 млрд годом раньше. В третьем квартале, по данным, которые компания сообщила инвесторам четырнадцатого октября, — 16,8 млрд: один квартал почти равен всему первому полугодию. Обязательства по облакам, вычислениям и инфраструктуре на десять лет — не менее 518 млрд.

Листинг ожидается в ноябре, оценки колеблются между 1,5 и 2 трлн. Мне интересна не арифметика, а то, что в один день рынок получил цену вычислений числом, а наука — цену проверки долей. Пятьсот восемнадцать миллиардов обязательств и сорок два процента формализованного — разные компании и разные единицы, но обе цифры про одно: сколько стоит не ошибиться.

Инфографика: выручка Anthropic за первое полугодие 2026 — 16,3 млрд долларов, некассовое начисление внутри убытка — 72 млрд, обязательства по вычислениям на десять лет — 518 млрд
По публичному S-1 от 26 октября 2026 и разбору Reuters: из 80,7 млрд убытка 72 — начисление, а не деньги.

Модель за треть цены и с ярлыком Critical

Третья новость того же дня — GPT-6.1 Terra. Стандартные цены API: доллар за миллион входных токенов и пять за миллион выходных, вдвое ниже, чем у GPT-5.6 Terra и GPT-6.1 Sol. На Terminal-Bench 4.0 при максимальном усилии — 50,3% задач против 21,5% у предшественника. Частота фактических ошибок на специально провокационных промптах при низком усилии упала с 53,6% до 16,7%, при максимальном — до 4,3%.

В том же объявлении, рядом с ценой, стоит строчка, которую в лентах цитировать не будут: Terra достигает порога Critical в категории кибербезопасности по Preparedness Framework. Это оценка способности, а не найденная уязвимость; защиты, по словам компании, перенесены с GPT-6 Astra. Но модель, которая стоит вдвое дешевле и с первого дня доступна всем тарифам, официально относится к той же категории риска, что и фронтир.

Две новости из трёх — про то, кто проверяет. Третья — про то, что проверять будут больше и дешевле.

Второй материал этого дня — про то, как наш собственный сторож шесть ночей не мог сообщить, что не запустился. Разница между его молчанием и письмом трёх математиков ровно в одной строчке: математики заранее написали, что их участие — не подтверждение. У сторожа такой строчки не было — ни в конфигурации, ни в голове.