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

Этот консервативный порядок внезапно столкнулся с напором технологического гиганта. Согласно материалу издания «Синьчжиюань», компания OpenAI опубликовала в открытом репозитории массив из сотен математических рукописей, заявив о решении десятков сложнейших теоретических проблем силами своей неанонсированной внутренней модели.

Публикация вызвала в научном сообществе смешанную реакцию восторга, растерянности и резкого неприятия. Возмущение вызвала не только демонстративная подача материала — массив доказательств выложили напрямую, минуя научные журналы и традиционное рецензирование, — но и глубина заявленных результатов.

Среди ключевых достижений называется доказательство так называемой квазигипотезы Римана с исключением нулей Ландау — Зигеля в широкой полуплоскости и формальной верификацией на языке Lean.

В области теоретической информатики рукописи претендуют на доказательство NP-трудности аппроксимации на базовом полуопределенном пороге без опоры на гипотезу уникальных игр, а в алгебраической геометрии — на существенный прорыв в задаче о гипотезе Ходжа для абелевых многообразий с комплексным умножением.

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

Звучат опасения и по поводу концентрации исследовательской инициативы в руках закрытых коммерческих лабораторий, чьи алгоритмы и вычислительные мощности недоступны большинству университетских кафедр.

Вместе с тем тексты рукописей заставили специалистов признать качественный сдвиг в работе алгоритмов. Если раньше машинные методы в основном сводились к комбинаторному перебору или формальной проверке шагов, составленных человеком, то теперь в цепочках рассуждений исследователи обнаруживают нетривиальные алгебраические конструкции, смену представлений и глубокую математическую интуицию.

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