跳到正文
原文
@omarsar0· @omarsar0 · X·· 2026-08-20精选AI 评分71
AI 导读

推文称,围绕 dots3-note Preview 一个分支搭建的内部 harness 让系统递归生成、评估并改进证明,最终获得官方认证的 42/42 成绩,并在 IMO 2026 摘得金牌。作者据此说明,自评审在训练循环之外同样有效。配图显示 harness 界面中 P1 至 P6 均为 7/7。

推荐理由

推文展示自评审在训练循环之外同样奏效,并给出 IMO 2026 官方认证的 42/42 成绩作为依据。

正文

Self-critique also works outside the training loop.

Using a custom internal harness around a branch of dots3-note Preview, the system recursively generated, evaluated, and improved its proofs—earning an officially certified 42/42 and gold at IMO 2026. https://t.co/34RdXyLzr2

来源:@omarsar0 · x.com