Nathan Labenz on FrontierMath Saturation and AI Paths · Digg