SevenTnewS

M3

5 published articles

人工智能5 min read

数学推理

M3团队找到阻止AI数学验证器作弊的方法,这为每个实验室提供了蓝图

M3的数学推理方法结合了三个专家模型:Proof(证明)、Verifier(验证器)和Fixed(修正),并搭配一个进化搜索框架。该报告提供了关于奖励黑客攻击、验证器对齐以及使生成式验证器在高风险推理任务中可靠所需的工程细节的罕见详述。

2026-07-11

实验室与研究Featured3 min read

AI实验室与研究

MiniMax M3自主编写CUDA内核,并开源代码

MiniMax M3在BrowseComp上取得83.5分,超越Opus 4.7的79.3分,原生支持高达100万token的上下文。在一项显著的自主性测试中,它在无需人工干预的情况下,将GPU内核峰值利用率从7.6%自我优化到71.3%。

2026-07-09

人工智能Featured3 min read

人工智能

MiniMax 产品大爆发:代码、音乐、视频新模型全面升级

中国 AI 初创公司 MiniMax 推出 MiniMax M3、Hailuo 2.3、MiniMax Code 以及新的语音/音乐模型,在竞争激烈的市场中拓宽了产品线。

2026-07-06

人工智能2 min read

人工智能

MiniMax M3 突破开源权重天花板:CUDA 加速 9.4 倍,全程无需人工干预

MiniMax M3 实现 CUDA 内核加速 9.4 倍,在 BrowseComp 上击败 Opus 4.7,并自主复现了 ICLR 论文。所有能力均以开源权重形式提供。

2026-07-06

人工智能6 min read

AI研究

MaxProof:如何将生成式验证器转化为证明革命引擎

MaxProof是一个测试时扩展框架,将数学证明生成建模为进化搜索过程。通过结合Proof RL、验证器对齐和修正增强,它把不可靠的生成式验证转化为用于训练和推理的可信奖励系统。

2026-07-05