Claude 11天证明费马大定理、HydraFusion多模型编排、Token套餐实测、手机遥控Agent、Next-token心智模型
本期五条主线：Claude 用11天将费马大定理写成机器可验证的Lean证明，规模达1300万行代码；GitHub Copilot上线HydraFusion多模型编排机制，按成本自动调度模型；《财经》实测国内外Token套餐发现国产API单价虽低但套餐折算反而更贵；V2EX热议手机远程控制电脑跑Agent方案，Seahelm等集中管理工具涌现；另有一篇HN热文质疑"下一个词预测器"心智模型，探讨LLM能力来源与失败模式的更优解释框架。