Claude用1.8亿行形式化证明验证开源软件安全

2026-10-28 20:29:28 量子位 北京 举报
0
分享至

点击按住拖动小窗

关闭
热门视频

女子去娘家接儿子时，没想到却看到了这一幕……

 重播
量子位的头像
incentive-icons
量子位
17.7万粉丝 追踪人工智能动态
世界模型还得是谷歌！直出有声世界，边玩边改NPC还能互动 01:04 世界模型还得是谷歌！直出有声世界，边玩边改NPC还能互动
一条提示词让Opus把口播剪成3D成片，Codex也能复刻 01:55 一条提示词让Opus把口播剪成3D成片，Codex也能复刻
GPT删掉安全监控后还说“耶” 01:43 GPT删掉安全监控后还说“耶”
AI为通过安全评测又投毒又开小号 02:11 AI为通过安全评测又投毒又开小号
达里奥兄妹访谈：GPT-2当年就让他害怕 02:47 达里奥兄妹访谈：GPT-2当年就让他害怕
不刷BIOS不改驱动 开源工具让N卡算力起飞？ 01:13 不刷BIOS不改驱动 开源工具让N卡算力起飞？
27款模型PK用代码写视频，垫底居然是它？ 01:39 27款模型PK用代码写视频，垫底居然是它？
AI移植Switch游戏火了：手机原生运行动森、赛尔达…… 01:49 AI移植Switch游戏火了：手机原生运行动森、赛尔达……
从∞到186，AI推进孪生素数猜想后，人类还能做什么？ 12:46 从∞到186，AI推进孪生素数猜想后，人类还能做什么？
网易新闻 iOS Android

猜你喜欢

今日推荐

热门视频

合作媒体 网易公开课 网易科技 网易教育 网易时尚 网易亲子
© 1997-2026 网易公司版权所有 About NetEase | 公司简介 | 联系方法 | 招聘信息 | 客户服务 | 隐私政策 | 不良信息举报 Complaint Center | 廉正举报 | 侵权投诉
无障碍浏览 进入关怀版