返回 文章 学习 CMS 文章

OpenAI 新模型提升 COBOL、Fortran 等低资源语言编码能力

OpenAI 新模型在低资源语言编码任务上大幅提升准确率并降低成本,同时开源评估基准。

OpenAI低资源编程语言COBOLFortran
成长分 / 100 68 综合收获、行动、留存与影响

OpenAI 新模型提升 COBOL、Fortran 等低资源语言编码能力
为什么值得读了解 AI 在 COBOL、Fortran 等关键但低资源语言上的最新能力进展。

获取 MultiLangBench 和 COBOL 迁移评估的具体性能数据与成本对比。

关键洞察
  1. GPT‑6 Astra 在 MultiLangBench 上平均测试通过率达 87.4%,远超 GPT‑5.6 Sol 的 26.8%,且在全部 20 种语言上均有提升。
  2. GPT‑6 Luna 以约 78% 更低的 API 成本达到 40.3% 的平均通过率,同样优于 GPT‑5.6 Sol。
  3. 在 COBOL 迁移评估中,GPT‑6.1 Sol 低推理努力下准确率 86.6%(GPT‑5.6 Sol 仅 5.4%),成本低 39%;高推理努力下准确率达 97.9%。
转成行动

深入阅读

正文与原文对照

原文保真覆盖:全文原文字符:6952

我们最新的模型进展为使用 COBOL、Fortran 和 Visual Basic 等低资源编程语言构建和迁移软件带来了更强的能力。与 Python 和 JavaScript 等语言相比,这些语言可供模型学习的代码和文档较少,但它们支撑着全球的关键基础设施和基本服务。COBOL 支持⁠超过 40% 的网上银行系统、80% 的面对面信用卡交易和 95% 的 ATM 交易,而 Fortran 被用于天气预报⁠和核反应堆安全分析⁠。提升 AI 在这些语言中的工作能力,可以帮助团队维护和现代化基本服务所依赖的软件。

这项工作以开发者和企业客户的反馈为指导,他们告诉我们,编码模型往往难以处理这些语言。维护和现代化这类软件可能很困难:文档可能不完整,最初的开发者可能已经离开公司,重要的业务规则可能只存在于代码中。无论团队是在修复缺陷还是迁移到另一种语言,他们都需要保留其系统所依赖的行为。

为了衡量进展,我们开发了两项评估。MultiLangBench 测试模型能否在 20 种不同的编程语言中从零构建一个兼容 SQLite 的数据库引擎。我们的 COBOL 迁移评估测试模型能否将现有程序迁移到另一种语言,同时保留其行为。两者共同测试了两项互补的技能:构建新软件,以及保留现有软件的行为。

我们最新的模型在两项评估中都显示出大幅提升,以更低的成本实现了更高的准确率。

在 MultiLangBench 上,GPT‑6 Astra 在 20 种编程语言中实现了 87.4% 的平均测试通过率,高于 GPT‑5.6 Sol 的 26.8%,且所测试的每种语言都有提升。GPT‑6 Luna 也优于 GPT‑5.6 Sol,达到 40.3%,而估计 API 成本约低 78%。

在我们的 COBOL 迁移评估中,GPT‑6.1 Sol 在低推理努力下达到 86.6% 的准确率,而 GPT‑5.6 Sol 仅为 5.4%,同时成本低 39%。在更高的推理努力下,准确率达到 97.9%,几乎使该评估饱和。

这些结果共同表明,我们的模型在处理多种编程语言方面正变得显著更好,同时也变得更具成本效益。

1. 从零构建 SQLite(MultiLangBench)

MultiLangBench 要求模型用指定的编程语言构建一个兼容 SQLite 的数据库引擎。模型必须组织代码库、管理状态、处理错误,并在保留现有功能的同时添加新功能。

为了比较不同语言的实现,我们使用数据库文件作为共享接口。候选程序接收一个初始数据库和一条 SQL 查询,然后生成一个修改后的数据库。我们使用参考 SQLite 实现来检查生成的数据库是否具有预期内容。这使我们能够应用相同的测试,无论构建引擎使用何种语言。

我们将 SQLite 现有测试套件中的测试改编为此格式。该评估衡量模型在较长的编码会话中能构建多少可用的功能,并报告测试通过率和 API 成本。

在最大推理努力下,GPT‑6 Astra 在 20 种语言中实现了 87.4% 的平均测试通过率,高于 GPT‑5.6 Sol 的 26.8%。提升覆盖了所测试的每种语言,包括 COBOL(10.9% 至 72.1%)、OCaml(25.6% 至 85.8%)、Fortran(21.4% 至 83.5%)和 Visual Basic(27.5% 至 89.4%)。Astra 在 20 种语言中的 19 种得分超过 83%,其中 COBOL 仍是最难的,为 72%。

GPT‑6 Luna 提供了一种成本更低的选项,在所测试的每种语言中也优于 GPT‑5.6 Sol。在最大推理努力下,它达到 40.3% 的平均测试通过率。提升包括 COBOL(10.9% 至 17.1%)、OCaml(25.6% 至 34.1%)、Fortran(21.4% 至 31.4%)和 Visual Basic(27.5% 至 41.6%)。这些提升的估计平均 API 成本为每个样本 0.77 美元,而 GPT‑5.6 Sol 为 3.48 美元,约低 78%。

我们正在 GitHub⁠ 上发布 MultiLangBench 评估设置和测试套件,以及每种语言的结果。开发者可以检查该评估测试的内容,查看他们所用语言的性能,并找出对其自身工作重要的差距。

2. 迁移 COBOL 代码库

我们的第二项评估要求模型将 COBOL 程序迁移到 C++、Java、Kotlin、Python 或 Rust,同时保留每个程序的行为。

成功的迁移需要理解程序的业务逻辑和 COBOL 的特定语言行为。COBOL 程序通常处理金融交易和业务记录,其中舍入规则和缺失记录处理等细节反映了业务需求。例如,COBOL 的定点算术会丢弃多余的小数位,除非明确要求舍入。如果重写时改为对这些值进行舍入,可能运行时不报错,却产生不同的财务结果。

为了测试这些行为是否被保留,我们在隐藏测试上评估我们的模型,这些测试要求可观察输出逐字节一致。只有当所有测试都通过时,迁移才被视为成功。这类保留行为的能力对维护和现代化旧系统的团队很有用,不过将其应用于生产软件仍需要专家审查,并针对系统的业务规则和依赖项进行测试。

在这项评估中,GPT‑6.1 Sol 在低推理努力下达到 86.6% 的准确率,而 GPT‑5.6 Sol 在相同设置下仅为 5.4%,且 API 成本仅为后者的 61%。在更高推理努力下,准确率达到 97.9%,使该评估接近饱和。这些评估结果展示了在为团队现代化其业务所依赖的软件方面,朝着更准确、更经济的代码迁移所取得的进展。

推进企业软件的能力

这些评估,连同来自开发者和企业客户的直接反馈,帮助我们了解模型在哪些方面正在改进,以及在哪些方面仍有不足。

我们的目标是帮助模型将软件工程技能应用于更多语言:理解不熟悉的代码仓库、规划变更、使用构建工具、运行测试以及调试失败。

你可以通过 API 在团队所用语言的编码任务上试用我们的最新模型。你对哪些方面有效、模型在哪些方面存在困难,以及我们接下来应关注哪些语言或工作流的反馈,有助于塑造我们训练和评估模型的方式,从而更好地支持你所依赖的软件。