在传统解法中，人类参赛者通常会借助三角函数、复数或其他计算方法来求解。而对于AlphaGeometry而言，其DDAR系统仅依靠基本的角度关系推导和比例关系推导，因此需要引入一些辅助点的构造。

一年前，由谷歌 DeepMind 创建的 AI 数学模型 AlphaGeometry 在国际数学奥林匹克竞赛（IMO，International Mathematical Olympiad）中展现出比肩真人银牌得主的水平。近日，DeepMind 正式推出 AlphaGeometry2，它在 IMO 中达到真人金牌得主的水平，并能解决 21 世纪以来 25 届 IMO 全部几何问题的 84%。而 A ...

IMO是面向全球200多个国家，最顶尖高中生，所举办的最有影响力的数学竞赛。这项竞赛要求参赛选手对代数、数论、几何、组合四项类型的问题有深刻的理解。其中，几何学问题，又常常因为其优美的图形性质，受到众多参赛选手和数学爱好者们的热议。

该系统名为“AlphaGeometry2”（AG2），是一个先进的人工智能框架，能够解决国际数学奥林匹克竞赛（IMO）中84%的几何问题。而国际数学奥林匹克人类金牌得主平均只解决了81.8%的奥林匹克问题。

在最新的一篇论文中，谷歌 DeepMind 介绍了全新进化的 AlphaGeometry 2，该系统在解决奥林匹克几何问题方面已经超过了金牌得主的平均水准。 国际奥林匹克数学竞赛（IMO）是一项面向全球高中生的著名数学竞赛。IMO 问题以难度大著称，解决这些问题需要对数学概念有深刻理解，并能创造性地应用这些概念。几何是 IMO ...

AlphaGeometry2 论文发布，在总共50道题中完成了42道，相比去年的一代多完成了15道。 作为对比，纯语言模型OpenAI o1和Gemini Flash Thinking一道都解决不了。 Nature发文评价：DeepMind AI粉碎了数学难题，达到金牌得主水平，与顶级人类选手相当。 如图所示，这道题要求证明∠KIL和∠XPY的合等于180°（蓝色表示）。

国际海事组织（IMO）第112届法律委员会（LEG）将于3月24日在英国伦敦召开，南京海事局主导撰写的提案《关于删除GISIS系统中错误数据的建议》已成功提交至国际海事组织。此次撰写的提案建议IMO删除“GISIS假旗船舶数据”系统中关于中国船东的错误数据。船舶欺诈性登记是一种严重违法行为，被错误标记为欺诈性登记船舶对所属 ...

证券之星消息，根据天眼查APP于2月16日公布的信息整理，深圳默达生物科技有限公司A轮融资，融资额数千万人民币，参与投资的机构包括晶泰科技，IMO Ventures，雅亿资本。默达生物（META Pharmaceuticals ...

2月14日，「默达生物」宣布完成数千万元A1轮融资，本轮融资由晶泰科技领投，IMO资本与雅亿资本等跟投。此次融资将用于加速「默达生物」在研的两款管线药物向临床试验推进，并进一步拓展其AI代谢酶靶点发现平台的开发，在更多不同适应症上实现创新靶点突破和管线资产转化。

熟悉冯祖鸣的人都说，他能走上数学教育这条路，和家庭的影响分不开。他的父母——冯承德和徐云华，均是1964年华东师范大学数学系的毕业生，后到天津任教。据冯祖鸣回忆，冯承德的祖母还是第一批学习范式大代数的中国人。虽然家里不少人与数学打交道，但在冯祖鸣的记忆中，从小到大，父母给了他足够的成长空间，一直鼓励他做自己热爱的事。

DeepMind持续改进人工智能的数学能力，数学推理模型AlphaGeometry2在解决国际数学奥林匹亚（IMO）几何题目上的表现，已正式超越金牌选手的平均水准。研究团队测试了2000至2024年间所有IMO几何题，AlphaGeometry2以8 ...