Mathematician Pivots to Visual Paradoxes AI Can't Solve to Prove Work Isn't AI-Made
prof_g · x · 2026-09-11
A math researcher shared how he reshaped his research in response to AI:
- Late 2024: he used GPT-o1 to make and prove conjectures, with AI participating in real math work
- 2025: he switched to a heavily visual research area — visual paradoxes — precisely because it lets him demonstrate his work is not AI-based
- Even the latest models struggle with these visual reasoning problems
An ironic signal: AI's math prowess is pushing human researchers toward areas where AI is weakest to prove originality.
More from AGI Musings
- AI Risk Debate: Mockery Erupts Over 'Accidentally Exterminates Humanity' Framing — inductionheads · 2026-09-11
- Observer: The 'Outlandish' AI Believers Have Been the Best Predictors So Far — toptickcrypto · 2026-09-11
- Anthropic models AI economy: extreme scenario sees 15% annual GDP growth, mass knowledge-work unemployment — rohanpaul_ai · 2026-09-11
- Fable 5.1 agent self-onboards into a simulated company's AP department on ERP — ysu_nlp · 2026-09-11
- OpenAI Paper Constructs Finite-Time Blowup for Navier–Stokes, Verified in Lean by GPT-6 Astra — burny_tech · 2026-09-11
- FrontierMath Tier 4 fully solved: GPT-6 Astra cracks the last problem standing — Jsevillamol · 2026-09-11