🤖 DEEPSEEK-PROVER-V2: РЕВОЛЮЦИЯ В ФОРМАЛЬНОМ ДОКАЗАТЕЛЬСТВЕ ТЕОРЕМ
Знаешь ли ты, что теперь нейросети умеют доказывать сложные математические теоремы почти как человек? DeepSeek AI выпустила DeepSeek-Prover-V2 — модель с 671 млрд параметров, заточенную под Lean 4, для формального доказательства теорем!
Почему это важно? Она учится сама через рекурсивный поиск доказательств: разбивает сложные задачи на более простые, а потом собирает доказательства шаг за шагом. Такой уникальный cold-start и обучение с подкреплением делают её лидером среди нейросетей в этой области — 88.9% на MiniF2F тесте и 49 решённых задач из 658 на PutnamBench!
Как применить? Если ты занимаешься математикой или ИИ — DeepSeek-Prover-V2 поможет автоматизировать проверку доказательств и расширить возможности исследований. К тому же разработана новая тестовая база ProverBench с 325 задачами, включая сложные школьные конкурсы AIME для всесторонней оценки моделей.
Смотри видосик – там всё наглядно.
Подробности и загрузка модел
