About whether AI is anywhere near human thinking, and whether to fear it.
Has this happened?
Yes 69 (58%)Not sure 29 (25%)No 20 (17%)
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 whether AI is anywhere near human thinking, and whether to fear it.
Votes cast 1–2 October 2026: 100,590 votes from 9,694 people.
Point is you could do it if you really wanted to learn enough complex analysis to understand the theorem and its proof. AI progress is impressive but it's nowhere near anything people can do when they sit down to think about stuff.
I don't fear the AI overlords. If they start proving new theorems then I will learn from them, same way Magnus Carlson learned to be the best human chess player by practicing with chess AI.
More generally, AI can extend human planning horizons and extending planning horizons is, in my opinion, a very good thing. The more computations we can do that extend further out in time and the more widespread this capability the better decisions we can make as individuals and as a society.