Legora CTO Jacob Lauritzen 谈为律师构建 AI 智能体
Latent Space 播客对话 Legora CTO Jacob Lauritzen，讨论为律师构建 AI 智能体以及其他智能体团队可借鉴的经验。Legora 从斯德哥尔摩地下室的 ChatGPT 加瑞典法律检索起步，如今智能体可起草和编辑 Word 文档、批量审阅数千份合同，并在律师、客户与其他智能体之间协调工作。
#评测/基准
Latent SpaceAI 评分5858
Import AIAI 评分6060 Import AI 478：数学形式化助力对齐、ProgramBench 与 Mirendil 展示 RSI 雏形
Import AI 第 478 期汇总了多项 AI 研究进展。AI 安全初创公司 Resolution 用智能体自动形式化了奇点消解相关数学内容，耗时约一周、花费约 13.5 万美元 token 费用，产出约 60 万行 Lean 代码。