小红书大模型获IMO满分金牌
小红书技术团队研发的dots-note3.0大模型在第67届IMO（2026年）中以42分满分获得金牌，成为国内首个获此认证的大模型，也是全球第二个。模型解题思路简洁优雅，展现了强大的数学推理能力，预计将开源。
7月22日，一个让国内AI圈振奋的消息传来——小红书技术团队REDtech正式宣布，他们研发的dots-note 3.0大模型，在真实国际数学奥林匹克竞赛（IMO 2026）中，以42分的满分成绩拿下金牌。这不仅是国内首个获得IMO金牌认证的大模型，更是继谷歌Gemini之后，全球第二个达成这一成就的模型。
事情是这样的。7月15日至16日，第67届IMO（2026年）在上海举办。dots团队受组委会邀请，带着dots-note 3.0的内部版本参加了比赛。最终评阅结果显示，六道题全部获得满分7分。要知道，本届比赛中，全球仅有7位人类选手拿到了满分——模型的实力已经可以与顶尖人类选手正面抗衡。
真正让人惊艳的，不只是分数。两次CMO金牌得主刘涵祚评价道：“我们惊喜地发现，模型最终给出了一条正确且漂亮的证明思路。这种解法结构紧凑、逻辑自然，即使放在IMO解答中，也属于较为简洁优雅的一类。”另一位CMO金牌得主汪千桐也补充：“模型在第三题刘邦一侧的归纳法非常优雅。选手常见的做法基本都是转换成图论的连通性来做，但dots模型用了非常巧妙的归纳法，直接攻克了这题本质难的部分。”
IMO对模型能力的核心挑战，在于要求全程完整、正确的证明来解决高难度数学问题。这意味着，模型不仅要答案正确，更要保证整个论证逻辑的严谨性和准确性——这恰恰是当前大多数AI模型最薄弱的环节。
值得关注的是，此次参赛的模型为dots-note 3.0的内部版本。小红书团队表示，预期会在接下来的一段时间内将该模型开源给社区，加速AI社区的进步。如果真能兑现，这将是国内大模型在数学推理领域的一次重要突破。
荣耀MagicOS 11定于9月15日发布，作为行业首个商用系统级Agent Harness架构的操作系统，Magic 9系列将首发搭载。新版YOYO支持最长上百步长程任务及40余项条件触发，10月开启Beta预览版招募。
华强北销售商反馈，年初以来主流手机品牌基本全线涨价，涨幅最低400元，最高达1000-1500元。涨价主因是全球存储芯片及电容等元器件成本上升，运行内存与机身存储价格涨幅超100%。尽管整体市场承压，国产折叠屏手机1-8月销量约450万台（新形态超135万台，同比增29%），AI手机成为厂商发力重点。
索尼发布WH-1000XM4C头戴式降噪耳机，复刻了XM4的经典四向折叠便携设计。该机型在保留QN1处理器和30小时续航的基础上，全面升级了USB-C高速充电、无损音频直连、蓝牙多点连接及AI降噪通话功能，旨在满足对便携性有极高要求的用户群体。
OpenAI GPT-6 Astra 模型通过 MCP 协议与 SourcePauseTool 控制《传送门》游戏，完成 3336 次工具调用并自主通关。实验耗时约 24 小时，API 成本约 571 美元，展示了多模态 AI 在 3D 解谜领域的突破性进展。
本文解析超聚变在2026数博会发布的“智企”范式，重点阐述如何通过Token生产平台（Token Factory）与企业业务本体建模，实现从简单AI工具调用到企业应用架构系统性重构的演进。文章详细拆解了智能体编排、数字孪生及生态协同等关键技术路径，为AI时代企业数字化转型提供可落地的参考方案。
南京邮电大学“光擎智算”团队联合南京大学，攻克GaN基Micro-LED器件技术，成功搭建实验室级光计算验证系统。团队自主研发的5×5 Micro-LED光电计算阵列芯片已进入流片封装阶段，实现了图像识别等算力任务验证，推动光计算技术从理论走向工程落地。
9月3日，贵州省住建厅与贝壳集团在贵阳签署《旅居产业发展战略合作框架协议》，旨在打造全国旅居样板。合作涵盖平台建设、标准共建、人才培育、存量资产盘活及品牌推广五大维度，依托贝壳近600家门店及4000余名经纪人资源，强化贵州旅居服务供给，促进房地产市场平稳健康发展。
本文解析上海链家推出的“安住APP”功能，该工具允许业主在贝壳/链家挂牌后主动管理房源。通过实时查看销售进展、发送看房邀约及获取AI策略，业主可缩短成交周期。数据显示试点期间平均成交7天，最短1天。适用于希望提高信息透明度、主动参与卖房过程的业主。
2026年6月工信部等七部门印发《促进平台经济大中小企业协同发展行动方案》，明确平台经济是数字技术赋能的实体经济。针对流量垄断与“数字租金”问题，专家主张治理重心应从静态整改转向推动平台能力向中小企业外溢，通过算法透明、接口开放及数据可迁移，打破封闭生态，实现创新与规范并重的高质量发展。
Windows 10 是一款微软推出的经典操作系统，拥有硬件兼容性与多任务处理能力。它更偏向把系统状态查看和常用调节动作放在一起，适合需要持续观察和微调设备状态的场景。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
