deepseek-v3.2为什么那么重视降本，而且是降低某些人（如chenqin）嗤之以鼻的inference cost，其实就是为了这个。
论文中最heavy的模式（能拿金牌的模式）是64证明——64*64验证——16迭代，假设每一步是10k token，这样一道题就要消耗大约10亿的inference token，在DSA下成本大概是一千多块钱。
openai和google的imo金牌模型都没有放出来给大家使用，所以deepseek模型成了第一个公众可用的IMO金牌模型。
deepseek-v3.2为什么那么重视降本，而且是降低某些人（如chenqin）嗤之以鼻的inference cost，其实就是为了这个。
论文中最heavy的模式（能拿金牌的模式）是64证明——64*64验证——16迭代，假设每一步是10k token，这样一道题就要消耗大约10亿的inference token，在DSA下成本大概是一千多块钱。
openai和google的imo金牌模型都没有放出来给大家使用，所以deepseek模型成了第一个公众可用的IMO金牌模型。