Turning Math Into Code Is Nearly Done — The Real Impact Comes From Turning Code Into Math
jfischoff · x · 2026-09-06
Tunguz argues that converting all math into code is almost done, but the real impact will come when we turn all code into math—i.e., formally verified, provably correct software. jfischoff amplified the take.
More from AGI Musings
- Forecasting 1,000 years out is 'a complete waste of time': a debate on longtermist rationalists — binarybits · 2026-09-06
- Claude Code creator: companies using AI as a side tool see no productivity gains, says Boris Cherny — rohanpaul_ai · 2026-09-06
- Ethan Mollick: we're losing empirical visibility into agentic-era work — emollick · 2026-09-06
- Data center spend jumps $25B in six months as construction hiring rebounds — a16z · 2026-09-06
- Ex-OpenAI VP Miles Brundage: no AI company holds an enduring significant lead — AdrienLE · 2026-09-06
- The Economist: The moral panic over data centres is foolish — andsoitis · 2026-09-06