Модель AI опровергла давнюю центральную гипотезу в дискретной геометрии.
Эта история набрала 835 очков и 629 комментариев на Hacker News. Комментарии разделились на два лагеря: одни восхищаются «AI заменит математиков», другие сомневаются — «можно ли это вообще считать настоящим математическим открытием?»
Ни одна из сторон не попала в точку.
Сначала разберёмся, что произошло
Модель OpenAI не «поняла» математику и затем выдала доказательство. Она сделала нечто更像是: в огромном пространстве поиска, используя вычислительную мощность для перебора, нашла контрпример.
Это как использовать суперкомпьютер для поиска простых чисел среди бесконечного множества целых чисел — вы действительно нашли их, но не открыли никакого нового математического принципа.
Найти контрпример и доказать теорему — это фундаментально разные вещи. Одно — поиск, другое — понимание.
Конечно, нахождение контрпримера имеет ценность. Это говорит математикам «этот путь не работает», экономя время, которое было бы потрачено на безнадёжное направление. Но это не то же самое, что «AI сделал математическое открытие».
«Поиск» против «инсайта» в математических исследованиях
Позвольте использовать неточную, но полезную аналогию:
- Поиск: Знать, как выглядит ответ, и найти его в пространстве. AI в этом силён.
- Инсайт: Знать, какой вопрос задать, знать, какие направления стоят изучения. Это то, что делают люди-математики.
То, что сделал OpenAI на этот раз, — первое. Модель не предложила новую математическую структуру, не создала новый метод доказательства, не сформулировала новую гипотезу. Она выполнила тщательно разработанный процесс поиска и обнаружила, что существующая гипотеза ошибочна.
Это важно? Да. Это ли «математическое открытие»? — зависит от того, как вы определяете «открытие».
Что действительно беспокоит — это не способности AI
Что меня больше всего задело в комментариях — это не люди, восхищающиеся AI, а тревожные аспиранты-математики и начинающие исследователи.
Их тревога реальна: если AI может найти контрпример за неделю, который я не мог найти за три года работы, зачем мне получать PhD по математике?
На этот вопрос нет хорошего ответа.
Но я думаю, что рамка неправильная. AI делает поиск, люди делают инсайт — это не отношения замены, это разделение труда.
Математикам больше не нужно тратить месяцы на ручную проверку граничных случаев гипотезы. Они могут потратить это время на размышления о «почему эта гипотеза неверна», «какую более глубокую структуру раскрывает контрпример», «какую новую гипотезу стоит сформулировать дальше».
Моя оценка
Значимость этого события не в том, что «AI может опровергать математические гипотезы», а в том, что оно демонстрирует новый режим разделения труда между AI и людьми в математических исследованиях.
- AI делает поиск, верификацию, построение контрпримеров, масштабное перечисление
- Люди делают выбор проблем, оценку направлений, построение структур, интерпретацию значений
Это разделение труда уже произошло в других областях — AlphaFold делает предсказание структур, биологи делают интерпретацию механизмов. Теперь очередь математики.
Тревога нормальна. Но не тревожьтесь о неправильных вещах.
Основные источники:
- OpenAI Blog: Discrete Geometry Conjecture
- Обсуждение на Hacker News