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

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

2月21日，记者从中船黄埔文冲船舶有限公司（以下简称黄埔文冲）获悉，该公司与希腊知名航运公司Danaos Corp.正式签署2艘9200TEU甲醇预留集装箱船建造合同。这是公司首度承接大型集装箱船订单，具有重要的战略意义，既是公司深入贯彻落实中船集团高质量发展战略取得的重要成果，也标志着公司向“建设国内领先船舶企业”的目标迈出了坚实一步，将有力提升公司国际市场竞争力和品牌影响力。

近年来，随着人工智能等新技术的飞速发展，全球都越来越重视探索数学类拔尖创新人才的早期识别和培养。对此，从事20多年高中数学教育的冯祖鸣却显得很冷静。相比建立人才选拔和培养的“快车道”，冯祖鸣更在意的，是要为这些学生建一座能够自由转换赛道的“立交桥”。他特别指出，既然是“立交桥”，就应该有进有出，尤其要设置“退出通道”。

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

全球几乎90%的货物都是通过船舶运输,。海运业因此是当今全球经济运作的一大重要环节。但海运却造成了全球近3%的温室气体排放。联合国旗下的国际海事组织（IMO）因此在2023年达成了海运行业的脱碳目标，也就是《2023年船舶温室气体减排战略》，提出到2030年减少20%、2040年减少70%、以及2050年前后实现国际航运业温室气体净零排放的目标。不过，如何达到上述目标，各国之间却意见分歧，这就是为 ...

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

深圳默达生物科技有限公司(META Pharmaceuticals Inc.)近日宣布完成上亿元人民币的A轮融资。本轮融资由Forcefield Ventures、晶泰科技、IMO Ventures和天图资本领投，方圆资本、德迅投资、雅亿资本、新产业（300832）创投和博普资本等跟投。

西风 发自 凹非寺量子位 | 公众号 QbitAI 国产AI几何模型性能达IMO金牌水平，打平谷歌DeepMind最新AlphaGeometry系列—— TongGeometry，使用的策略网络和价值网络还来自微调版本的DeepSeek-Coder。

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

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

在近期的国际数学奥林匹克（IMO）比赛上，谷歌的人工智能技术展现出了令人瞩目的实力。根据最新的统计数据，谷歌AI在解答本届IMO中的几何问题时，成功地解决了高达84%的题目，这一结果不仅超过了众多金牌得主的均分，也引发了学术界和科技界的广泛关注 ...