量子位图片笔记

量子位新文图片笔记：陶哲轩在 IEANTN 项目中观察到 AI 已把部分形式化证明任务从数周缩到数小时，新的难题变成人类如何审查、消化和重构证明。

量子位新文图片笔记：PerfEvolve 把 PostgreSQL 调参知识从固定推荐值改写成 Agent 可执行的过程化技能，先测量、再剖面、再联合优化。

量子位新文图片笔记：恩和科技用 BPL 与 BPL-COGEN 把自然语言湿实验方案变成可编译、可校验、可执行的实验代码，三轮修复后编译通过率 98.6%。

量子位新文图片笔记：特斯拉提交 MEGAPOD 商标，试图把服务器、网络、配电和冷却打包成模块化 AI 数据中心硬件，但目前仍是早期商标申请。

量子位新文图片笔记：DeepSeek Harness 部门扩招研究员、工程师、产品经理，把 Context、Memory、Subagent、Multi-Agent 等能力推到 Agent 人才地图中央。

量子位新文图片笔记：可口可乐中国和百度一镜用 AI 数字人与生成式视频做世界杯营销，范志毅数字人 2 秒回应、24 小时在线，限定 TVC 由 AI 生成。

量子位新文图片笔记：清华 Spatial-TTT 用 fast weights 做流式空间记忆，2B 模型处理长视频空间推理，项目已入选 ECCV 2026。

量子位新文图片笔记：一位 Reddit 用户把魔兽私服 bot 聊天接入 DeepSeek API，让 1800 个 AI 玩家填满单人服务器。

量子位新文图片笔记：阿里妈妈与清华提出 AIGB-Pearl，用评估器和强化学习后训练，为生成式出价加上闭环反馈与双重安全约束。

量子位新文图片笔记：西湖大学 AGI 实验室提出 BudCache，把扩散模型 step-level cache 做成固定预算下的离线策略搜索。

量子位新文图片笔记：2026 年上半年国内具身智能融资约 438 亿元，超过一半流向「大脑派」，世界模型与数据基础设施成为资本追逐焦点。

量子位新文图片笔记：陶哲轩关于形式化数学和协作证明的预判，正在被 Lean、PFR 和 Equational Theories 等实践兑现。