三周解决11个LeanEval难题，含Green-Tao定理
TacoCohen · x · 2026-08-14
研究员Vasily Ilin在X上宣布，过去三周内他解决了11个此前未解的LeanEval问题，这些是大型、困难的研究级形式化问题，包括Green-Tao定理、Morley范畴定理和Mihăilescu定理。其中Mihăilescu定理耗时最长，达33小时。这展示了AI在数学推理和形式化证明方面的潜力。
所属事件:AI三周解决11个LeanEval难题(2 条相关)→
「研究」频道最新
- 新架构 RHEA：8GB 显存即可训练 10 亿参数模型 — zemondza · 2026-08-24
- 跳过 LLM 写代码老套路：自训 16M 参数模型做生成式 CAD — debreuil · 2026-08-24
- Claude 助手发现 6 维球复结构，解 60 年数学难题 — Singularitarian · 2026-08-24
- 研究揭示 AI Agent 行为：六成阅读量来自指令与笔记 — dair_ai · 2026-08-24
- Claude 自主验证 43 个数学模块，AI 攻克理论物理难题 — Tkaraletsos · 2026-08-24
- AI 假记忆：为何模型越用越错，真记忆需遗忘 — PrajwalTomar_ · 2026-08-24