Six unsolved CS branches senior engineers should still study, from formal verification to interpretability
JosephJacks_ · x · 2026-10-30
Retweeting @raminmh's list of still-unsolved CS branches worth studying even for senior engineers/scientists:
- Scaled formal methods & verification
- Autonomous multi-agent systems
- Game theory
- Distributed systems
- Interpretability of large AI systems
- Human-AI interaction
Plus a parting suggestion to play some chess, go, and poker.
More from AGI Musings
- Zeb Anderson on AI access: as broad as possible, with different boundaries for children — sierracatalina · 2026-10-30
- VC takes: the biggest moats right now are philosophy, people skills, and defense tech — moonsandhues · 2026-10-30
- Is sycophantic AI inflating research publications? Two mechanisms worth questioning — KLdivergence · 2026-10-30
- DeepMind launches AGI economics research program with "The Economics of Intelligence" — soumitrashukla9 · 2026-10-30
- ML veteran Pedro Domingos works in the field labs most want to automate — and feels zero threat — pmddomingos · 2026-10-30
- Essay critiques Anthropic: making machines moral treats faith as a technology — floguo · 2026-10-30