谷歌的第二代人工智能数学系统将语言模型与符号引擎相结合，可以比国际数学奥林匹克（IMO）金牌得主更好地解决复杂的几何问题。研究人员开发了一种人工智能（AI）数学系统，可以在国际几何比赛中击败人类金牌得主。该系统名为“AlphaGeometry2”（A ...

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

近日，DeepMind 正式推出 AlphaGeometry2， 它在 IMO 中达到真人金牌得主的水平，并能解决 21 世纪以来 25 届 IMO 全部几何问题的 84%。 而 AlphaGeometry1 仅能解决 54% 的问题，这意味着 AlphaGeometry2 可以像顶尖人类选手一样解决棘手的数学问题。

陶哲轩（Terence Chi-Shen Tao），1975年7月17日出生于澳大利亚阿德莱德，华裔数学家，菲尔茨奖获得者、英国皇家学会院士、美国国家科学院外籍院士、美国艺术与科学学院院士，美国加州大学洛杉矶分校James and Carol ...

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

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

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

据时事社2月23日报道，时事社22日获悉，日本海上自卫队去年秋天派遣10名队员参与在黑海举行的多边演习，与乌克兰和美国军队共同实施扫雷训练。 美国海军和日本防卫省有关人士证实了这一消息。

“伊莎贝拉（ISABELLA）”是外高桥造船自主开发设计的最新一代阿芙拉型油船。该系列船通过综合的水动力性能优化、配置水动力节能导管和消涡鳍、优化主机选型等多项措施，使整船的能效水平大大提高，经实船验证的EEDI指标提前达到了国际海事组织（IMO）2025年第三阶段的要求。同时氮氧化物排放满足Tier III要求，硫氧化物排放满足排放要求，深受客户青睐，是一型环保、节能、安全、经济的绿色船舶。

通讯作者Thang Luong分享了更疯狂的一道题，来自IMO Shortlist 2009。 根据谷歌咨询的IMO教练，此问题以前仅有数值解。 但AlphaGeometry2巧妙地构造出了复杂 ...

2 月 20 日， L4 级无人驾驶 商用车厂商新石器无人车宣布完成 10 亿元 人民币 C + 轮融资。本轮由多家物流巨头和中金资本、漳江基金、合创资本等财务投资人共同加持，高鹄资本担任长期财务顾问。