About an AI proving Erdős Problem #124 and whether hard math is the right test.
Has this happened?
Yes 43 (35%)Not sure 28 (23%)No 53 (43%)
Votes cast 1–2 October 2026: 100,590 votes from 9,694 people.
Hacker News has set AI a lot of challenges over the years. Which ones has it met?
About an AI proving Erdős Problem #124 and whether hard math is the right test.
Votes cast 1–2 October 2026: 100,590 votes from 9,694 people.
That's interesting, because what I'm looking for from AI is the opposite. Rather than looking to do something humans find hard, I'm more interested in the problems that humans find easy, like driving a car or counting the number of "r"s in a word.
Having it go beyond that to do things that we can't do would be a nice bonus. But given the way AI has been going, I'd say there's a decent chance that it solves a Millennium Prize problem before it solves driving.