- 主题:Google推出AlphaGeometry，数学几何能力接近于IMO金牌选手
Google 推出了新的面向数学几何领域的模型 Alpha Geometry，数学几何能力已接近人类奥林匹克金牌选手的水平。
特别值得一提的是：它的训练是基于合成数据而不是现有的数据。
它训练的方式很有特别：先初始生成了十亿个随机几何图形，并全面分析了每个图形中点和线的所有关系。AlphaGeometry 找出了每个图形中所有的证明，并反向追溯出为得到这些证明所需添加的额外几何元素（如果有的话）。
按照谷歌的说法，AlphaGeometry 结合了神经语言模型和符号演绎引擎的优势，形成了一个神经符号系统。这个系统能够共同工作，为复杂的几何定理找到证明。就像“快速思考和慢速思考”理论中所述，一个系统快速提供“直觉”式的想法，而另一个则负责更谨慎、理性的决策。
来源google官方博客
--
FROM 123.120.168.*
看博客说明感觉还是很有区别的
AI是学习式样的。
例如新题 从来没见过的 数据库以前没有过的
他也能解出来 。就是通过学习的模型能大批量的推出各种可能的路径… 这么看起来的确有点类似于人做题.
跟作业帮搜题完全是两个概念. 大数据题库没有就傻眼了.
【 在 Thulium (铥) 的大作中提到: 】
: 现在的AI和之前的大数据没有本质区别？
:
: 【 在 D600 的大作中提到: 】
: : 标 题: Re: Google推出AlphaGeometry，数学几何能力接近于IMO金牌选手
--
FROM 123.120.168.*
就是搞围棋的deepmind团队搞的.
【 在 scubawh (scubawh) 的大作中提到: 】
: 这和围棋战胜人类的思路类似啊
: 感官直觉收缩范畴+硬算
: 【 在 nisus 的大作中提到: 】
: : Google 推出了新的面向数学几何领域的模型 Alpha Geometry，数学几何能力已接近人类奥林匹克金牌选手的水平。
--
FROM 123.120.168.*