Claude用1300万行Lean代码把费马大定理交给机器验证
Claude完成大规模Lean形式化证明,GPT-6在开放数学问题基准中提交机器可验证结果,AI科学正在从生成答案转向交付证据链。
从静态生成到带声音出片:AI内容工具开始争夺创作闭环
当一张图片、一段文字或一条简单指令,能够在几秒内变成带声音的视频、可编辑的三维场景,AI内容工具的竞争就不再只是“谁生成得更像”。真正决定产品能否留下用户的,是它能不能把灵感变成可修...
Cisco ISE 零日漏洞 CVE-2026-76460 已遭利用:身份认证基础设施如何排查与修复
Cisco ISE 与 ISE-PIC 的 CVE-2026-76460 已被确认在野利用,CISA 纳入 KEV。本文梳理受影响版本、日志排查、升级修复和 iACL 临时缓解建议。
马斯克当庭念出OpenAI总裁日记,Anthropic锁定亚马逊5GW算力:AI巨头这一周打得不可开交
马斯克诉OpenAI案庭审爆出日记证供,Anthropic与亚马逊签下十年千亿美元算力协议,架构挑战者、Agent大战、广告时代与商业化转向,AI行业的多线战场同时开火。








