文章讨论在 AI 能生成看似合格学位论文的背景下,博士学位评定不应再以论文文本为核心依据。作者先回顾传统博士流程:修课、资格考试、撰写与答辩论文,并指出答辩常流于形式,论文本身几乎决定是否通过。随后他引用哈佛方面的建议,认为学位论文已不再是评估学生数学素养与独立研究能力的可靠代理,应改为由多位教师进行定期、多面向的线下评估,且必须严格、形成书面记录并可用于未来求职。结论是 AI 使基于文本的评审失效,博士培养与考核制度必须相应调整。不足在于篇幅较短,论证主要依赖引用与个人观察,未给出具体评估设计或实证数据。
推荐收录,因为它给出了明确且可验证的论据:引用哈佛关于“学位论文不再是可靠评估工具”的建议,并指出答辩形式化这一真实失效模式。适合研究生、导师和科研管理者阅读,可迁移价值在于为 AI 时代科研评价制度的调整提供判断依据。主要风险是篇幅短、缺少可落地的评估方案与实证支撑。
文章讨论现代超标量处理器能否在一个周期内执行多个 taken branch。作者用一个包含 if 的 Go 循环做微基准:从字节数组中读取元素,与阈值比较,若大于阈值则写入 last 指针;在始终不命中、但产生两个邻近 taken branch 且不执行存储的场景下测量。结果显示,Apple M4 Max 与 Granite Rapids 平均不到 2 个周期即可完成两个 taken branch,说明某些条件下确实可超过每周期一个 taken branch;AMD Zen 4 表现较差,Zen 5 明显改善。作者附上 benchmark/experiments/ifloop 下的可复现代码,但结论受特定循环、编译器代码生成和微架构影响,不宜直接外推为通用规则。
推荐收录:作者提供了可复现的 Go 微基准、明确的分支场景和多款处理器的对比数据,直接检验了“每周期最多一个 taken branch”这一常见说法。对关注 CPU 微架构、性能优化和底层代码生成的读者有参考价值,可迁移为结合具体处理器与编译器实测、避免把简化模型当硬约束。局限是结论依赖特定循环和硬件,不能无条件外推。
作者 Daniel Lemire 提出,具备 agentic 能力的 AI 很快能让非顶尖数学家、甚至优秀高中生生成相当于数学博士论文的成果,从而击穿学术界以论文为筛选信号的“人才分类机器”。他认为自 1970 年代同行评审普及以来,研究被封闭成孤岛社群,学术产出的实际功能变成分配教职(博士获得终身轨职位概率约 10% 且持续下降),而非服务真实需求。他援引自己 2024 年发表于 CACM 的文章,主张评价重心应从“发表论文”转向解决问题的实际影响,并预测“论文作为最终产出”的地位会逐步削弱。文章的边界也很明显:以论断和预言为主,缺少数据支撑,也主要针对数学等学科,并未给出替代评估体系的可操作设计。
推荐收录:作者以自身 CACM 2024 文章和同行评审的历史演变为依据,论证 AI 正在瓦解以论文数量与同行评审为核心的人才筛选机制,并主张用问题解决和实际影响替代发表计数。对关心科研评价改革、读研与学术职业路径选择、以及 AI 时代研究方向判断的读者有明确参考价值。主要风险是文章以预言和立场表达为主,缺乏数据与替代方案细节,读者需自行补充证据。
推荐收录,因为文章用可核对的跑分、频率、晶体管数和微架构参数(调度宽度、ROB、缓存容量、SIMD 位宽)把“额外晶体管如何转化为性能”讲清楚,而非停留在简单跑分对比。适合关注 CPU 微架构、性能优化与硬件选型的读者,可作为理解近年 x86 核心变宽与 AVX-512 式扩展趋势的参考;主要风险是数据仅来自单一合成基准,缺少能效与真实工作负载维度。
文章从数学家对 OpenAI 的公开信切入,讨论 AI 在数学证明与软件开发中的作用。作者以 1976 年四色定理的计算机证明、自己博士期间使用符号代数软件的经历,以及 Doron Zeilberger 2009 年的预言为线索,说明计算机辅助研究早已引发争议。公开信担心 AI 损害概念理解、署名和学术训练,但作者认为这忽略了学生可能以不同方式研究数学,也低估了加速进展对社会贡献的提升。核心结论是:数学证明和代码编写都将越来越多地借助 AI,坚持纸笔的研究者更像艺术家,其他人需要学会与 AI 协作。文章是观点性评论,未提供实证数据或技术方案。
推荐收录,因为它以四色定理、Zeilberger 预言和数学家公开信为线索,清晰呈现 AI 介入数学证明与代码编写后围绕署名、概念理解和科研训练的冲突。适合关注 AI for Science、科研评价和开发者角色变化的读者,可作为讨论人机协作与学术贡献的参考。主要风险是文章属于短篇观点评论,缺少实证数据和技术细节,不适合当作可复现的方法或工程方案。
作者将当前 AI 辅助编程产生大量代码的现象,与20世纪60-70年代程序员数量激增导致的软件危机进行类比,指出若缺乏纪律约束,AI 生成代码可能让系统质量失控。他提出分层模型:核心层变化缓慢,必须由人阅读代码并强制测试,即使使用 AI 也不允许“vibe coding”;外围层可以快速迭代,允许出现 bug 并由 AI 快速修复。核心层与外围层之间的依赖必须是单向的:外围依赖核心,核心不能依赖外围。文章强调核心区的严格把关与外围区的试错平衡,并指出依赖方向的维持是关键。虽然是一篇方法论随笔而非实证研究,也未涉及工具层面的具体实现,但它为 AI 时代如何组织代码库提供了一种可执行的设计约束。
推荐收录,因为文章针对 AI 辅助编程这一热点提出了有辨识度的分层设计原则,将代码库按变化速度和验证强度分区,并明确了依赖方向,具有直接的可操作性。适合关注 AI 工程实践、软件架构与工程文化的读者,可作为团队制定 AI 编码规范和代码评审策略的参考,其思想也能迁移到非 AI 场景的代码组织与治理中。
文章介绍了 Go 语言的 Profile-guided optimization (PGO) 原理与使用方法。作者解释了编译器在缺乏运行时信息时依赖启发式做优化决策,而 PGO 通过收集 CPU profile 让编译器了解热路径,从而更激进地内联热函数和去虚拟化接口调用。文中通过三个 JSON 文档的解析基准测试,展示了 PGO 可带来 2–4% 的吞吐量提升,但效果因训练数据与工作负载匹配程度而异,甚至可能出现略微性能回退。作者指出 Go 的 PGO 优化幅度有限但成本近乎为零,适合在发行版构建中默认启用。整体内容提供了可操作的实践指南和定量参考,但仅覆盖单个简单解析场景,未涉及更复杂的工作负载或 profile 采样策略。
本文以清晰的步骤和实际数据展示了 Go PGO 的用法与效果,避免了纯理论描述,为需要优化 Go 程序性能的开发者提供了可直接尝试的方法和预期参考。实验规模虽小,但结论谨慎,强调了 workload 匹配的重要性,可迁移到其他 Go 项目的构建流水线中。适合关注编译器优化、性能工程和 Go 工具链的读者。
推荐收录,因为文章提供了针对 std::hive 的详细基准测试,用数据揭示了其与 vector 和 list 的性能差距和原因(如指令开销、缓存局部性、自动向量化影响),并给出了实际使用建议。适合 C++ 系统编程和性能优化场景的读者,可帮助他们在需要稳定引用与快速删除时做出容器选择,且评测方法论可迁移至其他数据结构的性能对比。