视频目录 / 几何与三角

热度排名 #1668

拆解 AlphaGeometry 的一道几何证明

AI Can Do Maths Now, and it's Wild

跟着作者逐句读证明，标出哪一步添了辅助构造，哪一步用了几何关系。这样可以具体看出系统是怎样把初始条件接到结论的。

Another Roof · 1 串讨论 · 热度 1.723

在此播放

讨论出处

• Hacker News · 原讨论 ↗2024-03-18 · 帖子分数 2