Eric Xing on AI cracking math proofs: real lovers can still open new routes
YiMaTweets · x · 2026-09-13
Eric Xing argues that if you truly love math rather than its glory, you can still explore problems your own way even when AI brute-forces a solution—invent new methods and paradigms, as mountaineers take pride in opening new routes. He notes AlphaFold solving protein structure prediction caused no outcry. Yi Ma adds that automating mechanical programming and mathematical deduction is good long-term, freeing people to solve real scientific and technological problems.
Related event: After AI Solves Math, What's Left for Humans? X Users Debate(23 posts)→
More from AGI Musings
- Dario Amodei pens essay urging AI industry to slow down, Anthropic opens permanent third-party access — AaronBergman18 · 2026-09-13
- Guardian podcast examines "AI psychosis" among chatbot true believers — nordicinst · 2026-09-13
- tszzl: models aren't autonomously producing research ideas — RSI is not here yet — i_dg23 · 2026-09-13
- Why pure commercial incentives will force frontier AI labs to slow down — scottleibrand · 2026-09-13
- Reddit essay warns RSI race without interpretability is AI's biggest existential risk — Glittering-Neck-2505 · 2026-09-13
- repligate Reposts 'Target Fixation' Wikipedia Entry in AI Context — repligate · 2026-09-13