无神经网络几何解题突破!HAGeo算法击败AlphaGeometry夺得IMO金牌级性能

14小时前 高效码农

几何奥林匹克竞赛金牌级解题:高效启发式辅助构造的突破 本文核心问题:如何在不依赖神经网络和GPU资源的情况下,实现国际数学奥林匹克竞赛级别的几何问题自动求解能力? 几何定理自动证明是人工智能领域的长期 …

突发:IMO2025最难第五题仅2大模型全对,AI推理能力暴露出致命短板?

4个月前 高效码农

2025 国际数学奥林匹克大模型答卷实录:谁把最难的第五题做对了? IMO 2025 考场一角 每年盛夏,国际数学奥林匹克(IMO)都会吸引全球目光。2025 年也不例外,六道题目再次让无数数学爱好者 …