IMO 相关 AI 资讯 · AI 热点

8月6日

23:47

23:47

官方账号Meta AI@AIatMeta

82°

Meta AI将模型送入五场STEM奥赛（APhO、IPhO、IMO等），全程禁用搜索、编程和计算器。结果APhO与IPhO理论考试均满分，IMO获金牌。IChO和RMM同样达到金牌级水平。

AI模型 Meta AI APhO IPhO

推荐理由：Meta AI把自家模型拉去考五门奥赛，禁用工具还物理满分、IMO金牌，推理实力有硬成绩了。

7月22日

17:19

17:19

小互@imxiaohu

76°

小红书大模型dots-note-3.0在第67届国际数学奥林匹克竞赛（IMO）中以42分满分获得金牌认证，超过金牌线13分。这是中国首个在IMO斩获金牌的大模型，也是全球首个在IMO官方评卷中获满分的大模型。此前Gemini Deep Think在2025年IMO取得35分（完成6题中的5题）。dots-note-3.0基于Agentic推理系统和加强归纳法独立完成全部证明，两位IMO金牌得主评价其解法“很有新意，也很优雅”。该模型即将对外开源。

AI模型 dots-note-3.0 小红书 IMO

推荐理由：小红书dots-note-3.0在IMO拿满分，比Gemini还强，解法有创新，还准备开源，赶紧看看！

14:05

14:05

官方一手歸藏(guizang.ai)@op7418

小红书团队开发的dots-note-3.0在2026年国际数学奥林匹克竞赛（IMO）中以42分满分夺得金牌，超过金牌线13分。这是首个获得IMO官方评卷满分的模型。该模型是dots 3系列中最轻量的内部版本，计划近期开源。在同一周，Anthropic数学家使用Claude模型证明了雅可比猜想的一个反例，表明大模型在数学发现中日益重要。

AI模型 dots-note-3.0 dots 小红书

推荐理由：dots-note-3.0在IMO拿到满分，之前从没有模型做到过，而且它是最轻量的版本，马上开源，想看看AI如何解数学证明题的可以关注。

10:57

10:57

Aravind Srinivas@AravSrinivas

81°

NVIDIA AI 将新发布的 Nemotron 3 Ultra 模型用于国际数学奥林匹克（IMO）2026 年试题测试，模型在无互联网和外部工具的条件下，于相同时间限制内作答。IMO 官方团队对该模型的解答评分为 30 分（满分 42 分），超过了 29 分的金牌门槛。这一结果表明 Nemotron 3 Ultra 在数学推理能力上达到金牌选手水平。

AI模型 Nemotron 3 Ultra NVIDIA IMO

推荐理由：NVIDIA 拿 Nemotron 3 Ultra 挑战 IMO 真题，30/42 分直接超金牌线，数学推理很强。

08:47

08:47IT之家（博客/媒体）

83°

小红书大模型 dots-note-3.0 在 IMO 2026 中六道题全部答对，以 42 分满分获得金牌，成为中国首个获官方金牌认证的大模型。第三题采用归纳法而非常规图论解法，被双 CMO 金牌得主评价为结构紧凑、逻辑自然。该模型仅用自然语言端到端完成证明，并具备递归自我批判能力。2026 年 IMO 金牌线为 29 分，模型满分超出 13 分。模型即将开源。

AI模型小红书 dots-note-3.0 IMO

推荐理由：小红书搞了个大模型 dots-note-3.0，在 IMO 2026 拿了满分金牌，第三题解法被冠军选手夸"优雅"，快看看它是怎么做到的。

7月20日

09:16

09:16

官方账号arXiv cs.AI@Zitian Gao, Yilong Chen, Yihao Xiao, Xinyu Yang, Ran Tao, Joey Zhou, Bryan Dai

Loopie系列包含两个MoE模型：20B参数（2B活跃）和6B参数（0.6B活跃）。它解决了循环Transformer的经典问题：在预训练计算量增加N倍时，循环N次不如增加参数N倍。实验表明，Loopie显著优于相同计算预算的普通Transformer基线。后训练阶段赋予模型强推理能力，在2025年IMO和IPhO中获得金牌（无外部工具）。

AI模型 Loopie IMO IPhO

推荐理由：研究者发布了Loopie循环Transformer，用更少活跃参数在IMO和IPhO拿到金牌，比普通模型强很多。

6月12日

11:46

11:46

官方账号Noam Brown (OpenAI 推理)@polynoamial

83°

OpenAI 的一个通用内部模型在著名的组合几何问题上取得了突破性进展。不到一年前，前沿 AI 模型在 IMO（国际数学奥林匹克）中已达到金牌水平。这表明 AI 在数学推理能力上的进步速度惊人，且预计这一趋势将持续。该突破展示了通用模型在解决复杂数学问题上的潜力，而非依赖专门训练的模型。

AI模型 OpenAI 推理模型数学突破

推荐理由：数学和 AI 研究者值得关注——OpenAI 的通用模型在组合几何难题上取得突破，展示了 AI 推理能力的快速提升，建议点开了解具体进展。

5月21日

07:59

07:59

Ethan Mollick@emollick

一年前，OpenAI曾宣称其未发布的通用模型在国际数学奥林匹克竞赛（IMO）中夺得金牌，但至今未公开该模型的具体名称或版本。这一神秘模型引发了外界对其能力的广泛猜测，尤其是它是否代表了OpenAI在推理和数学能力上的重大突破。如今，随着GPT-5.5 Pro Extended的推出，人们开始质疑新模型是否已追平或超越当年金牌模型的水平。该问题由学者Ethan Mollick在X上提出，再次引发对OpenAI模型演进和透明度讨论。

AI模型 OpenAI 推理模型 IMO

推荐理由：OpenAI的IMO金牌模型至今未公开，这背后可能隐藏着模型能力的真实上限。关注推理模型和数学能力的开发者，值得思考GPT-5.5 Pro Extended是否已填补这一空白。