「IMO比赛」共找到 112 篇相关文章
谷歌AI连发6篇数学论文！Gemini攻入博士级科研，91.9%刷爆SOTA
谷歌DeepMind放出多篇重磅论文，Gemini Deep Think成「科研合伙人」，攻克多领域难题。谷歌打造基于Gemini的「AI数学家」Aletheia，在博士级难题获科研里程碑，首批6篇论文成果斐然。
字节Seed数学新模型，SOTA了
字节发布全新复杂数学解决模型Seed-Prover，全面超越谷歌AlphaGeometry2，在MiniF2F数据集达100%正确率。它采用引理式证明，集成几何推理引擎Seed-Geometry，还展现了卓越泛化能力。
金融AI武道大会开赛！四道业务真题，出题人：猜不到最优解
AFAC2026金融智能创新大赛开赛，赛题源于真实金融场景，如识别交易行为、还原金融文档等。它强调回归基础研究，探索模型产业价值，是今年金融AI领域值得关注的比赛。
在线等：如何优雅地分走鹅厂这600+万？
AI时代风口转变，Meta、字节跳动、腾讯等头部玩家扎进推荐系统统一建模方向。2026腾讯广告算法大赛与KDD联动，赛题聚焦‘大一统’，设高额奖金和创新奖，吸引全球顶尖人才参赛。
华为看好的具身公司又融 10 亿！极佳视界宣布完成 Pre-B 轮融资，老股东超额加持
近日，极佳视界宣布完成近 10 亿元 Pre - B 轮融资，资方阵容豪华，老股东超额加持。此前 2025 年已完成多轮融资，华为还与其深度合作。该公司专注具身基模和通用机器人，产品有世界模型平台等。
5分钟上手，无照就能飞：91万「空中F1」已经排到了2027
Jetson公司推出个人飞行器Jetson ONE，号称“空中F1”，亮相2025年UP.Summit并举办飞行比赛。它性能亮眼、安全性高，无照5分钟上手，售价91万，订单排到2027年。此外还介绍了其他飞行器。
两张图定位全球，o3碾压T0级高手！人类「诡计」被看穿，跨模态推理爆表
OpenAI的o3在GeoGuessr游戏中与大师级玩家Sam Patterson对决，o3通过视觉与搜索推理，忽略伪造EXIF信息，最终以23179比22054获胜，展现出跨模态推理潜力，引发对AI推理能力的思考。
机器人集体到香港户外极限挑战，狗比人强
第五届ATEC2025线下挑战赛收官，机器人户外自主闯关。赛队奇招破局，浙大Wongtsai夺冠。比赛暴露实验室难见问题，如四足胜人形、感知受室外干扰等，为测评体系提供新思路。
全球十大AI杀入美股！最新战况曝光，第一名太意外
新加坡AI金融科技公司发起RockAlpha交易大赛，让GPT、Grok、DeepSeek等顶级AI在美国股市三大赛道实时交易，展示AI思考与博弈，各模型有不同表现，用户能与AI共做交易决策。
中国足球还是靠机器人吧！首届机器人运动会闭幕：票价终究保守了
世界人形机器人运动会闭幕，清华火神队1-0胜德国队获机器人足球赛冠军。赛中有诸多有趣场面，且比赛背后硬核技术拉满，像足球赛用自主行动机器人，胜负关键在算法。