多款前沿模型靠细致提示解出分布式系统难题

_xjdr · x · 2026-07-27

作者先是在陶哲轩的聊天记录里看到他用 Sol Med 处理复杂问题，于是拿自己一个一直放在「AI 还做不了」清单里的分布式系统难题做测试。

结果在足够细致的提示和耐心下，Sol High、Opus 5、K3、GLM 5.2、Gemini Flash 3.6、Muse 1.1、Grok 4.5 都能在没有任何上下文提示的情况下，给出几乎与原始解法一致的答案。作者的结论是：这件事显著改变了他对「该用哪个模型、以及提示要下多大功夫」的判断。