廉颇老矣，尚能饭否：现代数学史（下）
本文回顾了1970年代之后现代数学的发展历程。随着物理学进展放缓，数学失去了最大的外部“客户”，导致代数几何、朗兰兹纲领等结构化数学分支陷入内循环和高塔化。与此同时，计算机科学与AI的崛起为数理逻辑和形式化证明带来了新的机遇。文章探讨了在基础物理停滞和计算机加速的背景下，纯数学界面临的“象牙塔”困境及AI是否会成为新的推动力。
相关文档
凿构周期律 · 数学系列（二十五）人类精神的荣誉
文章从1829年雅可比致勒让德的信谈起：科学唯一的目的是人类精神的荣誉。作者梳理了数学史上'为了用'与'为了它自己'两种目的观近两百年的交锋，从巴比伦记账泥板、傅里叶的热传导，到哈代的《辩白》、布尔巴基与四色定理。文章指出无论哪种立场，具体的人都常被排除在目的之外——诺特被制度挡在门外，密码学家隐姓埋名，孩子们默默核对证明。布劳威尔、外尔、瑟斯顿等人则不断把'人'收回数学的中心。最后文章回应2025-2026年AI冲击数学界的现实：机器达到IMO金牌线、代理证明费马大定理、千禧年问题的争议，追问在机器时代谁来署名、谁负责，重申'人是目的，构是手段'的核心论断。
什么是希尔伯特的第六问题？这个问题重要吗？
文章介绍了希尔伯特1900年提出的第六问题，即“物理学公理的数学处理”。文章详细梳理了该问题的历史背景，包括当时的物理学危机、原子论与唯能论的争论，以及希尔伯特试图从微观原子运动严格推导出宏观连续介质定律的数学野心。文章还关联了2026年菲尔兹奖得主邓煜对该问题相关领域的研究贡献。
Chain Theory：从量子信息重建基础物理
作者宣布启动名为 Chain Theory 的研究计划，旨在从量子信息出发重建基础物理学，并公布首个成果：由单一公理推导出的精细结构常数无参数候选值，与测量值精确匹配到十位有效数字。文章回顾了 20 世纪上半叶物理学的黄金时代与之后近五十年的停滞，批评人择原理和弦论景观放弃了推导自然常数的路径，并提出三条线索：有限区域的信息上限、标准模型规范群可作为 qutrit 与 qubit 纠缠态的对称性、以及基本粒子无子结构的另一种解读，论证应回归以推导为目标的新基础。
生化环材科研范式变天：Claude 全自动蛋白质设计与谱图解析
文章介绍 Anthropic 最新报告显示 Claude 已能作为“超级博后”全自动完成科研任务。仅凭一段 Prompt，Claude 可自主读文献、串联蛋白质开源模型，24-48 小时内完成 de novo 蛋白质设计；湿实验验证中 15 个靶点成功 14 个，单靶点命中率高达 35.1%，攻克了 TNFα 等地狱级靶点并实现跨物种结合。此外 Claude Opus 5 仅用 19 分钟即逆向解析 NMR 与质谱原始数据，纯度计算结果与人类专业实验室几乎一致。作者认为 AI 正从工具人进化为自主科研决策者，未来科研竞争将转向提出有价值的科学问题。
我做过的那些工作（Paul Graham: What I Worked On 中文版）
本文是 Paul Graham《What I Worked On》的中文编译，作者回顾了自己早年写作与编程的经历：从中学接触 IBM 1401 与 Fortran，到拥有 TRS-80 后真正开始编程；大学从哲学转向人工智能，自学 Lisp 并重实现 SHRDLU；研究生时期看清早期符号主义 AI 的局限，转而专注 Lisp 并写作《On Lisp》。毕业后赴佛罗伦萨美术学院学画，经历艺术院校的失望，后在美国靠编程与自由职业维生，在 Interleaf 工作并总结出“低端吞掉高端”等重要经验。文章展现了作者在写作、编程与绘画之间追寻能长久留存之事的探索历程。
当软件像牛奶一样便宜，我们还要交付什么 - INDIGO TALK EP52
本期 INDIGO TALK 对谈字节前工程师郭宇，从 2015 年字节作为神经网络驱动公司的往事讲起，谈到抖音意外胜出的内幕、Vibe Coding 背后的决策负担与工程师倦怠、Agent OS 的未来图景、智能的五个层次与商品化，以及软件为何会像牛奶一样便宜。当软件可以随时生成、用完即丢，个人化软件让分发失去意义，我们真正要交付的是什么？最后讨论当工作不再是必选项时，年轻人该如何选择人生方向。
Marketing Engineers: 100x More Experiments with AI agents
文章提出'营销工程师'（Marketing Engineer）将成为新的10倍员工。作者回顾了营销行业从广告狂人时代、AdWords数字营销、增长黑客到AI辅助营销的演变，指出实验成本持续坍缩是贯穿历史的主线。借助Claude Code、Codex、MCP和定时Agent等工具，一个兼具营销思维与构建能力的人可以搭建由多个AI Agent组成的系统：阅读销售通话、生成落地页、投放广告、归因分析，实现每天数十个实验。文章给出搭建指南：配置Agent工作区、通过MCP连接工具、编写'大脑'文件夹以提供业务上下文。作者认为创业公司应尽快培养或雇佣营销工程师，这是当下最大的增长杠杆。
机会来了！2026年10月，人生发财靠康波
文章引用周金涛的康波周期理论，认为2025-2026年正处于第五轮信息技术康波萧条期向第六轮（能源革命与AI驱动）回升期的换挡点。作者提出2026-2030年是最佳定投区间，理由有三：一是回升期反复磨底的震荡环境恰好适合定投压低平均成本；二是纳指100和标普500的成分（英伟达、微软等数字经济巨头）本身就是第六轮康波的核心资产，且指数会自动更新换代；三是播种必须早于繁荣，提前五年建仓者成本结构与后期进场者截然不同。
五年计划把答案都写出来了，别还不会"抄"
作者通过对比十二五到十五五四份五年规划，提出阅读五年规划的正确方法：不是搜索关键词找利好，而是纵向对比同一产业在不同规划中的演变。文章以互联网、平台经济、人工智能为例，展示数字经济如何从基础设施与电商工具升级为数字中国战略，政策措辞从鼓励发展转向规范监管时对估值的影响，以及AI产业链的细化拆解。核心观点：五年规划应被当作产业变化时间轴，用来确定未来值得重点研究的产业方向，而非直接指导买哪只股票。
物理学三百年的终极转向：为什么场比粒子更基本
文章梳理了物理学从牛顿粒子宇宙观到现代量子场论的范式转向。从牛顿万有引力的超距作用难题出发，经法拉第的力线概念、麦克斯韦方程组的统一电与磁，到爱因斯坦广义相对论把引力变为时空几何的动力学，再到量子力学与相对论结合后粒子可产生湮灭，量子场论应运而生：场是海，粒子是浪，粒子是场的量子激发。文章进一步介绍规范场论、标准模型 SU(3)×SU(2)×U(1) 结构、安鲁效应与霍金辐射，指出粒子并非绝对概念，量子场才是更基础的描述框架。
Hinton、Bengio 等 20 多位研究者联名发论文：AI 正在接手 AI 研发，智能爆炸可能不远了
剑桥大学 AI 科学与政策项目发布论文，Hinton、Bengio 等 20 多位顶尖研究者联名讨论 AI 研发自动化可能引发的智能爆炸。数据显示 Anthropic 审核代码中 AI 写的比例已超 80%，AI 可独立完成的研发任务时长每 3 个月翻一番。若研究投入回报率 r 维持 1.2-1.9，约 1.5 年后 AI 进步速度将达现在 10 倍。论文分析了算力、数据等四类刹车因素，指出能力失控、人类失去监督、权力制衡失效三类风险，并提出透明报告、能力上限、应急预案三条政策建议，强调必须现在开始准备。
AI 都快把大学教育打成夕阳产业了：31 岁读完 12 个顶级学位的 Jamie Beaton
文章讲述了 Jamie Beaton 的故事：31 岁已获得哈佛、斯坦福、牛津、清华等 12 个顶级大学学位，同时创立并经营估值超 6 亿美元的教育公司 Crimson Education。作者借此探讨 AI 时代大学教育的价值变迁：知识因 AI 变得越来越便宜，但名校的文凭、筛选机制和圈层认证反而更贵。Jamie 把学校当作基础设施，看重的是教授、同学、研究环境和跨学科训练，而非单纯的知识获取，揭示了教育与认证的分离趋势。
