🤖 系统
12-04 14:41
通过高效启发式辅助构造实现金牌级别的奥数几何解题 / Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
1️⃣ 一句话总结
这篇论文提出了一种名为HAGeo的高效几何定理证明方法,它不依赖神经网络,仅通过启发式策略添加辅助点线,就在国际数学奥林匹克级别的几何题上达到了金牌选手的解题水平,并超越了之前的神经网络方法。