MiniMax — открытая математическая доказательная платформа MaxProof, которая с помощью эволюционного поиска выводит M3 на золотую линию

robot
Генерация тезисов в процессе
币界网消息,MiniMax开发者关系负责人Ryan Lee宣布,面向大模型数学证明的测试时扩展框架MaxProof已正式开源,并发布了配套技术论文。MaxProof将推理阶段的数学证明重构为演化搜索系统,通过验证、修复与淘汰机制实现推理时缩放。在MaxProof框架的支撑下,MiniMax-M3模型在国际奥林匹克数学竞赛(IMO 2025)与美国数学奥林匹克(USAMO 2026)测试集上分别取得35分与36分(满分42分),双双达到金牌分数线。该框架通过融合生成、验证与修复三大专家能力,构建了多层级防御的验证机制,成功将模型在数学证明上的最佳能力转化为更稳定的表现。
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 4
  • 2
  • Поделиться
комментарий
Добавить комментарий
Добавить комментарий
LateFeeLeo
· 1ч назад
Есть ли ссылка на техническую статью? Хотелось бы особенно посмотреть эксперименты по абляции стратегий исправления.
Посмотреть ОригиналОтветить0
ReflectionsOnTheStreetCorner
· 1ч назад
Эволюционный поиск + идея объединения трех способностей очень интересна, кажется, это гораздо эффективнее, чем просто случайная выборка, экономит вычислительные ресурсы.
Посмотреть ОригиналОтветить0
QuantsAndCats
· 1ч назад
MiniMax-M3 эта оценка действительно хороша, но проходной балл на золотую медаль IMO меняется каждый год, данные за 2025 год ждём официального релиза, тогда и отпразднуем.
Посмотреть ОригиналОтветить0
SlippageSailor
· 1ч назад
Открыт исходный код? Тогда пойду посмотрю код, чтобы понять, как спроектирован модуль верификации.
Посмотреть ОригиналОтветить0
  • Закреплено