Математические гипотезы могут быть разгаданы искусственным интеллектом, но математическая интуиция незаменима

Недавно 23-летний любитель математики, не имеющий высшего математического образования, с помощью ChatGPT за 80 минут решил проблему «Erdős#1196», которая беспокоила математическое сообщество на протяжении 60 лет. С момента выпуска OpenAI ChatGPT-5 несколько подобных сложных задач были решены с помощью ИИ, и даже были обнаружены некоторые проблемы, которые уже были решены, но затерялись в научных статьях, что вызвало большой интерес в академическом сообществе.

Математические задачи, которые решает ИИ, часто характеризуются ясным изложением и чёткой структурой, и в них уже накоплены определённые знания. Профессор Университета науки и технологий Китая Ма Цзе отметил, что ИИ хорошо умеет интегрировать существующие знания и устанавливать связи, но сложные абстрактные задачи всё ещё требуют человеческого суждения. Профессор Нанкинского педагогического университета Чэнь Юнго считает, что ИИ лучше справляется с задачами, для которых уже существуют методы решения, а математики могут сосредоточиться на инновационных областях.

Эксперты считают, что ИИ не может заменить интуицию, проницательность и эстетическое восприятие математиков. Ма Цзе подчёркивает, что в будущем люди должны будут проверять доказательства, сгенерированные ИИ, и проводить формальную верификацию. Сунь Чживэй призывает к реформе математического образования, чтобы стимулировать у студентов любознательность и независимое мышление, а не механическое решение задач. Развитие независимых математических моделей ИИ имеет стратегическое значение для страны.