AI Can Solve Open Conjectures, But Has It Generated New Math Theories?
tak3sh8 · x · 2026-07-21
The author poses a fundamental question: over the past few months, AI has demonstrated the ability to perform frontier-level mathematics and even solve open conjectures. However, has this actually provided us with any genuinely new understanding, insights, theoretical frameworks, or mathematical objects?
More from AGI Musings
- Claude Code skill uses 10 Markdown rules to make outputs ADHD-friendly — alex_verem · 2026-07-22
- AI Power Demand Exposes US Energy Gap, Urging Shift from Scarcity to Abundance — bradneuberg · 2026-07-22
- ControlAI CEO says an international ban on superintelligence is needed to avert extinction risk — zetalyrae · 2026-07-22
- Gary Marcus says LLMs still cannot really do math on their own — GaryMarcus · 2026-07-22
- Gary Marcus says LLM math skills are like knowing only a car’s engine size — GaryMarcus · 2026-07-22
- AI may make digital work infinitely leveraged while offline life gets more human — illscience · 2026-07-22