谷歌最强数学推理模型曝光：代号 Mathematica，100 万词元上下文专攻数学难题