热搜 · 最高第 9 · 09:02

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