文峰的项目有一种独特的普罗米修斯式的氛围。 在DS-MoE之前，只有前沿阵地才能提高效率。 在 DS-Math/Prover 出现之前，只有 Frontier 可以进行真正的数学运算。 在 DS-Prover V2 之前，只有 Frontier 能够达到 Putnam 等级。 在DS-Math V2之前，只有Frontier能够获得IMO Gold……
这就是为什么我不认为他们会是第一个实现“通用人工智能”（AGI）的人，但他们很可能是第一个将其开源的人。只要给他们一些时间，他们就能用极少的预算复制任何东西。从那些绝对不是神的人那里窃取火种的行为将会持续下去，直到人类的自主能力得到提升。
这有点令人惋惜。他们与谷歌和OpenAI所设定的概念极限竞争。然后，所有人都与他们竞争，勉强攀升到更高的高度，发表论文，最终使HF KPI达到饱和。我敢打赌，字节跳动很快就能在Putnam-2024上取得119/120的成绩。 这就是凡人勇士的命运。
