Researcher jokes his AI dream went backwards: proving theorems while agents do chores
NicoloCB · x · 2026-10-07
A researcher quips that his dream was always to prove beautiful theorems while AI agents unloaded his dishwasher — and it went the wrong way instead.