Video

Unknown · 0:00

Mathematician Yang-Hui He (London Institute for Mathematical Sciences) says AI-guided mathematics is moving so fast that he checks progress weekly. He argues that Lean/Mathlib verification is what makes AI proofs trus...

Read the full summary on tuber