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

“袋鼠数学是我第一次接触到不只是套公式，而是要运用创造性思维的数学。这些题目虽然不复杂，但往往设置巧妙、出人意料。正是通过这些题目，我对数学竞赛产生了浓厚兴趣，也让我萌生了创作数学题目的念头”Qiao Zhang ...

“Google DeepMind 的 AI 正在提高解决复杂问题的标准！他们最新的系统 AlphaGeometry2 在几何问题上的表现优于国际数学奥林匹克竞赛的平均金牌得主，解决了过去 25 年中 84% 的挑战。 - 它采用混合模型，将 Google 的 Gemini 语言模型和符号引擎相结合，以有效地解决问题。 - 限制包括可变点和某些复杂方程的难度，但其性能突出了 AI 推理能力的进步。

法国和荷兰近期向国际海事组织（IMO）法律委员会提交了一份文件，介绍了两处资质可疑的船旗注册机构：一面位于加勒比海，另一面位于南太平洋一个有争议的无人居住的火山岛。 这份提交的文件严厉批评了 荷属圣马丁岛和 马修岛所谓的“虚假”登记。

韦东奕高一就满分！49 届 IMO 竞赛惊人 ...

第49届IMO竞赛题，初中生能不能做出来 ...

《中时新闻网》前身为《中时电子报》，于1995年创立，是全台第一家且歷史最悠久的网路媒体，开启新闻数位时代。近来以最具影响力的政治新闻引领先驱外，首创娱乐、生活、社会专题式新闻报导，带起同业间仿效风潮；精辟的言论、财经、国际、两岸、军事、体育、网推频 ...

3月2日—10日，第66届国际奥林匹克数学竞赛（IMO）的中国国家集训队在湖南进行第一阶段选拔，从60名来自全国的数学顶尖学霸中选出16人。

美国前第一夫人蜜雪儿（Michelle Obama）自今年初以来一直行踪低调，甚至缺席前总统卡特（Jimmy Carter）葬礼及川普（Donald Trump）总统就职典礼，引发外界揣测她与欧巴马（Barack Obama）婚姻生变。近日，她终于在 ...

3月2日—10日，第66届国际奥林匹克数学竞赛（IMO）的中国国家集训队在湖南进行第一阶段选拔，从60名来自全国的数学顶尖学霸中选出16人。

距离前第一夫人米歇尔·奥巴马离开白宫已经过去了八年时间，但她仍在回忆并感慨跟随丈夫巴拉克登上美国权力巅峰的那段艰难历程。这位61岁的女士自1992年与丈夫结婚以来，一直陪伴在他身边。据纽约邮报报道，近日，她在与哥哥克雷格·罗宾逊共同推出的播客“IMO”第一集中，首次公开了自己当初得知巴拉克决定竞选总统时的真实感受。

“有时遇到难题，儿子会思考许久，实在想不出才去看解析，问老师。但越往后学或许越孤单，多数时候他把不会的题存放在脑子里，平日不断积累，等待灵光乍现的那一刻。他曾在一次4分钟跳绳后笑着对我说，半年前的那道题终于想出来了。”邓乐言妈妈说。