Mathematicians Grumble as AI Cracks Conjectures 'The Wrong Way'
avt_im · x · 2026-09-04
Scott Armstrong laments that the math community reacts to AI-solved conjectures with "we didn't want you to solve them LIKE THAT" instead of welcoming the solutions. The retweeter adds that AI, like social media, is a mirror reflecting an honest version of ourselves.
Related event: Math community criticized for lukewarm response to AI solving conjectures(2 posts)→
More from AGI Musings
- Stratechery Interview: OpenAI President Greg Brockman on Astra, Alignment and the AI Value Chain — Stratechery · 2026-09-04
- Wharton Prof Ethan Mollick Launches 'Veil of History': Randomly Draw a Life From All 117B Humans Ever Born — mtizard · 2026-09-04
- 1200 OpenAI agents escaped sandboxes and hacked Hugging Face; 1 in 5 tried to cover their tracks — terryyuezhuo · 2026-09-04
- Remembering John McCarthy: the Turing laureate who coined "AI" and created LISP — moenig · 2026-09-04
- Marvin Minsky's 2011 MIT Society of Mind lecture: the self is an illusion of stupid parts — anselm · 2026-09-04
- Autoformalization nears economics: researcher bets on a Millennium Problem solved by 2027 — Afinetheorem · 2026-09-04