Hey
AI hallucinations aren't the problem; not being able to verify them is.
Tudor Achim, co-founder of Harmonic, on building Aristotle (IMO gold medalist), why math is shifting from English proofs to machine-verified code for the first time in 4,000 years, and why he doesn't think AI should ever grade its own homework.
Also available on Spotify & Apple Podcasts.
Are you ready to launch AI transformation for your company?