- 上云资讯 -
2025-01-14 21:35:19 66人关注
谷歌 DeepMind 的数学 AI 模型在国际数学奥林匹克赛中取得突破性成绩
谷歌DeepMind的数学人工智能模型在今年的国际数学奥林匹克（IMO）比赛中取得了突破性进展。据官方消息，正规数学推理模型AlphaProof和改进版几何求解模型AlphaGeometry2共同攻克了本届IMO六道难题中的四道，首次达到了与人类银牌获得者相当的水平。
2025-01-01 23:25:26 134人关注
北大阿里联手推出Omni-MATH：AI数学能力的终极挑战
随着OpenAI的GPT-4在传统数学评测中屡创佳绩，北京大学和阿里巴巴的研究团队联手推出了一个全新的评测基准——Omni-MATH，旨在评估大型语言模型在奥林匹克数学竞赛级别的推理能力。这一举措不仅为AI数学能力的评估提供了新标准，也为探索AI在高级数学领域的潜力开辟了新途径。