
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

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