Six AI systems achieved perfect scores on IMO-level mathematics problems in 2025, utilizing Lean-verified proofs. This breakthrough was enabled by a highly stringent verification process, which ensures absolute correctness in the AI's solutions. The success highlights the potential of reinforcement learning from human feedback (RLHF) when paired with rigorous verification methods. AI
影响 Demonstrates AI's capability for perfect mathematical reasoning, potentially impacting formal verification and theorem proving.
排序理由 AI systems achieved perfect scores on a formal mathematics competition using verified proofs.
在 Mastodon — fosstodon.org 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →