传谷歌打造 Mathematica 实验 AI 模型,专攻数学难题