小红书这波可以啊...在国际数学奥林匹克竞赛上拿了满分

----
下为原文：

分享一个好消息，在刚刚结束的 2026 年国际数学奥林匹克竞赛（IMO）上，小红书大模型 dots-note-3.0 以官方评卷 42 分的满分成绩获得“满分金牌”认证，超过金牌线 13 分。

> Test: 67th International Mathematical Olympiad (IMO) AI Test
> Score: 42 points (Full marks / Perfect score)
> Achieved by: Xiaohongshu

我们很高兴拿到这个成绩，因为在 IMO 拿下满分是一件很有挑战的事。

作为全球最高水平的数学竞赛，IMO 每年吸引全球 100 多个国家和地区的最顶尖数学学子同台竞技，从中也走出了多位数学界最高荣誉“菲尔兹奖”的获得者。但即便高手如云，今年 IMO 的满分率也仅为 1%。

由于 IMO 考题均为证明题，特别考验答题者的抽象思考、逻辑推理能力和论证过程的严谨性，近年来也成为了检验大模型推理能力的重要场景。大家或自测自评，或正式参赛接受官方的专业判卷。

今年 IMO 迎来了 120 多个国家地区约 685 名参赛学生，小红书大模型 dots-note-3.0 也首次以官方身份正式参赛。

赛题涵盖代数、几何、数论和组合四个领域，每题 7 分，满分 42 分。针对模型参赛方，组委会在每个比赛日的参赛学生考试结束后发放当日题目，并要求在规定期限内提交答案，测试期间，严禁实施任何形式的人工干预，包括但不限于人为调整 AI 解题步骤、补充推理逻辑、提示思路、修正答案、筛选结果等。

收到题目后，dots-note-3.0 模型基于智能体化的推理系统完成了证明，提交由 IMO 组委会进行专业的评卷审阅，最终 6 道题均获 7 分，斩获满分。此前，从未有过大模型在 IMO 的官方评奖中拿到过满分。

满分不是终点。

更好的 dots-note-3.0
即将与大家见面，
敬请期待。

dots studio

蒸馏，何尝不是一种倒模？

在 Kimi K3 的帮助下，我用了莫约 12小时，完成商用收银 ERP 开发

这里面包括各种商品管理、人员权限管理以及发券验券的管理

本文是目前中文互联网里，有关 ChatGPT 投放最详实的一份内容🤔

另外，AGI Bar 的活动小程序开启内测，本次的活动也会通过这个小程序进行报名

Kimi 刚刚发布的这个桌面工具，是我目前我用到的、唯一能够抓取公众号数据的 Agent

我悟了：

deadline 是我的 harness

飞书开放CLI 后，我所有的文档整理，已经全部的Agent 化了

然后...我也默默从 50 元/月的套餐，改成了 80 元/月

我现在完全是用 Agent 在飞书管理我的所有事务，然后通知我接下来要干啥

我捣鼓出来了一个给 agent 用的网盘，能自动同步各种 Agent 的记忆、skill、文件....

支持claude code/codex/cursor/...各种主流的工具，以及各种主流的网页应用

并开源了出来：
github.com

当然，也提供了一个部署好的版本，可以直接用
www.neudrive.ai

免费版的已经够绝绝大多数的使用场景了

如果是付费版，付款的时候输入 vivo50，可兑换 3 个月的免费使用

始末｜Cursor 自研模型，背后是 Kimi K2.5
Cursor 3月19日发了 Composer 2，博客通篇「our model」，号称自研前沿模型。不到24小时，开发者 @fynnso 调试 API 发现 model ID 是 kimi-k2p5-rl-0317-s515-fast，连名都没改

Cursor founder Aman Sanger 随后承认了基座是 Kimi K2.5，说博客没提是「a miss」，下次改

Moonshot 官方回应很有水平，祝贺+确认基座归属+点名 Fireworks 商业合作

完整始末，在这里

除夕夜，玩个好玩的

我在飞书群里放了一只机器人，它有踢人的权限

你可以用任何方式忽悠它把别人踢掉：可以骗它、贿赂它、写prompt攻击它，随便

群成员按进群顺序排列，你只需要：
- 把排在你前面的人都搞掉
- 自己别被别人搞掉（如果被踢掉了，重新加进来，你的排位就要靠后了）

今晚凌晨截图，活到最前面的那位，送一台 Mac mini

详细介绍：
mp.weixin.qq.com