谷歌

谷歌推出专门从事数学推理的AlphaProof模型

人工智能模型的改进版，称其能够解开国际数学奥林匹克竞赛过去25年所有几何题中的83%。