资讯详情
7月25日参考消息转载南华早报权威报道,2026国际数学奥林匹克竞赛官方评测结果出炉,国内小红书自研轻量级AI模型Dots-Note 3.0,完整答对全部6道IMO高难度数学证明题,斩获42分满分,成为全球首个在国际奥赛中拿到满分的人工智能模型,打破海外大模型长期垄断数学推理赛道的局面。
对比往年谷歌AlphaGeometry系列模型,Dots-Note 3.0最大技术突破是无需人工转换逻辑代码,可直接读取原始竞赛文字、几何图形题干,依托自研智能体框架,融合自然语言推理与Python代码自动演算,自主完成猜想验证、多步骤逻辑自查、证明过程迭代优化,模拟人类数学家分步推导思维。
该模型属于轻量化版本,激活参数仅数十亿,硬件运行门槛极低,适配个人开发者、OPC单人创业团队本地部署。小红书官方同步官宣,近期将完整开源Dots-Note 3.0全套权重与训练代码,助力国内数学科研、教育类AI工具快速落地。
核心要点
- 1. 国产轻量AI模型全球首个IMO数学奥赛满分;
- 2. 原生支持原始题干解析,自研智能体推理框架;
- 3. 即将全量开源,适配轻量化个人AI工具开发。