AI / 模型 / 多智能体
GPT-5.6: Frontier intelligence that scales with your ambition | OpenAI：OpenAI 新一代 frontier 模型发布页。
Ethan Knight on X：GPT-5.6 Sol Ultra 与 Cycle Double Cover Conjecture：称用 64 个子 agent 在约一小时内给出 CDC 猜想证明；proof · prompt。
多 Agent 搜索式证明的可用流程：
- 定义清楚问题，完全形式化，明确：输入对象、允许的结构、输出形式、不变量、边界情况与验收条件等。
- 阐明目标，分为正面和反面，什么结果算正确？什么结果不算正确？
- 对于未解决的问题，Assume a complete affirmative proof exists，但这意味着可能会将已有内容解释为正确，因此需要对抗性审查。
- 多 Agent 搜索不同方向的思路，除非有确定性把握，否则不要告诉 AI 你的偏好思路。
- 分别维护进度，规范输出内容格式。
- 交付内容必须可检验。
- 主管 Agent 进行汇总，维护全局状态，反复 loop，禁止失败就停止。
- 禁止搜索直接相关内容，只能搜索基础性内容。
对应原则：
- Specification before reasoning：先精确定义目标、对象和失败条件；
- Diversity before consensus：先保持独立多样，再分享和融合；
- Mechanisms, not narratives：只接受可验证的引理、构造、方程与反例；
- Optimistic exploration, adversarial verification：搜索时大胆，验收时残酷；
- Manage the search, not just the answers：记录路线、识别重复、冻结死路、动态分配算力。
Prompting | ChatGPT Learn：ChatGPT 官方 prompting 文档。
30 papers · The reading list Ilya Sutskever gave John Carmack：Ilya 给 Carmack 的 30 篇论文阅读清单站。
AI 2040: Plan A：面向 2040 的 AI 路线规划材料。
[2607.01233] Measuring the Gap Between Human and LLM Research Ideas：量化人类与 LLM 研究 idea 之间差距的论文。
优化 / 机器学习 / 数据
[2607.04033] OmniOpt: Taxonomy, Geometry, and Benchmarking of Modern Optimizers：现代优化器的 taxonomy、几何视角与 benchmark 框架。
J-lens CKA explorer：CKA / representation similarity 相关可视化探索器。
LAION Dataset Explorer：LAION 嵌入空间数据浏览器。
PolymathicAI/the_well / The Well：约 15TB 物理仿真数据集集合。
数学 / 理论 / 开放问题
AI Math Open Problems：面向 AI / 数学交叉的开放问题列表（矩阵积分不等式、压缩凸泛函、MVI 张量方法下界、信息几何与图论等多类问题）。
Frank Nielsen | Information Geometry, divergences, and diversities：信息几何、散度与多样性的资源地图。
Algorithms by Jeff Erickson：Jeff Erickson 算法教材（免费在线）。
thatmagicalcat/txm：终端数学渲染引擎。
编程 / 系统 / 工具
The CUDA Handbook — Chapters：CUDA 编程手册章节。
Cloudflare Drop：无需登录，直接在 Cloudflare 上传文件部署临时站点，约一小时有效。
Mounting Cloudflare R2 into macOS Finder：把 Cloudflare R2 挂进 macOS Finder 的实践笔记。
Harbofly · understand your storage, recover space safely：磁盘占用分析与安全释放空间工具。
johnfactotum/foliate：Linux 上风格干净的电子书阅读器。
哲学 / 出版 / 其他
History of Philosophy - Summarized & Visualized：哲学史交互可视化与摘要。
Explore · PubPub：开放出版与知识社区浏览入口。