Краткое содержание анализа
80 лет назад математик Эрдеш задал казалось бы простой вопрос: сколько пар точек на плоскости могут находиться на расстоянии именно 1 сантиметра друг от друга? Он предположил, что количество таких пар растет почти линейно (например, в соотношении n умноженном на некое медленно уменьшающееся число), но не превышает порога в 1,01n. В мае этого года общий AI-модель OpenAI (не специально тренированный для решения математических задач) с помощью сложных методов алгебры и теории чисел опроверг это предположение, доказав, что существует некое маленькое положительное число δ (например, 0,014), при котором количество пар точек на расстоянии 1 сантиметра может достигать значения n^(1+δ), т. е. рост происходит быстрее, чем предсказывал Эрдеш. Это первый случай, когда AI добился прорыва в решении важной математической гипотезы; доказательство было систематизировано Чэнь Лицзе, известным своими достижениями в математических соревнованиях, и вызвало обсуждения о том, может ли AI перевернуть ход математических исследований.
I. Гипотеза Эрдеша
Представьте, что вы рисуете n точек на бумаге и хотите, чтобы между как можно большим количеством из них расстояние составляло именно 1 сантиметр. Каково максимальное количество таких пар?
- Простейший случай: одна центральная точка, вокруг которой расположены n-1 точек на радиусе 1 сантиметра; в этом случае существует n-1 пар на расстоянии 1 сантиметра.
- Но что если использовать более сложную структуру, например, сетку (целочисленную матрицу)? Количество точек, соседних друг с другом на расстоянии 1 сантиметра, ограничено геометрией плоскости — максимум три точки могут находиться на одинаковом расстоянии (в форме правильного треугольника), поэтому не все пары могут быть на таком расстоянии.
Эрдеш предположил, что количество таких пар растет по закону n^(1+o(1)), то есть немного быстрее, чем n, но не слишком сильно (например, не в виде n²). Эта гипотеза оставалась нерешенной в течение 80 лет.
II. Исключительный подход AI
Ранее люди пытались использовать двумерные структуры (например, сетки) для построения максимально возможного количества пар на расстоянии 1 сантиметра, но AI выбрал путь, который почти никто не пробовал:
1. Переход в высокомерные размерности: люди использовали обычные целые числа (в двумерном пространстве), а AI — более сложные системы чисел. В этих системах число может разлагаться на больше множителей, что позволяет создавать больше пар на одинаковом расстоянии.
2. Сочетание алгебры и геометрии: точки из высокомерных размерностей при проецировании на двумерную плоскость могут сливаться; AI использовал концепции бесконечно расширяющихся числовых систем (теория классов чисел + теорема Голод-Шапаревича), чтобы обеспечить достаточное количество пар на расстоянии 1 сантиметра и одновременно контролировать их распределение в двумерном пространстве.
В результате AI доказал, что количество таких пар может достигать значения n^(1+0,014), что опровергло гипотезу Эрдеша.
III. Значимость этого открытия
Это достижение имеет важные последствия:
- Использование общего AI: AI — это универсальная модель, не предназначенная специально для решения математических задач; его доказательство было признано ведущими учеными (например, лауреатом Филдсовской премии Голлс считает, что если бы это доказательство написал человек, оно могло бы быть опубликовано в ведущем математическом журнале).
- Прорыв за пределами интуиции: решение сложных математических гипотез требует творческого мышления; до сих пор считалось, что это возможно только человеку, но AI доказал, что может не только решать задачи, но и создавать новые подходы к их решению.
IV. Роль Чэнь Лицзе
За этим прорывом стоит китайский ученый Чэнь Лицзе:
- Мастер математических соревнований: он выиграл золотую медаль на Олимпиаде по информатике в 16 лет и первое место на IOI в 18; окончил Цинхуа и получил докторскую степень в MIT.
- Путь AI и математики: в начале этого года он присоединился к OpenAI и помог систематизировать доказательство AI в понятной для людей форме (оригинальная логика AI состояла из 125 страниц). Он сказал: «Я не ожидал, что прорыв произойдет так быстро».
Его работа показывает, что для использования достижений AI требуются специалисты-люди; сотрудничество человека и машины является важной основой современных математических открытий.
V. AI против человеческой математики: помощник или замена?
Этот прорыв вызвал активные дискуссии:
- Преимущества AI: способность работать с высокомерными размерностями, низкая стоимость ошибок, возможность комбинировать существующие инструменты. Некоторые даже считают, что человеческий мозг не является оптимальным инструментом для решения сложных математических задач.
- Ограничения AI: он пока не может предлагать новые исследовательские подходы или создавать теории; он может только использовать существующие математические методы.
- Применение принципа Моравчика: математика сложна для человека, но легка для AI; в то же время задачи, такие как готовка или ходьба, которые кажутся людям простыми, AI решает плохо.
Существует общее мнение, что AI является мощным помощником, но еще не заменяет человеческих математиков; способности к интуиции, любознательности и формулировке новых вопросов пока остаются уникальными для людей.
Заключение
Открытие AI, опровергшее гипотезу Эрдеша, является лишь началом нового этапа в развитии математики. Оно заставляет нас пересмотреть наше представление о том, действительно ли математика является последним bastionом человеческого интеллекта. В будущем сотрудничество между AI и математиками может привести к еще большим открытиям. Однако на данный момент человек по-прежнему остается ключевым элементом в математических исследованиях: AI занимается вычислениями и конкретными задачами, а люди — формулировкой направлений исследований и творчеством.