Erdos problems
1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement Jan 10, 2026 by Vlad Tenev · across every show →
Everything said about Erdos problems, oldest first
Jan 10, 2026 bullish
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.”