Hard Fork AI cover image

AI: Hard Fork in Mathematics

Hard Fork AI

00:00

ChatGPT Solves an Unsolved Problem

Jaeden recounts Neil Somani using ChatGPT to solve a long unsolved problem that passed automated verification.

Play episode from 04:22
Transcript

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