Next.js Hacker News
Terence Tao: Formalizing a proof in Lean using Claude Code [video]
35 points by helloplanets 7 hours ago | discuss