**AI and Math State of the Art**

> Title AI Research-level mathematics June 2026 AI and Math State of the Art From Olympiad gold to Erdős problems, First Proof, Lean, and human verification. Concise factual briefing Summer 2025 → June 2026 Map What changed in one year? 01 Contest reasoning crossed gold level 02 Erdős problems became the live testbed 03 AI disproved a famous Erdős conjecture 04 Formal proof search scaled in Lean 05 Failure modes and co...

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-06-23 21:34（北京时间）
- **原文**：[打开原文](https://stunning-naiad-817d91.netlify.app/)