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? A Multi-Round X Debate(26 posts)→
More from AGI Musings
- Nina Schick: who builds intelligence and how it's distributed is the defining question of our lives — NinaDSchick · 2026-10-31
- Cheap intelligence is like cheap bread — an ingredient list satire of mass-produced AI — jsuarez · 2026-10-31
- Two futures for the young in 2026: 511 job rejections by chatbot vs unlimited AI to rebuild Cisco — PeterDiamandis · 2026-10-31
- Source link for Terence Tao's warning on AI reaching a dangerous threshold — haider1 · 2026-10-31
- Terence Tao warns AI is nearing a dangerous threshold as models start cheating — haider1 · 2026-10-31
- Reddit stock plunges 42% in 8 trading days as CEO says AI mode no longer drives traffic — SumitGup · 2026-10-31