About whether GPT is useful for high-level math, given Terence Tao's experiments.
Has this happened?
Yes 91 (66%)Not sure 23 (17%)No 23 (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 GPT is useful for high-level math, given Terence Tao's experiments.
Votes cast 1–2 October 2026: 100,590 votes from 9,694 people.
If it could be solved with a Math Overflow-post level of effort, even from Terence Tao, it isn't what I was talking about as "high level math".
I also am not surprised by "Consider a generation function" coming out of an LLM. I am talking about a system that could solve that problem, entirely, as doing high level math. A system that can emit "have you considered using wood?" is not a system that can build a house autonomously.
It especially won't seem all that useful next to the generation of AIs I anticipate to be coming which use LLMs as a component to understand the world but are not just big LLMs.