, , :
28.11.2025
°C
$ 78.25
€ 90.79

Китай представил новую ИИ-модель для математического анализа

Математика

Китайская компания DeepSeek выпустила усовершенствованную модель DeepSeekMath-V2, способную генерировать и проверять математические доказательства с высокой точностью.

DeepSeekMath-V2 работает как самопроверяемая система: одна модель формирует рассуждения и доказательства, а вторая рецензирует каждое логическое действие. Такой подход позволяет не просто получать корректные ответы, но и обеспечивать их прозрачное обоснование. Разработчики подчёркивают, что механизм двойной проверки существенно повышает надёжность сложных вычислительных решений.

Во время испытаний модель показала результаты на уровне золотых призёров Международной математической олимпиады 2025 года и Китайской математической олимпиады 2024 года. В компании считают, что новая архитектура открывает путь к созданию более мощных и интерпретируемых ИИ-систем для фундаментальных математических задач, где особенно важно качество доказательств.

Бурный рост в сфере искусственного интеллекта делает Китай одним из центров глобальных разработок. В отрасли активно конкурируют крупные игроки — Alibaba, Baidu, DeepSeek, Moonshot AI, Tencent и Zhipu AI, усиливая свои позиции за счёт новых моделей и собственных исследовательских платформ.