About claims that an AI revolution in mathematics has arrived.
Has this happened?
Yes 89 (65%)Not sure 22 (16%)No 25 (18%)
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 claims that an AI revolution in mathematics has arrived.
Votes cast 1–2 October 2026: 100,590 votes from 9,694 people.
There are several high value prizes for mathematical research. Let me know when an "AI" has earned one of them. Otherwise:
When Ryu asked ChatGPT, “it kept giving me incorrect proofs,” [...] he would check its answers, keep the correct parts, and feed them back into the model
So you had a conversational calculator being operated by an actual domain expert.
With ChatGPT, I felt like I was covering a lot of ground very rapidly
There's no way to convert that feeling into a measurement of any actual value and we happen to know that domain experts are surprisingly easy to fool when outside of their own domains.