На протяжении веков математика воспринималась как территория исключительного человеческого таланта. Доказательство сложной теоремы могло стать делом всей жизни, а решение знаменитой проблемы — навсегда вписать имя исследователя в историю.
Сооснователь xAI Кристиан Сегеди считает, что искусственный интеллект изменит этот порядок: вместо отдельных героических открытий наступит эпоха масштабного, автоматизированного исследования математического мира.
Сегеди сравнивает математиков с путешественниками, которые прокладывают маршруты через неизведанную горную местность. Они создают инструменты, исследуют связи между разными областями и пытаются покорить вершины — доказать трудные гипотезы.
ИИ в этой метафоре становится самолётом. Первые полёты ограниченны и дороги, но совершенствование технологии постепенно делает доступными места, до которых прежде приходилось добираться годами.
Ключевую роль здесь играет автоматическая формализация: перевод математических рассуждений на язык, позволяющий специальным программам проверять каждый шаг доказательства.
Это отличает математику от многих других дисциплин, где результат необходимо подтверждать экспериментами. Однако формальная проверка не снимает всех вопросов. Можно безупречно доказать утверждение, которое не соответствует исходной задаче, поэтому правильность записи и смысл полученного результата по-прежнему требуют внимания.
По прогнозу Сегеди, развитие таких систем изменит не только скорость исследований, но и представление о профессиональном успехе. Главным достоинством математика станет не способность в одиночку решить задачу, недоступную другим, а умение выбирать важные направления, организовывать работу ИИ и объяснять значение открытий.
Математика при этом может превратиться из сравнительно замкнутой академической области в широко используемую инфраструктуру науки и технологий.
Для исследователей подобная перспектива означает болезненную перемену. Если машина за короткое время справляется с тем, чему человек посвятил годы, возникает вопрос о ценности собственного труда.
Сегеди предлагает воспринимать это не как исчезновение математики, а как её взросление: привычная культура индивидуального подвига уступает место новым возможностям и другому масштабу работы.
Но этот сценарий нельзя считать установленным будущим. В материале приводится и возражение Стивена Вольфрама: цели математического исследования не сводятся к производству правильных доказательств.
Люди определяют, какие вопросы заслуживают внимания, какие идеи помогают понять мир и какие результаты действительно содержательны. Перечисленные в исходной публикации сенсационные заявления о решении знаменитых задач также требуют независимого подтверждения.
Поэтому точнее говорить не о завершении математики, а о возможном завершении одной из её исторических эпох. ИИ способен изменить инструменты и распределение труда, но вопрос о том, что стоит исследовать и зачем, остаётся открытым. Даже если машины научатся быстро покорять вершины, выбор следующего маршрута не обязательно станет чисто машинной задачей.