Google推出Alpha Geometry，数学几何能力已接近人类奥赛选手 (

水木社区手机版

主题:Google推出Alpha Geometry，数学几何能力已接近人类奥赛选手 (
2楼|vinbo|2024-01-18 14:24:11|展开
可以了，一步步来吧。
他们现在的方法可以保证证明准确性吗？

【在 annals 的大作中提到: 】
: 昨天夜里看了这篇paper,他们选择题目的限制还挺大的,只能是纯粹的平面几何,并且排除了所有包含不等式的命题,以及组合几何,我猜是太难没搞定...
:
--
FROM 202.120.11.*
4楼|vinbo|2024-01-18 14:32:32|展开
我以为是给题直接出证明。。。

【在 annals 的大作中提到: 】
: 正确性是通过交互式证明工具来保证的,大概过程就是用神经网络去猜测一个新结论,然后让这个外部的验证器来确定猜得对不对,直到达成最终目标..所以没做出来的题目属于没有在有限次数内找到路线的
:
--
FROM 202.120.11.*

BYR-Team©2010. KBS Dev-Team©2011 登录完整版