- 主题:Google推出AlphaGeometry，数学几何能力接近于IMO金牌选手
这和围棋战胜人类的思路类似啊
感官直觉收缩范畴+硬算
【 在 nisus 的大作中提到: 】
: Google 推出了新的面向数学几何领域的模型 Alpha Geometry，数学几何能力已接近人类奥林匹克金牌选手的水平。
: 特别值得一提的是：它的训练是基于合成数据而不是现有的数据。
: 它训练的方式很有特别：先初始生成了十亿个随机几何图形，并全面分析了每个图形中点和线的所有关系。AlphaGeometry 找出了每个图形中所有的证明，并反向追溯出为得到这些证明所需添加的额外几何元素（如果有的话）。
: ...................
--
FROM 202.160.158.*
可以学习的，同一范畴人类最强者只能赢它一次。
【 在 D600 的大作中提到: 】
: 几何公理和辅助线相对有限，如果泛化到IMO其他题，估计困难
--
FROM 202.160.158.*
机器唯一的缺陷就是没有创新，因为没有灵魂，没有欲望，需要人类设定目标。照现在趋势，工科都会被AI替换掉。
【 在 D600 的大作中提到: 】
: 就是多智能体强化学习吗，一样的不可解释。人可不是完全靠试错来推理问题的
--
FROM 202.160.158.*
娃妈国家要跟进啊，有可能产生新的工业革命。
【 在 nisus 的大作中提到: 】
: 就是搞围棋的deepmind团队搞的.
--
FROM 202.160.158.*