#智能体框架
共 8 条 · 7 天 0 条 · 30 天 1 条
信息流里打上「智能体框架」标签的资讯、产品与论文，按刊登时间排，新的在上。
9月29日
9月7日
7月16日
SpaceXAI 开源 Grok Build 并重置全体用户额度
SpaceXAI 把 Grok Build 全开源了，还重置了额度。想看看生产级 coding agent 怎么搭的？直接去 GitHub 读源码。
6月24日
6月12日
Recursive Agent Harness：递归智能体框架提升长上下文推理
RAH 解决了长上下文推理中智能体扩展性的核心瓶颈，做复杂编码任务或智能体系统的开发者可以直接参考其设计思路，效果提升显著。
6月8日
华盛顿考虑入股OpenAI，超级应用即将到来
政府入股OpenAI和超级应用计划都是行业风向标，关注AI政策与产品趋势的读者值得一看。做销售或市场的人可以留意那个智能体框架，每天找五个客户听起来很实用。
6月5日
Google LEAP：让通用LLM形式数学证明成功率从10%飙升至70%
做 AI 推理、数学证明或形式化验证的团队会发现，LEAP 把通用 LLM 的数学能力拉高了一个量级——不用专用模型也能解 IMO 级难题，值得直接看论文复现思路。
Goedel-Architect：通过蓝图生成与精炼实现形式化定理证明新突破
形式化定理证明一直门槛高、成本高，Goedel-Architect 用蓝图+精炼策略大幅提升效率，做数学证明或形式化验证的团队值得关注，开源且成本极低。