Октябрь 2026 года войдет в учебники как точка невозврата для точных наук. Внутренняя, еще не выпущенная в релиз математическая модель OpenAI выгрузила в открытый доступ 722 доказательства сложнейших теорем, на которые у лучших умов планеты ушли бы десятилетия упорного труда.
Ключевые тезисы:
- ИИ опубликовал 722 решения сложнейших задач, из которых 22% полностью проверены системой Lean.
- Алгоритм доказал квази-гипотезу Римана и четырехмерную гипотезу Кайи.
- Ученые критикуют OpenAI за закрытую архитектуру модели и отсутствие классического рецензирования.
Неизданная математическая модель OpenAI сгенерировала 722 доказательства сложнейших теорем, включая квази-гипотезу Римана, затрачивая около трех часов на каждое решение.
Цифровой шторм начался буднично с банального обновления репозитория на GitHub. Алгоритм обработал 372 семейства фундаментальных задач, многие из которых покрывались пылью в кабинетах профильных институтов со времен Второй мировой войны. Среднее время генерации одного революционного доказательства заняло всего три часа машинного времени, сопоставимого с мощностями рядовой подписки ChatGPT Pro. Алекс Конторович из Ратгерского университета прямо заявил, что за любую из этих работ живому человеку мгновенно вручили бы Филдсовскую (Нобель в математике) медаль без дополнительных вопросов.
Строгость суждений остается краеугольным камнем настоящей науки. Лишь 22% опубликованных манускриптов получили железобетонное подтверждение в системе Lean. Этот интерактивный верификатор теорем работает как безжалостный компилятор кода: если в логике рассуждений есть хоть малейшая дыра, программа немедленно выдает ошибку. Оставшиеся 78% работ пока носят статус гипотез, требующих ручной проверки ассистентами и профессорами.
Главные трофеи нейросети от простых чисел до четвертого измерения
1. Квази-гипотеза Римана (и путь к «Святому Граалю»)
Распределение простых чисел всегда было математическим Святым Граалем, на котором базируется вся мировая криптография и безопасность банковского сектора, включая повседневные финансовые операции жителей. Математическая модель OpenAI успешно доказала квази-гипотезу Римана. Знаменитую дзета-функцию можно грубо сравнить со сложным дуршлагом для вылавливания простых чисел из бесконечного хаоса. Долгие годы ученые пытались понять форму этого дуршлага. Алгоритм математически обосновал, что все нетривиальные «ошибки» сита не пересекают критическую границу, где их действительная часть меньше 0,875. Проверка в Lean пройдена, результат абсолютно корректен, а создателям алгоритмов шифрования пора задумываться о новых методах защиты данных.
2. Четырёхмерная гипотеза Кайи (Kakeya Conjecture)
Четырехмерная гипотеза Кайи звучит как издевательство над бытовым здравым смыслом. Базовая задача требует найти минимальный объем пространства, в котором можно развернуть прямую иглу на 180 градусов так, чтобы в процессе она указала во все возможные стороны. В трехмерном мире это похоже на попытку филигранно развернуть длинномерную фуру внутри тесного спального района. В 2025 году математик Ван Хун забрала Филдсовскую премию именно за решение трехмерной версии. Искусственный интеллект хладнокровно шагнул в четвертое измерение и выдал 175-страничный трактат, который отправляет вчерашний триумф человечества в архивы.
3. Гипотеза уникальных игр (Unique Games Conjecture)
Гипотеза уникальных игр, предложенная теоретиком Субашем Кхотом, определяет жесткий потолок наших возможностей в цифровой оптимизации. Доказательство этой проблемы четко очерчивает границу между логистическими задачами, которые решаются быстро, и теми, на которые не хватит вычислительной энергии всей Вселенной. Теперь алгоритмы маршрутизации доставки или распределения нагрузки на сотовые вышки получат совершенно новый математический фундамент.
Следом под вычислительный каток пошла гипотеза Ходжа для CM-абелевых многообразий. Это одна из знаменитых «Проблем тысячелетия», за решение которой Институт Клэя выплачивает миллион долларов. Машина не добила проблему целиком, но откусила огромный кусок алгебраической геометрии, доказав частный случай для любой размерности и коразмерности.
Проблема изоморфизма факторов свободных групп висела дамокловым мечом над теорией операторных алгебр с сороковых годов прошлого века. Нейросеть закрыла этот вопрос положительно, сопроводив длинный вывод машинной верификацией. Оригинальная десятая проблема Гильберта о диофантовых уравнениях также получила окончательный крест для рациональных чисел. Программа доказала отсутствие универсального алгоритма для поиска их корней, поставив жирную точку в спорах, длившихся десятилетиями.
Почему академики просят притормозить математическую модель OpenAI
Эйфория от невероятного масштаба открытий быстро остудил академический консерватизм. Эндрю Сазерленд из Массачусетского технологического института требует относиться к кремниевому триумфу максимально скептически. Главная боль классических ученых кроется в концепции непрозрачного черного ящика. Математическая модель OpenAI выдает готовые гениальные ответы, но ее глубинная архитектура и цепочки весов скрыты за надежными корпоративными замками. Воспроизвести эти результаты силами независимых лабораторий на данный момент физически невозможно.
Этика публикации также пробила дно по строгим меркам большой науки. Корпорация просто вывалила сотни терабайт сложнейших данных на GitHub, полностью проигнорировав многомесячный процесс слепого рецензирования в таких авторитетных изданиях, как Nature, Science или PNAS. Научное сообщество расценило подобный шаг как откровенный хайп и полное пренебрежение правилами игры.
Президент Института Клэя Мартин Бридсон попытался сгладить острые углы в прессе. Он назвал релиз невероятно захватывающим и честно признался, что еще вчера никто не мог вообразить подобный сдвиг границ познания за одни сутки. Пропасть между скоростью работы Кремниевой долины и традиционными университетскими кафедрами стала очевидной, и науке придется адаптироваться к этому новому, пугающе умному миру.
Поддержать нас на Boosty
Поддержать нас на Дзен
FAQ: Часто задаваемые вопросы
Правда ли, что искусственный интеллект решил проблемы тысячелетия?
Нейросеть не решила их полностью, но сделала колоссальный шаг вперед. Например, математическая модель OpenAI доказала важные частные случаи для гипотезы Ходжа и квази-гипотезу Римана, что является невероятным прорывом для науки.
Как ученые проверяют правильность ответов ИИ?
Для проверки используется система Lean — это специальный язык программирования и верификатор теорем. Если доказательство написано без логических ошибок, Lean аппаратно подтверждает его абсолютную точность, как это произошло с 22% новых работ.
Почему математики недовольны открытием OpenAI?
Главная причина кроется в непрозрачности работы. Алгоритмы не объясняют свой ход мыслей, а компания опубликовала данные без классического научного рецензирования, нарушив многовековые академические традиции.
Источник: Официальный релиз OpenAI: «Sharing AI progress in mathematics».
Читайте также: Нейросеть OpenAI решила геометрическую задачу Пала Эрдёша 80-летней давности и шокировала математиков