Китайская компания DeepSeek представила DeepSeekMath-V2 — новую математическую модель, которая впервые в истории open source достигла золотого уровня на Международной математической олимпиаде (IMO-2025). Это прорыв, так как ранее подобные результаты демонстрировали только закрытые системы от Google и OpenAI. Рекордные результаты Модель показала феноменальную точность в решении сложнейших задач: Как это работает В отличие от обычных чат-ботов, которые просто пытаются угадать ответ, DeepSeekMath-V2 строит строгие доказательства. В её основе лежит механизм самопроверки. Модель генерирует решение, а встроенный верификатор (проверяющий) оценивает каждый шаг на логическую корректность. Если шаг неверен, система ищет другой путь. Это позволяет модели не просто выдавать число, а предоставлять полное математическое обоснование, понятное профессионалам. Доступно всем (у кого есть суперкомпьютер) DeepSeek выложила модель в открытый доступ на Hugging Face под лицензией Apache-2.0. Но есть нюанс: Запустить такого монстра на домашнем ПК не получится — потребуется серверное оборудование уровня небольшого дата-центра. Однако для исследователей и институтов это настоящий подарок, демократизирующий доступ к передовым математическим ИИ.