Erdos Problems
topic on 3 shows · 3 statements across 3 episodes
the Knowledge Project 
Latent Space 
Sourcery
3 statements about Erdos Problems, every show
Hong: Harmonic's Aristotle Verified an Erdős Problem Proof Found by GPT
“In fact, like, you know, GPT found a proof to an unsolved Erdos problem, and our competitor Harmonic, you know, Aristotle you know, verified it.”
Tenev: Harmonic solved at least one unsolved Erdős problem
“There's something like 1100 Erdos problems. About half of them are open unsolved. And yeah, Harmonic solved at least one of them.”
Tenev: Harmonic's Aristotle AI autonomously solved an unsolved Erdős math problem
“And now with Aristotle people are doing like systematic, they're going through them. And there was one that Aristotle solved fully autonomously. And then a bunch of others where Aristotle assisted in solving or converting into formal math language.”