A YC startup is putting $1M behind 5 unsolved...

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 

Following years of fundraising, acquisitions, and expansion, food delivery startup Wonder is moving closer to becoming a publicly traded company. Also, the Los Angeles-based startup has now raised more than $650 million, and is working on electric trucks, emergency vehicles, and ...  Show more

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.