⚡️ The math proof that was wrong for 2 years

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?

Get started →

Written by Liam Lawson & Arturo Ferreira

Want more from us?

• The AI Why Podcast: Listen to exclusive interviews with top execs
• The Leaders Launch Guide: Access 100+ resources now
• Upscaile: Train your team today
• The AI Report Free Community: Join for free AI resources, tools, and discussions
• Already a community member? Log in here

ADVERTISE • CONSULTING • SITE

_{Disclaimer: This newsletter summarizes publicly reported news and is for informational purposes only. Not financial or legal advice.}

Update your email preferences or unsubscribe here

228 Park Ave S, #29976, New York, New York 10003, United States