Математические конференции обычно проходят публично, с докладами, дискуссиями и публикациями. Но майская встреча в Калифорнийском университете в Беркли прошла иначе. 30 математиков со всего мира, включая специалистов по алгебре, геометрии и теории чисел, собрались в закрытом формате.
Цель? Проверить, как далеко зашёл искусственный интеллект, если дать ему по-настоящему сложные, исследовательские задачи. Речь не шла о школьной алгебре — это были задачи, которые не решены и обсуждаются на передовой научного фронта, рассказывает журнал Scientific American.
GPT-f и математическая интуиция
В качестве тестируемого ИИ использовалась модифицированная версия GPT, натренированная специально на математических доказательствах и академических текстах. Её не просто спрашивали: "Реши задачу". Математики пытались вести с ней диалог — как с коллегой.
К удивлению участников, в ряде случаев ИИ успешно предлагал логически корректные подходы, делал глубокие замечания и даже предугадывал направления, которые позже подтверждались людьми. Один из участников сравнил это с ощущением, будто "ведёшь разговор с невидимым Гауссом".
Люди vs Машины: ничья или проигрыш?
Не все математики остались довольны. Некоторые указывали на ошибки ИИ в деталях или недостаточную строгость. Но сама способность машины участвовать в подобной беседе уже вызвала тревогу. "Если ИИ может докапаться до сути, то зачем нужны десятилетия нашей учёбы?" — делился один из присутствующих.
Тем не менее, большинство пришло к выводу, что ИИ пока скорее мощный партнёр, чем соперник. Его способности ускоряют процесс открытия, но не заменяют интуицию, креатив и проверку гипотез.
Что дальше?
Эта встреча может оказаться поворотной. Станет ли математика областью, где ИИ не просто помогает, а ведёт вперёд? Будут ли научные статьи в будущем подписаны "человеком и ИИ"? Одно ясно: математика вступила в новую эру, и больше нельзя считать её исключительно человеческой территорией.
