Verification

Anthropic发布了FlashProve，这是一个研究原型，利用密码学来验证AI回复是否来自所声称的模型，而无需暴露其权重。该公司表示，该系统仍存在重大局限。

Research • The Decoder

OpenAI 宣布其模型在三个科学问题上产生了新结果，包括证明指数时间假说是错误的证据。该公司正在与学术界分享这些结果，以供验证和进一步研究。

AI 研究 • Hacker News

生产力

AI可以为开源库生成数学安全证明，增强软件验证并减少漏洞。

&Truth • Seed

&Truth是一家押注AI使正式软件验证变得切实可行的初创公司，作为该领域一波初创企业浪潮的一部分，该公司以7000万美元的种子轮融资启动。