三周解决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 条相关)→
「研究」频道最新
- 12章7500行逐行注释教程，从零手写现代 GPT — tom_doerr · 2026-10-16
- 约翰·纳什 1998 年「层级内省逻辑」手稿再引 AI 圈热议 — fkasummer · 2026-10-16
- OpenAI 前可解释性负责人：绝大多数神经元已可读，可解释性是最重要科学问题 — CatAstro_Piyush · 2026-10-16
- AI 安全研究者自嘲：技术安全话题几乎都能在几十年前统计学里找到影子 — _onionesque · 2026-10-16
- JevAgentHarness 论文：4B 小模型替 LLM 做 Agent 决策，更省更准 — youjiaxuan · 2026-10-16
- Google 团队用序列拍卖构建去中心化 LLM 多智能体工作流 — _onionesque · 2026-10-16