**华人AI初创完成数学史上最长证明的形式化验证，24天写出4310万行代码，全部开源**

> 近一个月以来，AI 正逐步探入数学研究的腹地。10 月 6 日，OpenAI 在代码托管平台 GitHub 上一次性公开了 722 份由内部模型生成的数学手稿，涉及数百个开放问题；10 月 26 日，OpenAI 团队又公布了其模型在调和分析、计算复杂性理论和量子场论上的新发现。

**来源信息**
- **来源**：麻省理工科技评论中文版：资讯（API）
- **分类**：ai-models
- **发布时间**：2026-10-29 11:27（北京时间）
- **原文**：[打开原文](https://www.mittrchina.com/news/detail/17158)