Storia: How a Futurama writer’s plot problem led to a totally new math proof — Warptech Lab News