谷歌全新大模型，能解奥数题

谷歌推出了新的面向数学几何领域的模型 Alpha Geometry，数学几何能力已接近人类奥林匹克金牌选手的水平。

值得一提的是，它的训练是基于合成数据而不是现有的数据。

按照谷歌的说法，AlphaGeometry 结合了神经语言模型和符号演绎引擎的优势，形成了一个神经符号系统。

这个系统能够共同工作，为复杂的几何定理找到证明。就像「快速思考和慢速思考」理论所描述的一样，一个系统快速提供「直觉」式的想法，而另一个则负责更谨慎、理性的决策。

这项新技术会为未来人工智能的发展，尤其是对于解决大语言模型幻觉和语料不足的问题提供新的思路。

文章来源：爱范儿     作者：肖凡博