Math debate follow-up: burden of proof lies with whoever makes the claim
_onionesque · x · 2026-10-13
Follow-up in the X debate on human math's relevance in the AI era: onionesque clarifies he isn't claiming any 'right' for the math community — the point is simply that whoever makes a claim should prove it.
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