AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制
AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制在上个月落下帷幕的第 67 届国际数学奥林匹克（IMO 2026）上，包括中国代表队三位选手（邓乐言、刘澈、张柏伦）在内，全球共有 7 名人类选手拿到了 42 分满分金牌。
来自主题: AI资讯
8906 点击 2026-08-04 10:35
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
在上个月落下帷幕的第 67 届国际数学奥林匹克（IMO 2026）上，包括中国代表队三位选手（邓乐言、刘澈、张柏伦）在内，全球共有 7 名人类选手拿到了 42 分满分金牌。
AI 算力的下一个浪费重灾区，可能就在价值数百万美元的整柜系统内部。
BigMac 是原生多模场景下的流水并行训练新范式。它针对多模态大模型训练中计算效率与显存占用难以兼顾的问题，提出了依赖安全的嵌套流水线：以成熟的 LLM 流水线为主干，在不打乱 LLM 执行顺序的前提下，有序嵌入编码器和生成器计算，从而在不增加 LLM 流水线空泡、保持激活显存有界的同时，高效实现多模态流水训练。
近日，围绕搜索、推荐、广告等核心业务中的大规模向量检索成本与性能问题，小红书引擎架构团队在 OSDI 2026 会议上发表了论文《The Clustering Strikes Back: Building Cost-Effective and High-Performance ANNS at Scale with HELMSMAN》。
哈？小红书你真是闷声干大事啊！
最近刷小红书，总能刷到 ChatCut。
AI 行业尤其明显。Founder、产品经理、独立开发者都得有公众号/小红书/X 三件套（可能还要加一个即刻）。连平时不爱说话的 i 人，也要在朋友圈里输出几句“行业观察”。表达变多当然是好事，但话说多了，翻车概率也会跟着上来。
小红书上，#deepseek 算命、#赛博玄学等话题下，大量玄学爱好者聚集，分享不同占卜体系的prompt、交流 AI 算命心得，仅 #deepseek 算命一个话题，浏览量就达到 5608 万、讨论量 35.4 万；与此同时，更深度的 AI 用户开始在 GitHub 上自行开发占卜 Skills，搜索“astrology”“bazi”等关键词，可以看到相关项目最高 Star 数已达 3.9k。
6月初，优必选旗下的消费级人形机器人品牌优世界宣布将发布全球首款全尺寸超仿生人形机器人。目前，这款机器人已经开启预售，但还没有公布详细的参数。通过预售界面信息，我们能了解的是，这款超仿生机器人拥有和真人一样的尺寸，其中男款身高183cm、体重42kg，女款身高168cm、体重35.2kg。
昨天 Kimi K2.7 Code 高速版 上线了，我上手试了下，最大的感受就一个字：快。