В воскресенье разработчик Джарред Самнер написал, что во время утренней пробежки попросил Claude решить гипотезу Римана — одну из семи «задач тысячелетия» и одну из главных нерешённых проблем математики. Полтора дня спустя Claude, по его словам, не решил задачу целиком, но поднял долю нулей дзета-функции, доказанно лежащих на критической прямой, с 41,6% до 67%. Твит подхватил Boris Cherny, один из создателей Claude Code, и новость мгновенно разлетелась по X. Разберёмся, что здесь реальный математический результат, а что — эффект вирусного пересказа.
Что такое «67% нулей на критической прямой» на самом деле
Гипотеза Римана утверждает, что все нетривиальные нули дзета-функции лежат на одной вертикальной прямой на комплексной плоскости. Доказать это для всех нулей никому не удалось, поэтому математики уже почти сто лет пытаются доказать хотя бы то, что доля таких нулей приближается к 100%. Это направление называется оценками плотности нулей, и у него долгая история: Атле Сельберг в 1940-х показал, что «положительная доля» нулей лежит на прямой, Норман Левинсон в 1970-х довёл эту долю до трети, Брайан Конри в 1989-м — до 40%, а более поздние уточнения (в том числе работа Кевина Пратта с соавторами) подняли планку до тех самых ~41,6%, которые фигурируют в твите как отправная точка.
Скачок с 41,6% до 67% за полтора дня — это не инкремент, а величина, которая перекрыла бы 35 лет работы профессиональных аналитических теоретиков чисел. Именно поэтому реакция части сообщества — восторг вперемешку с недоверием.
Почему к заявлению стоит относиться осторожно
Ключевая проблема таких историй — отсутствие проверяемого артефакта в самом твите: нет ни препринта, ни воспроизводимого доказательства, ни рецензии специалистов. Оценки плотности нулей — крайне техническая область: там легко получить число, которое выглядит как прогресс, но опирается на недоказанную лемму, ошибку в оценке интеграла или неявное предположение. История математики знает десятки заявленных «прорывов», которые не пережили формальной проверки. Пока результат Claude не оформлен в виде статьи, которую может построчно перепроверить специалист по аналитической теории чисел, к цифре 67% правильнее относиться как к интересной гипотезе, а не как к доказанному факту — на что, кстати, намекает и сама формулировка автора твита: «до конца не уверен, что это значит».
Что если результат всё-таки выдержит проверку
Если хотя бы часть выкладок Claude окажется корректной, это станет заметным событием не потому, что гипотеза Римана решена (до этого по-прежнему далеко), а потому, что языковая модель без специализированной математической архитектуры сработала как исследовательский ассистент в одной из самых требовательных областей чистой математики — с длинными цепочками формальных выводов, где одна ошибка обнуляет всё доказательство.
Зачем это знать тем, кто следит за Claude Code
Независимо от исхода конкретной истории, она отражает общий тренд: ИИ-модели всё активнее используют не как калькулятор, а как партнёра по формулированию и проверке математических гипотез — от прикладных задач до топовых открытых проблем. Для разработчиков и исследователей, работающих с Claude, это сигнал следить за инструментами класса «reasoning» и подобными экспериментами: даже если конкретный кейс с гипотезой Римана окажется преувеличением, сама попытка показывает, куда движется применение больших языковых моделей в фундаментальной науке.
Вывод
Твит про Claude и гипотезу Римана — это, скорее всего, история про энтузиазм и предварительные, ещё не проверенные вычисления, а не про решённую задачу тысячелетия. Но даже как несостоявшаяся сенсация она красноречиво говорит о том, что границы применения ИИ в математике за последний год заметно сдвинулись — и что следующий подобный твит стоит проверять по первоисточникам, прежде чем делать выводы.
Добавить комментарий