X debate: does human math still matter when AI can prove theorems?
_onionesque · x · 2026-10-13
onionesque argued that burden of proof lies with whoever makes a claim, and math problems derive legitimacy from their place in centuries of accumulated mathematical structure — pushing back on the view that the math community must justify its relevance as funders question human math in the AI era.
Related event: Mathematicians Clash Over Human Math's Relevance in AI Era(4 posts)→
More from AGI Musings
- Preference training may only rewrite final layers, with alignment and welfare implications — Sauers_ · 2026-10-13
- LessWrong: No publicly available consistency proof exists for Lean4 — MoonL88537 · 2026-10-13
- AI sales agents push cold email reply rates from 5.1% in 2024 down to 3.43% — mickeyxfriedman · 2026-10-13
- OpenAI's latest blow to mathematicians: 'They have annihilated my field' — ThereWas · 2026-10-13
- repligate: Houseki no Kuni is the most 'Claude-coded' manga — repligate · 2026-10-13
- Code no longer needs hand-chiseling, but products still do — msg · 2026-10-13