Дэвид Туртуреан, аспирант MIT, опубликовал в X решение задачи #696 из списка Эрдёша через GPT-5.5-Pro — и обнаружил, что днем раньше на форуме erdosproblems.com уже появилось детальное частичное решение от анонимного пользователя Treasure42, полученное тем же способом. Это первый публично описанный случай, когда два независимых AI-пайплайна параллельно сошлись на одной открытой математической задаче — и на одном из них вообще не было привязки к реальному имени.
Сама задача касается двух функций h(n) и H(n) — длин «цепочек делителей» числа n. Эрдёш в свое время задавал два вопроса: оценить эти функции и проверить, верно ли что H(n)/h(n) уходит в бесконечность для почти всех n. Туртуреан показал, что отношение стремится не к бесконечности, а ровно к 2. То есть собственная гипотеза Эрдёша опровергнута на множестве плотности 1. Зато его более раннее предположение про скорость роста h(n) подтвердилось с точной константой 1/2 — функция растет как половина итерированного логарифма (это сколько раз надо взять логарифм от числа, чтобы получить значение меньше 1; растет настолько медленно, что для всех практических n остается ниже 5).
Когда Туртуреан пришел публиковать свое решение, на форуме уже лежал пост от пользователя под ником Treasure42 — никнейм без привязки к реальному имени. Описанные методы совпадают: Treasure42 запустил GPT-5.5-Pro на той же задаче сразу после выхода модели и пришел к близким верхним и нижним границам через ту же стратегию. Владелец сайта Томас Блум использовал короткий разбор Treasure42 как навигацию по более длинному доказательству Туртуреана — два решения фактически проверили друг друга. Кто стоит за Treasure42, установить не удалось.
В треде Туртуреан раскручивает наблюдение в гипотезу про устройство науки в эпоху AGI. «Если разные команды не общаются, они могут параллельно жечь токены на одной задаче и выдавать один и тот же результат. И могут появляться анонимные исследователи, которые предпочитают вкладываться, но оставаться в тени.» Дальше — гипотетический сценарий: «Я не знаю — может быть, решение гипотезы Римана выложит какой-то Сатоси-Накамото-подобный аккаунт на форуме в 2028 году? За таким аккаунтом может вообще не быть человека. Это уже не кажется невозможным.»
Сам Туртуреан описал свой пайплайн открыто: четырехходовой набросок доказательства сделал GPT-5.5-Pro 26 апреля, Claude Opus 4.7 вместе с Claude Code собрали из него полную статью и докинули недостающие технические места, формальная верификация — в Lean.
P.S. Поддержать меня можно подпиской на канал «сбежавшая нейросеть«, где я рассказываю про ИИ с творческой стороны.
ссылка на оригинал статьи https://habr.com/ru/articles/1035450/