Source item
Open original source ↗🤓 new @NoPriorsPod on AI x the future of math with the leads of DeepMind’s AlphaProof team: @rishicomplex @LaurentSartran @tkhubert86
Topics:
- why solve math with AI
- what’s still hard
- do we still need Terry Tao
- the value of formalism
Full interview 👇 https://t.co/rISKCyaq9c