AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年，机器之心AIxiv专栏接收报道了2000多篇内容，覆盖全球各大高校与企业的顶级实验室，有效促进了学术交流与传播。如果您有优秀的工作想要分享，欢迎投稿或者联系报道。投稿邮箱：liyazhou@ ...

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

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

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

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

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

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

默达生物完成数千万元A1轮融资 ，本轮融资由晶泰科技领投，默达生物由IMO资本、雅亿资本等跟投。 默达生物 ...

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

DeepMind持续改进人工智能的数学能力，数学推理模型AlphaGeometry2在解决国际数学奥林匹亚（IMO）几何题目上的表现，已正式超越金牌选手的平均水准。研究团队测试了2000至2024年间所有IMO几何题，AlphaGeometry2以84%的解题成功率大幅超越前代系统AlphaGeometry1的54%，并且研究团队挑出难度更高的IMO ...

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