Josh Purtell 补充：Lean 内核改进也属顶级 AGI 基准候选
JoshPurtell · x · 2026-10-04
JoshPurtell 在此前关于 Lean 内核作为 AGI 基准优于数学的讨论中补充一句：改进 Lean 内核本身也排在最值得做的事项之列。内容与前一推同属一条讨论线。
所属事件: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