AI in 15
An AI just disproved a math conjecture that Paul Erdős posed eighty years ago and that no human ever cracked. It wasn't a math-specialized system. It wasn't being supervised. And the panel of mathematicians who checked the proof includes the same guy who publicly tore OpenAI's last math claim to shreds seven months ago.
50 episodes
Comments
0Be the first to comment
Sign up now and become a member of the AI in 15 community!