数学证明
2 published articles
人工智能Featured5 min read
人工智能
MiniMax M3 与打造防作弊推理模型的艺术
MiniMax 详解了 M3 推理能力背后的工程细节：一种深度防御验证器，成功避免了 M2 周期中的奖励破解失败模式；以及 MaxProof，一种群体级测试时扩展框架，将采样转化为引导式搜索。在 IMO 2025 和 USAMO 2026 上，使用 MaxProof 的 M3 超过了人类金牌得主阈值。
2026-07-16
人工智能6 min read
AI研究
MaxProof：如何将生成式验证器转化为证明革命引擎
MaxProof是一个测试时扩展框架，将数学证明生成建模为进化搜索过程。通过结合Proof RL、验证器对齐和修正增强，它把不可靠的生成式验证转化为用于训练和推理的可信奖励系统。
2026-07-05