A Critical Look at Lean4
🔥Hacker News2026-10-12
域名
lesswrong.com
4 条相关内容
On social reality in China
🔥Hacker News2026-10-02
Pacing the Frontier is not the actual goal for AI labs
🔥Hacker News2026-09-28
Astra and Fable still hack on simple variants of alignment evals from 2025
🔥Hacker News2026-09-13