InternThinker-32B

大语言模型智能体InternGeometry达到奥赛级几何问题解决能力

研究人员开发了InternGeometry，一个能够解决国际数学奥林匹克（IMO）级别几何问题的LLM智能体。该智能体通过迭代地提出辅助构造、使用符号引擎进行验证以及从反馈中学习，克服了在提出辅助构造方面的局限性。InternGeometry在2000-2024年的IMO几何问题上取得了50分中的44分，超过了金牌选手的平均得分，并且比AlphaGeometry 2等之前的专家模型使用了显著更少量的训练数据。