Нейросеть DeepSeek победила на нескольких математических олимпиадах

Искусственный интеллект DeepSeekMath-V2, продемонстрировал математический уровень, соответствующий золотым медалям на Международной математической олимпиаде (IMO) 2025 года и национальной олимпиаде Китая (CMO) 2024.

Особенность этой модели заключается не просто в поиске верного ответа. Её создатели сделали ставку на способность к строгому математическому рассуждению, где глубокая проработка логических цепочек и доказательств теорем стала ключевым приоритетом. Такой подход принес системе почти максимальный балл в 118 из 120 на сложнейшем конкурсе Putnam-2024.

В основе работы алгоритма лежит замкнутый цикл, в котором взаимодействуют два модуля. Первый предлагает решение, а второй — тщательно проверяет каждый его шаг. Если рассуждение содержит пробелы, система получает об этом сигнал и возвращается к поиску более корректного пути, что напоминает работу ученого, который постоянно перепроверяет свои выводы.

Технически модель содержит сотни миллиардов параметров и доступна для исследовательского сообщества. Её исходные коды и архитектура размещены на платформе GitHub, что позволяет математикам и специалистам по ИИ глубже изучить этот подход. Развитие подобных систем, способных к верифицируемым рассуждениям, может со временем помочь в решении фундаментальных научных задач, где необходима безупречная логика.

Успехи DeepSeekMath-V2 в решении абстрактных задач, однако, возвращают к более приземленным вопросам, которые ранее поднимал создатель компании. Чэнь Дэли (Chen Deli) заявил, что стремительное развитие ИИ, даже в таких сложных сферах, как математика, создаст серьезное давление на рынок труда в ближайшие годы. Таким образом, каждая победа ИИ — это не только научный прорыв, но и еще один аргумент в пользу того, что индустрии и обществу пора искать баланс между внедрением инноваций и смягчением их социальных последствий.