怀念数学能力能拿IMO金牌的deepseek，谷歌从来不敢让用人真用上金牌模型