Поворотный момент в алгебраической геометрии
20 июля 2026 года гарвардский математик Левент Альпёге объявил об обнаружении потенциального контрпримера к 87-летней гипотезе Якобиана. Открытие было сделано с помощью экспериментальной модели ИИ Fable 5 от Anthropic и представляет собой краткую последовательность уравнений длиной всего 216 символов. Хотя результат ожидает формального рецензирования, он знаменует собой важную веху в стремительно развивающемся взаимодействии искусственного интеллекта и фундаментальных научных исследований.
Гипотеза Якобиана, впервые предложенная немецким математиком Эдуардом Отт-Генрихом Келлером в 1939 году, долгое время считалась одной из самых сложных задач в алгебраической геометрии. Тот факт, что ИИ поставил под сомнение проблему, десятилетиями сопротивлявшуюся человеческим усилиям, вызвал острую дискуссию о будущем математических исследований.
Ускорение темпов открытий с помощью ИИ
Прорыв произошел на фоне беспрецедентной активности ИИ в математике. В мае 2026 года модель OpenAI опровергла «Гипотезу о единичном расстоянии» Пола Эрдёша, а чуть позже AlphaProof Nexus от Google DeepMind решила ряд других открытых задач. Ли Синьи, доцент Международного центра математических исследований Пекинского университета, отмечает, что успех ИИ заключается не только в вычислительной мощности, но и в способности преодолевать дисциплинарные барьеры, применяя инструменты из различных областей к геометрическим задачам.
Лейденский манифест и защита академической автономии
Поток доказательств, сгенерированных ИИ, вызвал защитную реакцию в научном сообществе. 2 июня 2026 года 16 исследователей из 15 университетов опубликовали «Лейденский манифест по ИИ и математике», получивший поддержку Международного математического союза (IMU). Такие известные математики, как Теренс Тао и Петер Шольце, предупреждают о рисках утраты академической автономии и чрезмерного влияния коммерческих интересов на научную повестку. Манифест призывает сохранить систему экспертной оценки (peer review) и гарантировать, что именно люди, а не корпоративные алгоритмы, будут определять приоритеты фундаментальной науки.
Человеческий контроль как последняя линия обороны
Несмотря на скорость работы ИИ, человеческая верификация остается незаменимой. Когда модель OpenAI опровергла гипотезу Эрдёша, девять ведущих математиков вручную проверяли и дорабатывали доказательство, чтобы гарантировать его точность. Открытие Альпёге сейчас также проходит тщательную проверку независимыми экспертами. Как отмечает Ли Синьи, хотя ИИ эффективно «заполняет пробелы» в известных областях знаний, он пока не способен самостоятельно исследовать границы неизведанного без человеческого руководства.