AlphaGeometry:不靠人类证明解奥赛几何
AlphaGeometry 用语言模型加符号引擎,在 1 亿条合成定理上从零训练,30 道奥赛几何题解出 25 道,而此前最强方法只有 10 道。
机构
New York University
在计算机科学、数学与 AI 研究上具有强实力的研究型大学。
机构
在计算机科学、数学与 AI 研究上具有强实力的研究型大学。
AlphaGeometry 用语言模型加符号引擎,在 1 亿条合成定理上从零训练,30 道奥赛几何题解出 25 道,而此前最强方法只有 10 道。