据 NEAR Protocol 联合创始人 Illia Polosukhin 周一在接受 The Block 采访时表示,人工智能如今正在让黑客比传统安全审查更快发现软件漏洞,而传统安全审查往往还来不及修补。Polosukhin 认为,传统做法——由经验丰富的开发人员手动审查代码——在考虑到升级到新一代 AI 模型的能力之后,已经不可持续。他提出形式化验证,即在数学上证明代码“确实做到了它所声称的事”。尽管从历史上看,这项工作昂贵且耗费人力,但 AI 现在可以帮助生成大部分所需的证明,而这些证明还能被独立地验证。作为示范,Zcash 计划通过 Project Tachyon 使用 AI 辅助验证,在数周而非数年内产出了一份数学证明。
根据 FDA 的说法,该机构周一澄清称,在对 Taylor Farms de Mexico 的一份冰山生菜样本进行检测时,显示携带嗜麦芽隐孢子虫(cyclospora)的结果为假阳性。然而,该机构仍维持其结论:影响 1,600 多人的多州疫情与来自 Taylor Farms 位于墨西哥中部地区的切碎冰山生菜有关。此次疫情已在超过 30 个州得到隔离控制,FDA 继续建议美国民众不要食用该公司召回的冰山生菜。