An LLM solved a well-known problem outside the speaker’s field
ZainHasan6 · x · 2026-07-20
The quoted comment says this may be the first time an LLM has solved a problem outside the commenter’s own field that was nevertheless widely known enough for him to have heard of it.
The speaker calls it a counterexample to any claim that we are at the “end of mathematics,” but still finds it remarkable that the model reached a result on a problem with broad recognition.
More from AGI Musings
- Benjamin Todd: AI progress beat superforecasters over 18 months — ben_j_todd · 2026-10-26
- AI researchers guessed robots wouldn't outrun humans until 2034 — it already happened — ben_j_todd · 2026-10-26
- AI folks, stop saying "biology" when you mean drug development — KevinKaichuang · 2026-10-26
- ESR on the Bugpocalypse: locking down frontier models only hands the game to Chinese open weights — colinmcnamara · 2026-10-26
- Anthropic: junior tech hires fell from 27% to 9% as agent hours hit 6x employee hours — thione · 2026-10-26
- Anthropic's Jascha: you may have only 1–5 years of intellectual contribution before AGI — GabGarrett · 2026-10-26