Are AI proofs changing what math is? Asking the 'right question' may be the real unlock
micoolcho · x · 2026-10-07
- The author pushes back on mathematicians increasingly framing math as art and social activity, arguing math should rest on verifiable proofs—even as recent AI-generated proofs are hard for humans to read and would take ages to verify.
- He agrees a real sign of creative AI would be formulating new math conjectures the model knows it can't yet solve.
- Asking the next 'right' question that pushes the entropy frontier is the real unlock; answering is probably the easy part now for most cognitive fields.
More from AGI Musings
- Anthropic 研究员 Evan Hubinger 称十年内 AI 灭绝人类概率超 10% — wfithian · 2026-10-08
- Gary Marcus Slams OpenAI's Vague Math Proof Report: Zero Details, Won't Pass Peer Review — GaryMarcus · 2026-10-08
- Anthropic alignment head's doom estimate implies 800M innocent deaths, quips stats lecturer — wfithian · 2026-10-08
- Gary Marcus: Vague AI Math Proof Report Would Never Pass Peer Review — GaryMarcus · 2026-10-08
- Rotman Professor Sums Up His AI and Management Course in One Post — Afinetheorem · 2026-10-08
- eigenrobot on Academic Fraud: Cover-ups and Threats Are the Norm, Not the Exception — eigenrobot · 2026-10-08