这和围棋战胜人类的思路类似啊
感官直觉收缩范畴+硬算
【 在 nisus 的大作中提到: 】
: Google 推出了新的面向数学几何领域的模型 Alpha Geometry，数学几何能力已接近人类奥林匹克金牌选手的水平。
: 特别值得一提的是：它的训练是基于合成数据而不是现有的数据。
: 它训练的方式很有特别：先初始生成了十亿个随机几何图形，并全面分析了每个图形中点和线的所有关系。AlphaGeometry 找出了每个图形中所有的证明，并反向追溯出为得到这些证明所需添加的额外几何元素（如果有的话）。
: ...................
--
FROM 202.160.158.*