开源AI深读：从下载权重，到可控制、可验证的协作

01开放权重不等于完整的开源AI

活动11讨论开放协作与Agent权限。本页的OSI、x402、ERC-4337及Lean是独立补充，不代表现场采用或圆桌共识。能否下载、是否允许改用、能否重建，是三个不同问题。

OSI的Open Source AI Definition 1.0要求使用、研究、修改与分享的自由，并要求取得适于修改的形式，包括训练数据信息、训练和运行代码、模型参数。因此只有权重可下载，或者附有用途限制，不能据此声称符合这一定义。[1]

定义要求详细数据信息，不等于所有原始数据必须公开；不可分享的数据仍须说明来源、性质与处理。符合开放标准，也不保证人人负担得起训练费用：拿到配方，不等于拥有工业厨房。[1]

02本地推理减少外传，不等于整个产品离线

以Ollama为例，官方FAQ说明本地运行时服务方看不到提示词和数据，并提供关闭云模型及网页搜索的本地模式；默认服务绑定回环地址。这些是具体产品及配置的性质，不应推广成任何“本地AI”都不会联网。[2]

医院把模型放在院内，仍可能通过插件搜索、远程向量库、遥测、崩溃日志或云备份泄露病历。验证范围应覆盖从文档导入、检索、推理到保存结果的整条路径，还应检查谁能访问本机接口。加密传输解决途中窃听，不能阻止被授权接收数据的外部服务看到内容。

本地部署要承担显存、升级与安全维护成本；量化或小模型也可能损失任务质量。应比较同一任务的质量、时延和外传边界，而非只看能否启动。

03x402让接口报出价格，不替接口保证交付

x402利用HTTP 402返回付款要求。在V2中，服务端用PAYMENT-REQUIRED表达价格、网络和收款地址，客户端重试时用PAYMENT-SIGNATURE携带付款授权，服务端以PAYMENT-RESPONSE反馈结算结果。具体方案可能即时结算，也可能先确认授权、以后批量结算，不能把每次HTTP往返都说成已经链上最终到账。[3]

教学例子：Agent收到一次天气查询0.01 USDC的报价，先核对商户、链、币种和预算，再授权。付款不证明数据正确，同一请求重试也不应未经检查再次扣款。

验收、退款、幂等和争议处理仍要另定。接口能够收钱，不代表它有权替用户订车；支付协议不会自动提供真实服务入口。

04ERC-4337是权限实现的基础，不是现成限额保险箱

ERC-4337用UserOperation表达账户操作，由bundler打包交给EntryPoint，智能账户执行自己的验证逻辑；paymaster可以承担费用。规范定义了nonce、有效期和签名域等结构，但签名如何解释由账户实现决定，Agent会话密钥、白名单和消费上限并不是自动附送的完整产品。[4]

例如只准某代理在一天内购买指定服务，单次不超过一元、总额不超过十元。账户必须实际检查目标、方法、币种、金额、有效期与累计支出，并限制批量调用或转授权绕过这些检查。仅检查“签名有效”，仍可能放行被提示注入诱导出来的恶意操作。

更要区分不同付款路径：链上账户规则不会自动覆盖模型拿到裸私钥后签出的所有链外付款授权。独立签名服务也应执行同样的策略，根密钥不能直接交给模型。测试还要包含并发扣费、撤销旧权限和跨链重放，而非只看正常请求通过。

05贡献记录不是贡献价值

提交记录不证明模型改进因它而来。两份数据可能重复，也可能只有一起出现才有效；维护和文档的价值不一定反映在精度上。按行数或次数分钱，容易奖励廉价的可计数产出。

Data Shapley研究把数据价值联系到指定学习任务中的预测性能，并给出蒙特卡洛、梯度等近似估计方法。[5]这提供了反事实比较的方向，但不是天然客观的价格：换训练算法、评测集或性能指标，评价就可能改变，估计还要支付计算成本。

我的分析：开源团队应把署名、使用许可、质量验收和报酬分成四张表。先公开资助目标与评测规则，再记录版本、复现实验和人工复核结论；可追溯记录用于减少争议，不应包装成已经实现自动公平分账。

06Lean能检查证明，但不会替人选择正确命题

Lean文档将形式化验证定义为用数学精确表达性质，再构造可检查的证明。寻找证明与检查证明是不同职责，复杂证明仍需人的建模工作，并非让另一个模型复读代码。[6]

支付模块可先表达一个小性质：只要余额与扣费规则符合假设，所有可达状态的累计授权支出都不超过上限。AI可以帮助生成证明草稿，但最终应由证明系统检查，且不能留下未证明的假设来掩盖缺口。

代价在规格维护、状态建模与实现对应。模型证明不自动覆盖部署字节码、接口和密钥管理。应优先证明高损失的不变量，再结合测试审计，而非宣称整套AI系统获得数学担保。

08可验证清单

要求演示者给出可复现证据，而不只是“开源、隐私、自动支付”的标签。

• 开放与数据边界：核对许可证、训练代码与数据信息；禁用云功能并抓取受控测试流量，检查提示词、日志和检索是否外传。[1][2]
• 最小付款权限：测试超额、陌生商户、过期授权、并发与重放均被拒绝；确认接口收费失败或交付失败时如何退款。[3][4]
• 归因与证明：公开评测版本、计算成本、人工申诉入口及证明所依赖的假设；区别模型性质证明与生产系统端到端验证。[5][6]

资料与延伸阅读

下列资料支持技术与制度背景；分析、方案设计和示例推演由本篇作者给出，并非对现场发言的逐句复述。

1. The Open Source AI Definition 1.0Open Source Initiative
2. FAQ：本地数据、云功能与网络配置Ollama
3. HTTP 402：x402 V2付款头与结算差异x402
4. ERC-4337: Account Abstraction Using Alt MempoolEthereum Improvement Proposals
5. Data Shapley: Equitable Valuation of Data for Machine LearningPMLR / ICML 2019
6. Theorem Proving in Lean 4 — IntroductionLean