deterministic-ai

Pramaana Labs 获得了由 Khosla Ventures 领投的 2700 万美元种子轮融资，旨在应用形式化验证（使用 LEAN 编程语言）来提高在诸如法律、药物发现和税务准备等高风险领域中的 AI 可靠性。

作者详细阐述了构建确定性自主交易代理所面临的挑战，该系统采用Rust执行层和基于Claude/OpenAI的Python AI层，重点强调了硬编码风险管理在防止情绪化或不一致交易中的关键作用。

作者详细阐述了不让LLM生成最终事实核查判定的决定，转而采用混合架构：LLM负责数据提取，确定性Python层负责评分，并指出了随机不稳定性和可审计性的问题。