AI-assisted math proof sparks fight: critic calls anti-AI 'slop' debates pure virtue signalling
RexDouglass · x · 2026-11-07
Mathematician Elliot Glazer asks anti-AI hardliners what he should have done with his AI-assisted proof that ℤ is Diophantine in ℚ — write it up privately or shelve it? Rex Douglass replies that nobody has a serious theory of 'human slop': the invented distinctions are entertainment and virtue signalling from people who never cared about metascience.
More from Fun
- eigenrobot: I Became a Furry Because of Watership Down, Not Robin Hood — eigenrobot · 2026-11-07
- New Favorite Benchmark: Can AI Debug Your Z-Wave-Saturated Smart Home? — DynamicWebPaige · 2026-11-07
- Robotics startup founder: half the job is just opening boxes — viktor_vrp · 2026-11-07
- Dev mocks apps that shipped 'garbage for a decade' until LLMs could code — ludwigABAP · 2026-11-07
- Infinite self-evolving Backrooms game built on Claude Opus is 'the coolest game experience' — noahsolomon · 2026-11-07
- Dug-up draft: alignment researchers around Eliezer on a bed of broken GPUs — akbirthko · 2026-11-07