开放智能基金会活动三大主线：验证、专业化智能体市场与团队记忆

Open Intelligence Foundation 活动的讨论集中在三条主线：以可检验证明和形式化验证建立护栏，探讨单一模型与专业化智能体协作的市场，并关注团队隐性代码知识难以注入上下文的问题。其中，NEAR AI 的 Agent Market 构成专业化协作的讨论背景。