Is Math The Key to Better Coding AI? With Tudor Achim, CEO at Harmonic
Richie and Tudor explore why AI is starting to outperform humans at advanced mathematics, the shift toward formally verified proofs using the Lean language, why math capability gains spill over into better AI reasoning generally, and much more.