**华人初创用 AI 将 20 年数学百科全书转化为可验证代码**

_650多人编写20年的数学“百科全书”，华人初创用AI将其转化为可验证代码_

> 针对 Stacks Project 这一收录 2 万多个代数几何结论的“维基百科”，华人初创公司利用 AI 技术，成功将其转化为计算机可逐步检验的代码版本，解决了学者查证基础结论的难题。

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