热搜 · 最高第 9 · 10:02

What mathematicians should know about the Lean Theorem Prover: reliability & AI