AGI Hunt· JonathanRoss321·· 4 小时前AI 评分40
&Truth(PBC) 创办：用形式化证明建立 AI 时代的可验证信任
Lean 生态大佬出新公司 &Truth:要给 AI 时代的代码做可验证性证明
AI 导读
Clark Barrett 与 Chris Hsu、Ilya Sergey 共同创办 &Truth(PBC)，目标是打造能读取任何语言代码的“通用验证机器”。该机器拟以数学化方式证明软件的安全、可靠与正确，并允许任何人独立检验证明过程。
来源：AGI Hunt · agihunt.info