tszzl：ML 可验证子问题仍需昂贵的 GPU 实验才能产出数字

tszzl 认为，ML 中部分子问题具有较高可验证性，但取得可验证数字仍需在 GPU 上开展昂贵实验。他并非否定 AI 研究自动化的增益，而是指出验证环节的自动化程度受实验算力成本限制。