研究人员开发了InternGeometry,一个能够解决国际数学奥林匹克(IMO)级别几何问题的LLM智能体。该智能体通过迭代地提出辅助构造、使用符号引擎进行验证以及从反馈中学习,克服了在提出辅助构造方面的局限性。InternGeometry在2000-2024年的IMO几何问题上取得了50分中的44分,超过了金牌选手的平均得分,并且比AlphaGeometry 2等之前的专家模型使用了显著更少量的训练数据。 AI
影响 展示了LLM智能体能够以显著更少的数据在专业、复杂的任务上达到专家级性能。
排序理由 该集群描述了一篇研究论文,详细介绍了一种LLM智能体解决复杂几何问题的新方法。[lever_c_demoted from research: ic=1 ai=1.0]
- AlphaGeometry 2
- arXiv
- Complexity-Boosting Reinforcement Learning
- Haiteng Zhao
- Hugging Face
- International Mathematical Olympiad
- InternGeometry
- InternThinker-32B
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →