A vision for the next decade: lunar robots, government AI and new kinds of farming

In an October 2026 post, a writer lays out 11 developments they expect over the next decade. They foresee robots building lunar habitats before people arrive, AI improving some state and local services, and autonomy making labor-intensive crops more economical. They also predict AI will speed the application of mathematical discoveries and become adept at writing Lean, a language used to verify proofs.