“Coding is 90–95% solved,” but math still looks open-ended
haider1 · x · 2026-07-26
The author argues that coding is already 90–95% solved, but math still has open-ended headroom.
The key claim is that while software engineering has become much easier to automate, mathematics may keep yielding new, harder problems—and progress there now feels more reachable than it did five years ago.
More from AGI Musings
- Elon Musk says civilizations die when they lose faith in the future — elonmusk · 2026-07-26
- AI conjecture hunting could clear out many solvable math problems first — anderssandberg · 2026-07-26
- Zachary Lipton backs making model distillation fair game for US companies — zacharylipton · 2026-07-26
- Chamath says open-source AI cannot be dumped, and China’s real edge is electricity — joshua_saxe · 2026-07-26
- Schmidhuber backs open-source model distillation and cites his 1991 work — SchmidhuberAI · 2026-07-26
- Programming Languages Becoming Computer-to-Computer Communication, Researcher Notes — eptwts · 2026-07-26