OpenAI 发布了一份实地报告,汇总了研究人员使用编程智能体对科学计算软件进行现代化改造的 8 个项目[1]。项目集中在基因组学等数据量庞大的领域,其中 5 个仅使用 Codex,另外 3 个则将 Codex 与 Claude Code 搭配使用。这份报告实地检验了长期因人手不足而被搁置的科研软件维护工作,究竟能在多大程度上交给智能体。

论文附带的代码,直接成了科研基础设施

科学计算是学术界与产业界共同的支柱,但报告的出发点很直接:软件的演进速度跟不上数据生成的速度[1]。许多被广泛使用的科研工具,最初只是论文附带的代码,编写者是不具备软件工程背景的小型学术团队,能投入到打包、测试、优化和长期维护上的时间少之又少。

结果留下的,是缓慢、脆弱且需要持续修补的科研基础设施。OpenAI 在报告中引用了针对已发表科研代码与组学工具的先行研究,指出这类软件常常无法在全新的计算环境中顺利安装,或者无法按照文档说明运行[1]。研究人员因此在配置和调试上耗费大量时间,发现的节奏也随之放慢。

8 个案例,5 个仅用 Codex、3 个搭配 Claude Code

这份实地报告收集了以生命科学为主的 8 个项目,每个案例都由负责的团队自己撰写[1]。内容涵盖日常维护、局部提速,一直到大规模的语言迁移和面向 GPU 的重新设计。

其中一个具体例子,是用于读写基因组变异数据的 Python 库 cyvcf2 的现代化改造。GPT-5.5 将其陈旧的构建与打包机制,替换为可以统一处理安装、测试和发布的新方案[1]。cyvcf2 是用 Cython 封装 htslib 的高速 VCF 解析器,由犹他大学的 Brent Pedersen 与 Aaron Quinlan 开发,以 MIT 许可证公开[2][3]。它的诞生源于一个现实问题:面对动辄数千万条变异的研究,已有的库速度不够用[2]。

cyvcf2 的作者 Pedersen 在报告中表示:借助编程智能体,走得快很容易;但就目前而言,要在科学上走得远,仍然需要专家的引导与理解、判断力和细致[1]。

瓶颈已从实现转移到验证

各团队的共识之一,是研究人员的角色从实现转向了验证与统筹[1]。确定要做什么、定义如何衡量正确性、判断何时算完成。科学方向和质量标准仍掌握在人手中,智能体负责的是把速度提上去。

另一方面,智能体虽然能出色完成范围明确的任务,却无法自行判断成果在科学上是否成立[1]。即便工作中存在明显错误,它们也常常表现得相当自信。因此人工验证必须依靠外部基准或可量化的验收标准,例如输出与既有工具完全一致、统计行为是否合理,或者与事先用模拟数据准备好的答案是否吻合。

推进方式也不是一次成型,而是分阶段迭代。团队把大目标拆成小的改动,借助中间基准和测试环境反复打磨。初版实现往往很快就能拿出来,但处理边界情况和细微的数值差异要花更长时间,所谓的最后一公里成了最吃力的环节[1]。

谁来接手维护

实现成本下降后,相似的重写很容易泛滥。用户被分散,用于保障单个工具可靠性的专家精力也被稀释,这是报告点出的风险[1]。成熟的软件里包含着未写入文档的惯例、兼容性要求以及长期积累的用户信任,仅靠移植源代码无法复现。

8 个项目的处理方式各不相同。MHCflurry 与 cyvcf2 的改动被并入了原始项目主线,而 rustar-aligner 因为原项目已被弃置,转由新的社区接手维护[1]。报告的结论是:只要还能与现有维护者协调,就应尽早开始;确实需要另起炉灶时,则必须有明确的负责人和可信的维护计划。否则,今天的现代化重写,不过是明天的弃置代码。

总结

OpenAI 公开的这份实地报告,通过 8 个案例说明 Codex 等编程智能体确实在降低科学软件的维护、迁移与优化成本。但判断成果是否在科学上成立仍由人来完成,瓶颈已经从实现转移到验证。智能体越快,谁来长期持有这些工具的问题就越沉重。

来源[1]: https://openai.com/index/scientific-computing-agentic-ai

来源[2]: https://academic.oup.com/bioinformatics/article/33/12/1867/2971439

来源[3]: https://github.com/brentp/cyvcf2