usamo

标签

#usamo

Maxproof

Hacker News Top ↗ · 2026-06-12 缓存

MaxProof 引入了一种测试时缩放框架，该框架结合了证明生成、验证和修复，使用生成-验证器强化学习，使 M3 模型在 IMO 2025 和 USAMO 2026 上超过了人类金牌阈值。

0 人收藏 0 人点赞