Первым до горизонта

“Мамочка, я слышал, тебя уделали! Говорят, робот решил задачу, над которой ты работала всю свою карьеру!” – с этой фразы своего сына начинает пост The Mathocalypse Скотт Ааронсон, один из самых известных в мире теоретиков квантовых вычислений.

“Мамочка” – профессор информатики Дана Мошковиц, много лет работавшая над гипотезой об уникальных играх. Сыну Скотта и Даны девять лет, и он прав: доказательство гипотезы оказалось среди 700+ математических работ, опубликованных OpenAI 6 октября (о них был пост вчера).

Дана не единственная. В том же архиве лежит решение задачи Ааронсона–Куперберга, сформулированной ее мужем в 2007 году, а сколько еще математиков “зацепило”, трудно даже оценить.

Далеко не все довольны таким положением вещей. Филдсовский лауреат Теренс Тао опубликовал в своем блоге резкое заявление “Ассоциации за человеческую математику” (Association for Human Mathematics, AHM): выкладка более 700 файлов – демонстрация власти, а не наука; математики об этой работе не просили.

AHM – совсем молодая ассоциация с миссией “защищать математику как человеческое занятие от угрозы искусственного интеллекта”. В ней 808 участников, а математиков-исследователей в мире, по оценкам, десятки тысяч – и вчера в X я видел огромное количество отзывов профессионалов мирового уровня, наоборот восхищенных тем, что сделала OpenAI.

Сам Тао отметил текст AHM как гостевой пост – значит, его мнение может отличаться. В начале стоит дисклеймер: текст был написан в другом формате файла и сконвертирован с помощью ИИ (тонко!).

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

Раскрыли и один из промптов, он забавный:
“Дай полное строгое решение следующей задачи. Даже если задача «открытая», предполагается, что ты ее решишь”. Дальше идет условие. Всего модели поставили около четырех тысяч таких задач – в итоговый каталог попало меньше десятой части.

Билет на гонку к горизонту знаний никогда не был так дешев: это подписка от 100 долларов и промпт в духе “сделай хорошо, а плохо – не делай”.

Более того, даже не нужно ждать выхода новой модели. В задаче 109 из архива OpenAI заявлен алгоритм, который умножает огромные числа чуть быстрее предела, в который математики верили с 1971 года. “Чуть” – это поправка размером 10⁻⁵⁵. Через четыре часа после релиза Дуг Колкитт, сооснователь криптобиржи, вместе с агентом Codex эту поправку увеличил. За ним подтянулись другие – с Opus 5.5 и Astra, – и теперь не меньше десяти человек наперегонки подхватывают ходы друг у друга. За полтора дня поправку подняли на десятки порядков. Один из участников описал свой проект честно: “ради интереса: смотрю, до чего Astra сможет это дожать, полностью непроверено”. Пользы для практики здесь нет, проверять все это пока некому – но гонка уже идет.

Пока одни требуют все это прекратить, человеческие рефлексы других отрабатывают на 100%: схватить, попробовать, обогнать, проверить, как далеко получится уйти.

Добежать до горизонта…

P.S. Получив подколку от 9-летнего сына, Дана Мошковиц написала мужу, что в ИИ-доказательстве гипотезы об уникальных играх творится “какое-то инопланетное безумие”. А на следующий день, по словам Скотта, уже в основном в нем разобралась.

Но это уже другая история.