Josh Purtell 提议以 Lean 内核改进作为 AGI 基准

Josh Purtell 在 X 上与 @sethtjf、@doodlestein 讨论时提出，改进 Lean 这种形式化验证系统的内核，甚至比数学难题更适合作为 AGI 基准。他随后补充称，改进 Lean 内核本身也位列最值得做的事项之中。两条帖子属同一讨论线，核心观点是 Lean 内核改进兼具评测 AGI 能力与自身价值双重意义。

2026-10-04 ~ 2026-10-04 · 2 条相关