Goalposts

Hacker News has set AI a lot of challenges over the years. Which ones has it met?

2023 Marchcamjohnson26

About whether GPT-4 getting good at math should worry people more than its exam scores do.

I wouldn’t be at all surprised if an LLM was many times better than a human at math, even devising new axioms and building a complete formal system from scratch would be impressive, but not game changing. These LLMs are very good at dealing with formal, structured systems, but not with in formalized systems like what humans deal with everyday.

An LLM comes up with new axioms and builds a complete formal system from scratch.

Has this happened?

Yes 26 (23%)Not sure 37 (33%)No 48 (43%)

Votes cast 1–2 October 2026: 100,590 votes from 9,694 people.