LLMs exposing how much of mathematics runs on polite applause
prasanna_says · x · 2026-07-24
When an LLM proves a random conjecture, mathematicians end up in an awkward spot: saying the conjecture was never especially important or meaningful sounds reasonable, but it also raises an uncomfortable question about why that line was never said when humans were proving similar results.
The post frames this as a funny, meta reaction to AI entering mathematics—less about the specific theorem and more about the social norms around what counts as interesting math.
Related event: AI's Impact on Math: Verification, Value, and Education(10 posts)→
More from AGI Musings
- The Best University of 2030 Will Have No Professors, Lectures or Exams, Says Predictions Post — nick_linck · 2026-10-27
- Amazon's agent crackdown sparks debate: model personas caught in platform arms race — JeffLadish · 2026-10-27
- Dev pushes back on Hinton's AI warnings: his work predates the Transformer era — gerardsans · 2026-10-27
- Microsoft's reported 60,000 voluntary exits spark essay asking who AI is really for — _jaydeepkarale · 2026-10-27
- Goodharting Isn't Just Fooling Others: How Metrics Confuse Yourself Too — davidmanheim · 2026-10-27
- PHP2Shell exploits confirmed in the wild, attackers may use agentic AI for post-exploitation — AravSrinivas · 2026-10-27