Event ·Official first-hand

dots-note-3.0在IMO获42分满分，首个模型官方评卷满分

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

Current read

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

11 sources63° AI heatLast updated 2026/7/22 05:51:37

Evidence

11 sources

Primary source歸藏(guizang.ai)

2026/7/22 05:51:37View source

Related source 1IT之家

2026/7/22 00:44:19View source

Related source 2小互

2026/7/22 08:27:14View source

Related source 3@koltregaskes

2026/7/23 06:47:34View source

Related source 4Geek

2026/7/22 01:20:44View source

Related source 5Logan Kilpatrick

2026/7/22 01:50:49View source

Related source 6The Rundown AI

2026/7/22 15:32:12View source

Related source 7AWS Machine Learning Blog

2026/7/20 16:58:52View source

Related source 8Anthropic

2026/7/20 17:26:25View source

Related source 9techcrunch

2026/7/21 00:12:24View source

Related source 10shao__meng

2026/7/21 07:23:36View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

Open the story