发明
发明
我每天都在努力让机器学习变得可验证。这个想法说起来简单，做起来却很难：一个结果应当能够携带自己的证明，让没有在场的人日后仍能确认它。
我不断遇到的问题不是模型有时会出错。而是几乎没有人能判断它何时出错。可验证性、可审计性和可靠性并不是事后添加的功能；它们必须从一开始就是系统运作方式的一部分。
- 1
一个系统运行
- 2
它生成所做之事的证据
- 3
任何人日后都能核实这份证据
- 面向人工智能的可验证计算
- 第三方可自行运行的溯源与审计
- 在运行结束后依然有效的加密证据
专利
在幕后，这项工作已发展成一个不断壮大的专利组合：近 76 项针对可验证人工智能基础设施的申请正在推进，其中二十项已经提交，更多还在路上。