AI models are starting to crack high-level math problems
TechCrunch Industry News
00:00
Erdos problems as AI proving ground
Unknown Speaker outlines how Erdos's list of conjectures is being targeted by models like Alpha Evolve and GPT 5.2.
Play episode from 03:16
Transcript
