开放智能峰会收官：验证、专业化与记忆成为三大主线

开放智能峰会收官，与会者将验证、专业化和记忆概括为全场三条讨论主线。验证议题关注可检验证明与形式化验证作为护栏，专业化议题讨论单一通用模型与专精智能体市场之争，记忆议题指出当前智能体仍缺乏长期记忆能力。