Кажется, с профессией математика - всё

6 октября 2026 года OpenAI опубликовала 722 математических текста, подробно описывающих решения и существенный прогресс в решении 372 основных открытых проблем в математике и теоретической информатике. Работа была создана с помощью пока невыпущенной внутренней ИИ модели — после громкого объявления, сделанного за несколько недель до этого, о том, что это же семейство моделей решило версию задачи об уравнениях Навье-Стокса ("премия тысячелетия").

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

Ключевые технические детали:

Масштаб: Модель была нацелена на 4000 открытых проблем, в результате чего было получено 722 рукописи, сгруппированные в 372 «семейства» в 17 различных областях математики.

Эффективность вычислений: OpenAI отметила, что для «среднего результата» потребовалось всего около трех часов времени на обдумывание в ChatGPT Pro.

Машинная проверка: Для обеспечения корректности примерно две трети семейств содержат формальные, машинопроверяемые доказательства, переведенные на Lean — язык математического программирования, который использует строгую компьютерную логику для проверки структурной правильности шагов. В репозитории OpenAI прямо указано, что неформализованные статьи могут содержать ошибки.

Хотя на полное изучение огромного объема статей у людей уйдут месяцы, репозиторий включает в себя заявленные решения или крупные прорывы для открытых задач, существовавших десятилетиями, в том числе:

10-я Проблема Гильберта над рациональными числами.

* 16-я Проблема Гильберта в части дифференциальных уравнений.

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

Гипотезы Малера и точные показатели иррациональности для числа пи.

Оптимизация алгоритмов: Достижения в оценках сложности умножения матриц и умножения целых чисел.

Поскольку традиционная система рецензирования не может за одну ночь охватить сотни высокопродвинутых статей,

OpenAI разместила работу непосредственно в общедоступном репозитории GitHub. Это, в сочетании с характером открытия, вызвало масштабные трения в математическом сообществе.

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

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

Понимание против решений. Эксперты утверждают, что доказательство, проверенное компьютером (например, Lean), говорит нам только о том, что что-то истинно, а не почему это истинно. Это заставляет математиков вести себя скорее как археологи или редакторы, переводя формализмы

ИИ в подлинную человеческую мудрость.

Телеграм: t.me/ainewsline

Источник: vk.com

Комментарии: