AI proof helpers still trace the conceptual hull mathematicians built over centuries
_onionesque · x · 2026-10-07
The author sees near-term value in "de-slopifying" existing proofs or proof attempts, no matter how ugly, and medium-term value in making it easier to build theories across areas once blocked by specialization. But he remains unsatisfied: both uses still operate only within the conceptual ("geological") work mathematicians have done over centuries, merely tracing the convex hull more completely.
Related event: Mathematician argues AI can 'strip mine' well-developed areas of math(7 posts)→
More from AGI Musings
- Huawei projects 900 billion active AI agents by 2035 — implying $90T of GDP at just $100 each — robleclerc · 2026-10-07
- Europe's AI gap is compute: infrastructure moves in years while AI moves in months — ingliguori · 2026-10-07
- 'Big Short' Investor Steve Eisman Explains How the AI Bubble Will Burst — 233C · 2026-10-07
- Professor decries universities force-feeding AI assignments to students who just want to read books — Tyler_A_Harper · 2026-10-07
- If AI Can End Civilization, Can't It Also Defend It? A Reddit Debate on AI Offense vs Defense — scottimous · 2026-10-07
- €1M grant to study 'adaptive reframing' — when intelligence means rethinking the problem itself — ValerioCapraro · 2026-10-07