陈天桥从发现式智能转向可验证系统的实践路径
陈天桥将 AI 的目标从生成内容推进到发现新知识，并以独立检查、实验和人类判断作为验证方法。
#评测/基准
钛媒体AI 评分5151
少数派AI 评分5050 MacBook Pro PROLED XDR 首发体验
MacBook Pro PROLED XDR 首发体验聚焦新机型的 OLED 触屏、轻薄机身、灵动岛与 M5 Pro / M5 Max 性能。作者认为 OLED 在暗场显示和响应速度上提升明显，触控则更像补充交互；本地运行 Gemma 4 31B MLX 4-bit 模型时，首个 token 延迟较 M4 Pro 缩短约 25.7%。
量子位AI 评分5252 Matthew Honnibal 质疑 MIT Astra 修改 Qwen 权重的实验表述
spaCy 作者 Matthew Honnibal 质疑 MIT Astra 研究的误导性表述，称读取小网络权重与修复 Qwen 大模型依赖不同技术路径。Astra 在 Qwen3.5-0.8B 数学修复实验中被允许使用 Python 并进行最多 50 次前向测试，而非只读取原始权重。论文报告的数学成绩从 7.9% 提升至 48.1%，但文章认为模型借助工具诊断和修改权重的能力本身仍具有工程价值。
雷峰网精选AI 评分8080 Gemini 4 Carbon 登顶背后，谷歌为何转向高频模型迭代
Gemini 4 Carbon 发布后在17项基准测试中有15项领先，并在 Artificial Analysis 智能指数中以58分反超 Claude Opus 5.5 和 GPT-6 Astra。
推荐理由：文章将 Gemini 4 Carbon 的榜单表现、体验短板与谷歌高频迭代路线并置，呈现模型竞争如何转向专项强化与内部研发闭环。