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

CHAPTER

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.

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner