谷歌DeepMind能以人类金牌水平解决几何题 AI如何解决奥数

当地时间1月17号，谷歌人工智能开发机构推出一款叫做阿尔法几何的AI系统，以解决国际数学奥林匹克竞赛中存在的各项问题。官方的消息显示，这款AI系统代表“人类水平自动化推理的显著里程碑”。这款AI系统擅长以“直觉”的神经网络语言模型去解决问题，建立在符号操作的基础上，也会更快速地解决实际问题。 神经网络与符号系统的结合
阿尔法几何AI系统，是在人们的大量训练下形成的。在训练时，也要面对来自几何问题的独特挑战。谷歌DeepMind对此有独特的解决方案，比如在设计模型的时候，工作人员把“神经语言”与“符号演绎引擎”进行配对，从而推断出问题的实际解决方案。从常规来说，符号引擎是进度缓慢的，但是DeepMind以神经模型进行引导，便可以加快推演引擎找到给定几何问题答案的速度，实现更快地解决问题。
谷歌DeepMind还形成了自己的合成数据，这样合成不同的证明，都能解决点、线、圆等方面的问题，还能对图表进行推论，解决的速度是比较快的。 AI对奥数问题的解决
从上个世纪50年代开始，AI的定理证明能力，便一直被认为是值得研究的话题。国际数学奥林匹克竞赛的抽象数学概念，以及数学理论知识，也十分符合AI的设计原理与运作方式。 有研究证实，如果AI被事先编入已经设计好的程序，那么AI甚至不需要训练，自主就能解决复杂问题，其重点就在于神经语言模型的建构，该模型在处理极具挑战性的问题时，能够做出快速反应和精准推理，这种推理方法，是快速解决问题的关键，也是科学家为之奋斗的目标。