普林斯顿大学团队基于开源模型DeepSeek-V4-Flash开发的Goedel-Architect智能体框架，在形式化定理证明中实现500倍成本优势，以294美元完成此前需17万美元的评测，并在多项基准测试中刷新纪录。
