Academics adopting AI formalization

Unknown Speaker quotes Harmonix founder Tutor Akeem noting top mathematicians now use AI tools like Aristotle and ChatGPT.

Play episode from 04:38

Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!