| 机构 | 期限 / 合同 | 用户数 | 费用 | 证据 |
|---|---|---|---|---|
| 🇺🇸 NASA | `80NSSC25FA108`，2024 | 最多 70 | \$24,569.35 | 来源 |
| 🇺🇸 NASA | `80NSSC25FA471`，2025–26 | — | \$36,183.91 | 来源 |
| 🇺🇸 NIH | FY2024 | 最多 25 | \$9,235.05 | 来源 |
| 🇺🇸 美国海军研究实验室（Naval Research Laboratory） | `N0017323P5005`，2023–24 | 37 | \~\$11,900 | 来源 |
| 🇺🇸 NSWC Philadelphia | `N6449821P5224`，2021–24 | — | \~\$24,800 | 来源 |
| 🇺🇸 美国财政部 OFR | `20341524P00017`，2024–25 | — | \~\$19,400 | 来源 |
| 🇩🇪 马克斯·普朗克学会 / MPDL | `42823`，2026–29 | 3,600 | €553,672 | 来源 |
| 🇩🇪 罗斯托克大学（University of Rostock） | 自 2023 年起 | — | — | 来源 |
| 🇩🇪 慕尼黑工业大学（Technical University of Munich） | 当前 | — | — | 来源 |
| 🇩🇪 康斯坦茨大学（University of Konstanz） | 当前 | — | — | 来源 |
| 🇩🇪 GWDG | 至少自 2021 年起 | — | — | 来源 |
| 🇩🇪 美因茨约翰内斯·古腾堡大学（Johannes Gutenberg University Mainz） | 至 2025 年 5 月 | — | — | 来源 |
| 🇧🇪 冯·卡门研究所（von Karman Institute） | 自 2020 年起 | 290+ | — | 来源 |
| 🇺🇸 布鲁克海文国家实验室（Brookhaven National Laboratory） | 2021 年试用 | — | — | 来源 |
| 功能 | Overleaf Community | Overleaf Server Pro | Ayakaleaf Pro（我们） |
|---|---|---|---|
| 强大的 LaTeX 编辑器 | ✓ | ✓ | ✓ |
| 完整的项目历史 | ✓ | ✓ | ✓ |
| 评论 | X | ✓ | ✓ |
| 实时修订追踪 | X | ✓ | ✓ |
| 便捷的内部协作 | X | ✓ | ✓ |
| 私有模板管理系统 | X | ✓ | ✓ |
| Git 集成 | X | ✓ | ✓ |
| 符号面板 | X | ✓ | ✓ |
| 管理面板 | X | ✓ | ✓ |
| SSO 集成 | X | ✓ | ✓ |
| GitHub 集成 | X | X | ✓ |
| Zotero 集成 | X | X | ✓ |
| 高级参考文献搜索 | X | X | ✓ |
| Pandoc 导入/导出 | X | X | ✓ |
| Python 脚本运行器 | X | X | ✓ |
尽管许多人大肆宣扬"Overleaf 已死、Prism 将成为最好的免费 LaTeX 编辑器"，但我们发现 Prism 距离成熟产品还有很长的路要走。
下面的截图记录了 OpenAI 社区中关于 Prism 的一段讨论。大多数评论认为 Prism 漏洞较多，尚不适合日常使用。
构建一个可靠的在线 LaTeX 编辑器远非易事。 根据我们的观察，Prism 会在打开项目时创建一个沙盒并保持其运行，这很可能是因为 Codex 需要在后台保持可用。这样当用户开始 AI 对话时，Codex 就能快速响应。在我们的测试中，每个沙盒大约分配了 5 个 vCPU、6 GB 内存和 64 GB 磁盘空间。
当成千上万的用户同时编辑 LaTeX 项目时，这种架构可能会带来可观的计算开销。Ayakaleaf 采用了不同的方式：仅在请求编译时才创建沙盒。每次编译限制为 1 个 vCPU 和 1 GB 内存，编译完成后沙盒即被销毁。这显著减少了持续性的资源消耗，也让大规模部署的容量规划更加可预测。
更广泛地说，Prism 说明了即使拥有强大的模型和成熟的开源软件生态，要将 AI 能力与可靠的在线开发环境结合起来仍然十分困难。AI 可以改善体验，但无法替代扎实的系统工程。归根结底，用户依赖的是可靠、可预测且稳定的服务。
### 为什么选择 Ayakaleaf Pro？
**Ayakaleaf Pro** 是 Overleaf 社区版的一个分支，它为自托管部署带来了 Server Pro 级别和 SaaS 级别的功能——无需按用户购买许可证。它与上游 Overleaf 代码库保持同步，因此你可以获得熟悉的编辑器和工作流程，此外还有：
* 沙盒化 LaTeX 编译
* 多个 TeX Live 版本
* 修订追踪与评论
* Git 与 GitHub 集成
* SSO 与管理面板
* 私有模板管理
* Zotero 与高级参考文献搜索
* Pandoc 导入/导出
* Python 脚本运行器
* 无按用户收取的许可费用
我们的目标是提供更完整的自托管 Overleaf 体验——无需 Server Pro 许可证或 SaaS 订阅。Ayakaleaf Pro 保留了熟悉的 Overleaf 工作流程和上游兼容性，同时增加了协作、管理、集成和安全编译等功能。
### 为什么我们总在重复造轮子？
有一个更宏观的问题值得思考：***当一个成熟的开源项目已经解决了大部分难题时，为什么人们的第一反应往往是从头重写***？
重新实现一个编辑器、一个实时协作层、一条编译流水线，以及多年积累下来的各种边界情况修复，成本极其高昂——而且其中大部分精力都花在重新发现原项目早已解决的问题上。在大多数情况下，在坚实的基础上进行扩展，并将缺失的部分贡献回去，才是更务实的工程选择。
我真正想说的是：
> *在 AI 时代，人们热衷于炫耀。*
"我自己做了一个 Overleaf"听起来远比"我给 Overleaf 加了一些功能"更令人印象深刻——所以人们更愿意讲前一个故事。这也是为什么似乎每个月都会冒出一个新的"AI LaTeX 编辑器"。
但实际上，这些借助 AI 重写的产品，远远达不到像 Overleaf 这样经过十年真实环境实战检验所带来的可靠性和成熟度。给它们两个月时间，它们就会像二月里的圣诞玩具一样被抛弃。相信我。
This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.