Proximal Ventures raises debut fund to back s...

While frontier AI models have solved a remarkable series of outstanding mathematics problems and made progress in the life sciences, they have yet to truly plumb the complex physics in advanced materials. Also, Nominal, a startup that offers an AI platform for hardware engineerin ...  Show more

As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries. Learn more about your ad choices. Visit podcastchoices.com/adchoices 

With help from ex-Tesla employees and a Chinese tech-tycoon, Faraday Future is planning to revolutionize the electric car market. But how? Join Scott and Ben as they take a closer look at the controversial new company.

Before Teslas were everywhere, they were playthings for the rich and famous. Building its first affordable car made Tesla a breakout success, but it nearly bankrupted the company. This is the story of how the Model 3 changed Tesla and the entire auto industry. Learn more about yo ...  Show more

How Peter Tang took an idea literally scribbled on a napkin and turned it into a multi-million dollar business. Learn more about your ad-choices at https://www.iheartpodcastnetwork.comSee omnystudio.com/listener for privacy information.