#Lean

智能AI None

Achieving operational excellence with AI

Frameworks like Lean Six Sigma and business process management (BPM) first gained traction because they promised clarity

Lean Six Sigma

2026-07-05 MIT Technology Review Insights

智能AI None

陶哲轩12年前的预言，现在AI帮他兑现了

陶哲轩12年前的预言，现在AI帮他兑现了 闻乐 2026-06-20 19:56:57 来源： 量子位 全球最聪明的人之一，成了AI最狂热的布道者 闻乐 发自 凹非寺 量子位 | 公众号 QbitAI 事实证明，菲尔兹奖得主有时候也兼职预言

Lean Polymath 闻乐

2026-06-20 闻乐

智能AI None

Pythagoras-Prover：通过增强精益形式化推进高效的形式证明

arXiv:2606.12594v1 Announce Type: new Abstract: Modern Lean theorem provers achieve strong performance only with substan

and proof Lean

2026-06-12 Joshua Ong Jun Leang, Zheng Zhao, Mihaela C\u{a}t\u{a}lina Stoian, Qiyuan Xu, Haonan Li, Wenda Li, Shay B. Cohen, Eleonora Giunchiglia

智能AI None

Lean4Agent：代理工作流程和轨迹的形式化建模和验证

06523v1 Announce Type: new Abstract: Equipping Large Language Models (LLMs) to execute reliable multi-step workflows has

and the Lean

2026-06-08 Ruida Wang, Jerry Huang, Pengcheng Wang, Xuanqing Liu, Luyang Kong, Tong Zhang

智能AI None

谷歌AI框架AlphaProof Nexus攻克2道悬置56年数学难题

IT之家 5 月 26 日消息，谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证， 在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬而未决

AlphaProof Erd Agent

2026-05-26 IT之家

智能AI None

人类56年解不出，谷歌AI一夜连破9道世纪难题！

新智元报道 【新智元导读】 DeepMind发布全新数学智能体AlphaProof Nexus，9道Erdős开放难题一次性告破，最老的悬了56年。全部证明都已经过Lean编译器形式化验证，没有幻觉。网友惊呼：数学奇点的火花点燃了。数学界这

AlphaProof Erd Lean

2026-05-25 新智元

开发者生态 None

所有精益书籍以及在哪里可以找到它们

All Lean Books And Where To Find Them Respecting traditions of the city I'm currently in This could have been a classic

Lean the you

2026-05-24 atomicnature

智能AI None

陶哲轩：千年数学规则被AI按下重启键

新智元报道 编辑：定慧 【新智元导读】 菲尔兹奖得主陶哲轩在斯坦福演讲后宣布改变个人工作习惯：不再试图实时跟进所有新证明。AI生成证明的速度已经远超人类消化能力，数学正在被自己的产出撑爆。陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，

数学正在 陶哲轩在 Lean

2026-05-16 新智元