Josh Purtell：Lean 内核改进是比数学更好的 AGI 基准
JoshPurtell · x · 2026-10-04
JoshPurtell 在 X 上与 @sethtjf、@doodlestein 讨论时称，改进 Lean 内核（形式化验证系统）作为 AGI 基准甚至优于数学难题，理由包括：结果极易验证、对内部与通用能力影响巨大、比数学更难且更偏全局系统工程、作为基准路标几乎永远不会饱和。他在后续回复中再次强调这一判断。
所属事件:Josh Purtell 提议以 Lean 内核改进作为 AGI 基准(2 条相关)→
「漫话AGI」频道最新
- 用 1900 年前数据训练的 LLM 能预测世界大战吗 — dbasch · 2026-10-04
- Nathan Lambert 批 AI 圈风气:恶行指控正在压制正当安全工作 — novasarc01 · 2026-10-04
- AI 写代码正到临界点:有趣合成数据机会增速已超人们的利用能力 — mrjonfinger · 2026-10-04
- 评论人警告:ZIRP 时代文化红利消退,或先于 AI 超级增长到来 — ericwdolan · 2026-10-04
- 老家亲戚不再问装机,改问豆包怎么提分:AI 沉浸下沉实录 — huangyun_122 · 2026-10-04
- tszzl:历史不断加速,如今「每一周都是历史」 — tszzl · 2026-10-04