Китайский AI-стартап DeepSeek представил 27 ноября DeepSeekMath-V2 — модель математического рассуждения с открытым исходным кодом, которая набрала 118 из 120 баллов на математическом конкурсе Патнэма 2024 года, превзойдя лучший человеческий результат в 90 баллов, и продемонстрировала результаты уровня золотой медали на Международной математической олимпиаде 2025 года и Китайской математической олимпиаде 2024 года.
Модель представляет новую структуру самопроверки, использующую две AI-системы — одну в качестве «доказывающей» для генерации математических доказательств, а другую в качестве «проверяющей» для тщательного анализа рассуждений — что решает проблему, заключающуюся в том, что правильные финальные ответы не гарантируют корректности процесса рассуждений.
DeepSeekMath-V2 стала первой моделью с открытым исходным кодом, достигшей статуса золотой медали на соревнованиях уровня IMO, её веса находятся в открытом доступе под лицензией Apache 2.0, что контрастирует с закрытыми проприетарными моделями от OpenAI и Google DeepMind, достигшими аналогичных результатов.
Top comments (0)