AI用24天将1.5万页数学证明转为4300万行代码

AI用24天将1.5万页数学证明转为4300万行代码
编辑|Neo 100 多位顶尖数学家,耗费数十年,写下 1.5 万页证明。 现在,AI 只用了 24 天,就把这项人类数学史上最庞大的工程之一,变成了 4300 多万行可以由计算机逐步验证的代码。 更惊人的是,AI 在检查这些数学家留下的证明时,还揪出了一个存在近 40 年的论证...
安全 方向最近有哪些内容值得看
安全 方向的重要产品、公司和事件变化,会在这里更集中地出现。
AI用24天将1.5万页数学证明转为4300万行代码

编辑|Neo 100 多位顶尖数学家,耗费数十年,写下 1.5 万页证明。 现在,AI 只用了 24 天,就把这项人类数学史上最庞大的工程之一,变成了 4300 多万行可以由计算机逐步验证的代码。 更惊人的是,AI 在检查这些数学家留下的证明时,还揪出了一个存在近 40 年的论证...
24个开源大模型生成Kali渗透测试命令 完全正确率均未超42%
你可能觉得这不算什么大问题。大语言模型连高考数学题都能解了,生成一行nmap命令还能有多难? 但事情没那么简单。2026年初,一支来自哈利法大学的研究团队做了一件事:他们找来24个主流的开源大模型,让它们根据一句话描述去生成Kali Linux上的渗透测试命令。结果所有模型里,没...
CVE Tracker显示2026年漏洞报告数量陡增

IT之家 10 月 28 日消息,科技媒体 gigazine 今天(10 月 28 日)发布博文,报道称开发者 @0x_Osprey 制作了网页 CVE Tracker, 通过可视化图表追踪已获得 CVE(通用漏洞标识符)编号的漏洞数量变化,清晰呈现出 2026 年以来漏洞报告数...
小雨智造乔忠良谈机器人边缘场景布局

界面新闻记者 | 伍洋宇 界面新闻编辑 | 文姝琪 离开小米创业时,乔忠良曾计划用两年时间,让机器人实现规模化销售。现实比预想中慢一些,2023年成立的小雨智造,直到今年7月才正式发布首款产品。 三个月过去,小雨智造拿出了相对明确的早期商业化数据。据乔忠良介绍,公司已在建筑、造船...
AI用24天验证数学巨型定理并发现40年前漏洞

编辑|Neo 100 多位顶尖数学家,耗费数十年,写下 1.5 万页证明。 现在,AI 只用了 24 天,就把这项人类数学史上最庞大的工程之一,变成了 4300 多万行可以由计算机逐步验证的代码。 更惊人的是,AI 在检查这些数学家留下的证明时,还揪出了一个存在近 40 年的论证...
AI审稿系统易受改写话术影响 研究揭示评审漏洞
你有没有想过,同一篇论文,如果换一种说法重新写一遍,会不会得到完全不同的审稿分数? 这听起来像是个荒谬的问题。科学成果就是科学成果,实验数据不会因为措辞变了就变得更可靠或更糟糕。但一群来自弗吉尼亚理工、马里兰大学和MBZUAI的研究者做了一件很较真的事:他们把60篇ICLR 20...
AI发现PHP严重漏洞 多国政府网站紧急关停

这是迄今由AI发现的“最严重”安全漏洞。 北京时间10月21日晚,澳大利亚部分政府网站突然不可访问。在日本,几款国民级游戏和大量电商网站同时进入紧急维护。美国国家安全局和欧盟网络安全机构等全球多家安全主管单位接连发布紧急示警,全球各地掀起预防性网站关停潮。 这些网站之间不共享服务...
人工智能模型行为越界风险显现 安全能力需跟上技术进步
近期,多家人工智能企业和研究机构披露,部分前沿模型在测试中突破任务边界、进入真实系统,甚至通过伪装身份、修改记录等方式规避监督。中国信通院开展的研究与测试也发现,模型在目标受阻后可能自主扩大操作范围。这些现象表明,人工智能风险正从有害内容生成向自主行为越界延伸。 相关事件尚不足以...
AI发现PHP严重漏洞 多国政府网站紧急关停

这是迄今由AI发现的“最严重”安全漏洞。 北京时间10月21日晚,澳大利亚部分政府网站突然不可访问。在日本,几款国民级游戏和大量电商网站同时进入紧急维护。美国国家安全局和欧盟网络安全机构等全球多家安全主管单位接连发布紧急示警,全球各地掀起预防性网站关停潮。 这些网站之间不共享服务...
AI发现PHP严重漏洞 多国政府网站紧急关停

这是迄今由AI发现的“最严重”安全漏洞。 北京时间10月21日晚,澳大利亚部分政府网站突然不可访问。在日本,几款国民级游戏和大量电商网站同时进入紧急维护。美国国家安全局和欧盟网络安全机构等全球多家安全主管单位接连发布紧急示警,全球各地掀起预防性网站关停潮。 这些网站之间不共享服务...
CNCC2026聚焦智能体安全挑战

中青报·中青网记者 李新玲 从能对话到可思考,甚至会行动,大模型驱动的AI智能体开始变得聪明起来。但它们的小聪明有时也会犯大错误。 2026中国计算机大会(CNCC2026)于10月22日至24日在成都举行。智能体是本届大会集中讨论的应用议题之一,个性化智能体、企业级智能体以及智...
360图龙锋通过信通院漏洞挖掘智能体评估

中国信通院正式发布首批漏洞挖掘智能体能力评估结果,360 自研 AI 安全攻防系统图龙锋顺利通过全部测评项目,成为国内首个完成该项评估的漏洞挖掘智能体产品。本次评估依据《互联网智能体治理 漏洞挖掘智能体能力要求》,从漏洞目标多样性、任务复杂程度、自动化程度、漏洞发现准确性四大维度...
OpenAI模型曝光PHP安全漏洞 波及全球70%网站

2026年10月21日,世界各地政府和机构开始紧急修复自家网站所用软件中的一个安全漏洞。这个漏洞可能让黑客获取数据,甚至控制网站。漏洞出现在PHP中。PHP是支撑当今大量网站运行的编程语言。美国国家安全局(U.S. National Security Agency)、多家网络安全...
OmniSeek让音视频模型主动找证据
有一个场景你可能完全没想到会成为AI的难题。 一个美食博主拍了十分钟的吃播视频,中间讲了句"这就是跑步者的秘密,我们早上跑一次,晚上再跑一次",画面上同时出现他在小路上奔跑的镜头。如果你问AI"这个博主靠什么策略做到吃很多也不会胀肚子",它需要先在十分钟的音频里找到这句关键台词,...
布鲁金斯学会提出AI智能体全球治理转向行为监管
本文来自微信公众号: Internet Law Review ,作者:Landry Signé 过去两年,人工智能的前沿发展,正在从“会回答的模型”变成“会办事的智能体”。 这里的智能体(AI agents),指能够自主规划、调用工具、连接外部系统并执行任务的技术系统。2025年...
AI评估成全球治理新考题 测什么谁来测引关注
本文来自微信公众号: 数字经济发展评论 ,作者:数字经济发展评论 导语 随着前沿AI模型不断突破能力边界,模型评估正从实验室里的技术测试,转变为影响模型发布与风险治理的关键环节。2026年,多起模型越出测试边界、干预评估环境的事件表明:模型在基准测试中表现出色,并不意味着它能在真...
英伟达RTX 50系列硬件级封堵AI算力解锁漏洞

快科技10月27日消息, 英伟达在最新的RTX 50系列(Blackwell架构)消费级显卡中采取了更为严苛的算力锁定措施,彻底封堵了此前用于解锁张量核心性能限制的硬件漏洞。 这意味着,原本寄希望于通过软件或微码手段让消费级显卡实现算力翻倍的尝试,在这一代架构上将彻底失效。 长期...
CISA将PHP2Shell漏洞列入KEV并要求联邦机构10月29日前修复
IT之家 10 月 27 日消息,美国网络安全和基础设施安全局(CISA)已将两项“PHP2Shell”严重安全漏洞列入已遭实际利用漏洞目录(KEV),确认相关漏洞已被攻击者用于实际攻击。 CISA 要求美国联邦民事行政部门机构在当地时间 10 月 29 日(周四)前完成修复,并...
GMO外汇服务器遭攻击 拒付百万美元赎金

IT之家 10 月 27 日消息,日本 GMO 互联网集团旗下外汇交易相关服务器上周遭网络攻击,攻击者索要 100 万美元赎金,并威胁称,若未在指定期限内付款,将进一步攻击客户设备、公开相关数据。 日媒报道称,攻击者设定的付款期限为日本时间 10 月 27 日中午。然而,GMO ...
安全研究员用生成式AI发现PS5高危漏洞获索尼5万美元奖励
近日,安全研究人员Jordy利用生成式AI技术成功挖掘出索尼PS5系统的高危漏洞,并凭借该成果通过索尼漏洞奖励计划获得5万美元(约合33.9万元人民币)赏金。该漏洞允许在PS5主机上运行Linux系统,但事件随即在主机改机与安全研究社区引发争议。 此前,谷歌安全工程师theflo...