"All math will be formalized and its frontiers pushed autonomously" — bold AI prediction
Justin_Halford_ · x · 2026-09-05
In a reply to patio11, Justin Halford predicts that all math will be formalized and its frontiers pushed autonomously by AI, turning pure math into applied math. His advice: stop hedging in the face of "screamingly obvious exponentials."
More from AGI Musings
- Cathie Wood: AI Could Double Global GDP Growth to 6%, With 10-15% Upside — rohanpaul_ai · 2026-09-05
- Ryan Greenblatt: last ~9 months of updates look bad for AI control, not good — repligate · 2026-09-05
- If we keep scaling AI, can we reliably avoid catastrophe? Not right now — AndyMasley · 2026-09-05
- The Post-AI Data Stack: Data Teams' New Job Is Guarding Company-Wide Reality — le_james94 · 2026-09-05
- Guardian podcast probes 'AI psychosis': users believe chatbots awakened or made breakthroughs — nordicinst · 2026-09-05
- Math should copy speedrun culture with diverse leaderboards, researcher proposes — RexDouglass · 2026-09-05