- 主题:Google推出Alpha Geometry，数学几何能力已接近人类奥赛选手 (
昨天夜里看了这篇paper,他们选择题目的限制还挺大的,只能是纯粹的平面几何,并且排除了所有包含不等式的命题,以及组合几何,我猜是太难没搞定...
【 在 harrycheng 的大作中提到: 】
: 【 以下文字转载自 NewExpress 讨论区 】
: 发信人: topgenius (87.53%), 信区: NewExpress
: 标 题: Google推出Alpha Geometry，数学几何能力已接近人类奥赛选手
: ...................
--
FROM 61.149.73.24
正确性是通过交互式证明工具来保证的,大概过程就是用神经网络去猜测一个新结论,然后让这个外部的验证器来确定猜得对不对,直到达成最终目标..所以没做出来的题目属于没有在有限次数内找到路线的
【 在 vinbo 的大作中提到: 】
: 可以了，一步步来吧。
: 他们现在的方法可以保证证明准确性吗？
--
FROM 61.149.73.24
他们没有用解析几何的算法,比较像初中的那种纯碎用逻辑推理
【 在 Haken1 的大作中提到: 】
: 你意思就只能整个解析几何呗？
--
FROM 61.149.73.24
应该不行,他们的transformer是专门针对平面几何题优化的
【 在 Haken1 的大作中提到: 】
: 能解决那种跨领域的题么，类似代数拓扑那种，或由几何转换到代数的那种题能解么
--
FROM 61.149.73.24