2026-10-29
救“Vibe Coding”于自身的“令人头疼”数学
斯坦福学者孙月悦 研发AI工具，半日完成工程，成本不足 500 美元。此举推动形式化验证技术突破，旨在利用数学证明软件无漏洞。多家初创公司融资布局，试图结合生成式 AI 实现代码自动验证，解决传统方法耗时耗力难题，提升软件可靠性与安全性。- 斯坦福团队 500 美元半日完成项目- &T...
AI News
关注 AI 技术、产品与应用的新进展。
THE FEED / 持续发现
最新资讯
2026-10-29
一家国防承包商将个人AI代理接入五角大楼的保密系统
一名埃森哲承包商将个人 Claude 代码 AI 代理连接至五角大楼安全系统，导致含敏感信息的 CUI 数据及凭证泄露至第三方网站。该事件持续两月未被及时上报，构成严重国家安全威胁，引发对联邦承包商合规性及 AI 使用规范的广泛质疑。- 承包商违规接入 Anthropic Claude- 泄露...
2026-10-29
我给AI死亡时钟献了血
近日，体验者实测 2024 年推出的 AI 寿命预测应用 Death Clock，填写健康问卷、完成合作检测机构采血后，获得算法预判的预期死亡时间及定制化延寿方案，折射当前长寿产业发展现状与公众的生命焦虑。- Death Clock 应用 2024 年上线，主打 AI 预期寿命预测功能- AI...
2026-10-28
我找来一群AI智能体全权掌管一支梦幻足球队，它们目前还比不上人类——至少眼下还没。
近期，研究者部署多组 AI 代理运营英超幻想足球队开展对照测试，结果显示当前多智能体的阵容决策能力暂未优于人类。学界同步验证发现前沿大模型预测性能正快速提升，多款专项基准测试已落地量化相关能力。- AI 代理幻想足球队实验：当前表现暂未超越人类- 大模型预测能力排名：GPT-5 预测表现位列第...
2026-10-28
该让AI裁决你的官司吗？这位法官给出了肯定答案
即将卸任英国民事司法系统最高职位主事官的法官 Geoffrey Vos，近期接受 WIRED 采访时提出，全球司法系统可参考中国深圳法院的 AI 辅助断案经验，划定适用边界引入 AI 裁决部分低复杂度民事案件，相关议题正引发司法领域热议。- 英国民事司法高官 Geoffrey Vos 发起司法...
2026-10-28
AI紧急警报即将来临，人类或许尚未做好准备
近日美国阿拉巴马州一名地方应急管理人员使用 AI 制作飓风 Isaias 相关灾害预警图出现气象信息偏差，当前美国多地应急部门普遍有意借助 AI 优化公众预警沟通，却暂未建立相关使用规范，从业人员普遍准备不足。- AI 应急预警应用：已发生非专业误用致预警失实事件- 基层应急团队：人力不足，预...
2026-10-28
Macmillan员工称，该出版商曾为一款职场AI助手举办庆祝派对，随后这款AI助手便被砍掉了。
2024 年 1 月，美国头部出版集团麦克米伦为 AI 办公助手 NOA 举办推广活动，推动员工将其用于多类办公场景，该工具因实用性不足于 2025 年 10 月下线，后续集团尝试引入 Google Gemini 也遭员工反馈可用性不佳。- NOA 推广，布置专属庆祝物料引发部分员工抵触- N...
2026-10-27
英国内政部或因使用OpenAI技术面临调查
英国内政部使用基于 OpenAI GPT-4 技术的生成式 AI 工具处理庇护申请，英国边境与移民独立监察局正推进相关调查筹备，该动议源自议员及研究者对工具准确性、使用透明度的公开质疑，相关工具已曝出输出不实内容的争议。- ICIBI 调查筹备 已向数字权利机构 ORG 调取相关资料- ACS...
2026-10-27
Anthropic表示终有一天将彻底变革生物学
AI 巨头 Anthropic 于周一发布 IPO 申报文件，一改此前宣称5 到 10 年靠AI实现生物学领域千年级进展的激进表述，坦承自身缺乏实体实验相关经验，生物医药研发面临长周期高监管等阻碍，相关革新愿景落地尚需较长时间。- Anthropic 业务定位调整 将生物科技发现纳入核心商业模...
2026-10-27
我花一天时间实测了所有主流AI智能体，这是表现最佳的一款
WIRED 的软件记者近日耗时 24 小时对 6 款主流常驻 AI 代理开展对照测试，对比其性能优劣，当前 AI 代理实用性较往年大幅提升，但产品仍处于早期阶段，普遍存在隐私安全隐患。- 测试样本：覆盖 Meta Muse OpenAI Dots 等 6 款主流 AI 代理- 产品定价：被测 ...
2026-10-26
The RealReal 禁止AI代理抢占名牌服饰
二手奢侈品寄售零售商 The RealReal 近期更新反机器人防御系统，防范AI代理利用购物车预留机制抢占设计师服饰货源，此前 The Verge 曝光 Meta 旗下 Muse AI 可反复加购长期锁货，零售行业正加快应对AI购物代理带来的规则冲击。- The RealReal 升级反机器...
2026-10-26
Anthropic的IPO招股书披露其内部运作详情
美国人工智能企业 Anthropic 于周一提交 IPO 前关键 S-1 招股文件，拟登陆 Nasdaq 以 ANT 为交易代码上市，披露最新财务数据与多重经营风险，暂未公示募资规模与目标估值，预计 11 月内挂牌。- IPO 规划：拟在纳斯达克挂牌，股票代码 ANT，预计 11 月上市- 营...
2026-10-26
Anthropic的S-1备案文件也是一份AI末日入门指南
前沿 AI 企业 Anthropic 近期正式提交 IPO 招股书，其篇幅占比最大的 94 页风险因素章节，详细披露了递归自我改进等技术可能引发的人类生存级风险，该公司仍将相关技术视作核心竞争优势推进研发。- IPO 招股书配置 94 页风险因素专项披露章节- 递归自我改进 RSI 被列为企业...
2026-10-26
Anthropic的IPO招股说明书为何缺失如此多关键数据
AI 企业 Anthropic 于周一提交备受期待的 IPO 招股书 S-1 文件，这份数百页的申报材料存在多处关键数据缺失，专家判断需在 11 月中旬前补全相关信息，删改情况凸显 AI 赛道算力相关投资不确定性。- Anthropic IPO 申报：S-1 文件多处关键财务数据被隐去- 信息...
2026-10-26
这款会说西班牙语、支持移民的AI电台主持人正赢得听众青睐
2025 年 9 月，面向拉美受众的美国广播巨头 Entravision 推出西班牙语 AI 电台主播 Coyotec，主打支持移民的亲民内容，搭档人类主持人播出后收听数据大幅攀升，成为全美头部广播市场首个黄金早间档 AI 联合主播。- 核心收听数据 2026 年 8-9 月洛杉矶拉美听众增长...
2026-10-26
认识一下这些试图成为现实记者的AI智能体
近期多家欧美媒体编辑收到大量自主 AI 智能体投递的新闻投稿，这类尝试充当记者的 AI 工具部分来自 iLands 平台，部分为普通爱好者开发的业余实验项目，目前暂未发现 AI 智能体成功过稿的公开记录，受访编辑均明确拒绝刊发此类内容。- 投稿情况：多家媒体主编收到 AI 智能体投递的新闻选题...
2026-10-25
美国反数据中心运动可从全球其他地区借鉴哪些经验
记者 Molly Taft 近期访谈大科技长期批评者、《Tech Won’t Save Us》播客主持人 Paris Marx，围绕其新作《Hyperscale: The Ambition and Excess of Big Tech's Data Empires》展开，梳理全球多地数据中心抗...
2026-10-24
PHP熔断事件揭示AI如何让漏洞更易被利用
近期 PHP 漏洞集合 PHP2Shell 被公开后数小时内，全球即出现数百万次野外利用尝试，AI 技术大幅降低漏洞挖掘利用门槛，该系列漏洞此前因人工无法利用已被搁置数年，目前暂未出现大规模入侵事件。- PHP2Shell 漏洞公开数小时内出现数百万次野外利用尝试- AI 可辅助转化多年人工不...
2026-10-23
Xbox首任首席运营官上任仅数月便离职
微软 Xbox 设立仅数月的首位首席运营官 Helen Chiang 于当日正式离职，她此前于 7 月从 Minecraft 负责人岗位获晋升，在微软任职 21 年，相关职责暂由其他 Xbox 高管拆分承接，微软拒绝对本次变动的具体细节作出说明。- Xbox 首位 COO Helen Chia...
2026-10-22
Discord 现已可正确格式化 Markdown 预览
今日 Discord 发布最新版本更新，核心优化 Markdown 预览渲染效果，可正确展示表格、排版等元素，解决此前预览显示大量冗余符号的问题，便利平台内 AI 项目相关 Markdown 文档分享，同步上线多项配套功能。- Markdown 预览功能 支持表格等元素正确渲染- 新增侧边栏右...
