There's a direct line from terminal agents with Bash tools to Millennium Problems
ctjlewis · x · 2026-09-09
Developer ctjlewis argues there is a direct through line from giving models a terminal with simple Bash, Read and Edit tools to eventually solving the Millennium Prize Problems like RH and Navier-Stokes. He had earlier estimated roughly a 50% chance of a solve in 2025 and about 80% by 2026.
More from AGI Musings
- OpenAI reportedly spent $15M in tokens on Navier-Stokes proof, and it was worth it — bindureddy · 2026-09-09
- On why evolution produced consciousness: intelligence as the plausible intermediary — jessi_cata · 2026-09-09
- Neal Stephenson has written by fountain pen for 25 years — Baroque Cycle manuscript stood 42 inches tall — ashishkr9311 · 2026-09-09
- Jeff Ladish clarifies: he means intellectual siloing, not just time on Twitter — JeffLadish · 2026-09-09
- Jeff Ladish: researchers building superintelligence being intellectually siloed is extremely risky — JeffLadish · 2026-09-09
- Why aren't you part of a system optimizing for subjective experience? An AI-consciousness argument thread — jessi_cata · 2026-09-09