Gradient Dissent: Conversations on AI cover image

Bridging AI and Science: The Impact of Machine Learning on Material Innovation with Joe Spisak of Meta

Gradient Dissent: Conversations on AI

00:00

Building Foundation Models and AI Guided Formal Mathematics

The chapter explores the speakers' involvement in building foundation models and the development of AI guided formal mathematics. They discuss the motivations behind releasing these models and the benefits of open-source collaboration.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app