AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制

在第67届国际数学奥林匹克（IMO 2026）上，小红书的「dots-note-3.0」成为首个获官方满分金牌的AI模型。它解题时自我检查修正，有自主探索能力。之后模型要应对生活中长周期、多变任务的挑战。

读完这篇，你就搞懂 DeepSeek v4 了

2026年4月24日，DeepSeek全新系列模型DeepSeek - V4预览版上线并开源，评分接近‘闭源三巨头’。该模型强在1.6T参数+1M上下文，还有从attention到kernel的系统级重构与优化，在架构和工程层面均有创新。

4 个月狂飙 22k Star，这本书凭什么？

Github上超火的开源项目《LLMs-from-scratch》中文版4月上市，4个月涨超22k Star。作者实操搭建类GPT - 2模型，涵盖大模型构建全流程。用PyTorch开发，代码少且有注释，对初学者友好，豆瓣评分9.3。

仅隔一天，OpenAI同步上线o3和o4 mini，它们能调用ChatGPT里的多种工具，可基于图像思考。o3是强大推理模型，o4-mini专为快速经济推理优化。即日起部分会员可体验，还开源了Codex CLI。

拿下开源生图第一，千问Qwen-Image-2.1把生图卷出新高度

本文介绍阿里千问最新开源的7B参数量生图模型Qwen-Image-2.1，该模型拿下公开评测开源生图第一，实现文生图与图像编辑一体化，原生支持透明图生成，最多支持10张参考图输入，强化了局部编辑与人像商品保真，轻量且实用性强

Karpathy、Claude Code之父Boris，最新访谈，把整个程序员圈炸了！

假期红衫AI Ascent 2026上，Claude Code之父Boris与Karpathy演讲引发关注。Boris称编程执行层已解决，他用Claude App工作，全公司代码由模型生成；Karpathy提出Software 3.0概念，还谈到模型能力不均匀。两人还对面试、创业等给出看法。

AI终点不是算法，而是业务成果 | 云徙科技@MEET2026

大模型时代，基础模型参数规模不断增大，但企业核心业务中AI真实渗透率低。云徙科技执行总裁毛健认为，AI终点是业务成果，应是‘运营×AI’，还指出AI跃迁为业务主体面临四重鸿沟，云徙科技提出破局方法并分享落地案例。

牛津、NUS提出下一代世界模型方向：心智世界模型来了

牛津大学和新加坡国立大学研究团队提出心智世界建模（MWM）通用框架，将心智变量纳入世界状态。还实现基准系统 MENTIS 验证其有效性，实验表明 MWM 对预测人类决策必要，瓶颈是状态转移模拟能力不足。

一个For循环就是全部：BU开源了它的Agent框架

Browser Use团队开源bu - agent - sdk，设计理念简单，Agent就是一个for循环。它减少抽象、最大化模型自由度，解决了传统框架行动空间不完整等问题，支持多模型，开发者可自由选模型。

天文预测新SOTA！紫东太初&国家天文台联手攻克恒星耀发难题

紫东太初与中国科学院国家天文台联合开发天文耀发预测大模型FLARE，能精准预测恒星耀发事件。该模型整合恒星物理属性和历史耀发记录，提升预测准确性，相关论文被IJCAI 2025录用。