几何公理和辅助线相对有限,如果泛化到IMO其他题,估计困难
【 在 nisus 的大作中提到: 】
: 标 题: Google推出AlphaGeometry,数学几何能力接近于IMO金牌选手
: 发信站: 水木社区 (Thu Jan 18 09:33:55 2024), 站内
:
: Google 推出了新的面向数学几何领域的模型 Alpha Geometry,数学几何能力已接近人类奥林匹克金牌选手的水平。
:
: 特别值得一提的是:它的训练是基于合成数据而不是现有的数据。
:
: 它训练的方式很有特别:先初始生成了十亿个随机几何图形,并全面分析了每个图形中点和线的所有关系。AlphaGeometry 找出了每个图形中所有的证明,并反向追溯出为得到这些证明所需添加的额外几何元素(如果有的话)。
:
: 按照谷歌的说法,AlphaGeometry 结合了神经语言模型和符号演绎引擎的优势,形成了一个神经符号系统。这个系统能够共同工作,为复杂的几何定理找到证明。就像“快速思考和慢速思考”理论中所述,一个系统快速提供“直觉”式的想法,而另一个则负责更谨慎、理性的决策。
:
: 来源google官方博客
:
:
:
: --
:
: ※ 来源:·水木社区
http://www.mysmth.net·[FROM: 123.120.168.*]
--
FROM 123.127.249.44