AI最新动态共1篇
由AIHOT聚合 · 原文见来源

AI快讯

AIHOT

精选快讯 12条

Axiom 智能体集群用 24 天完成有限单群分类定理的机器验证

简短导读

作者称 Verified AI 迎来标志性月份,Axiom 的 AI 智能体集群用 24 天完成数学史上最长证明的验证,将跨越 500 多篇论文的 15,000 页有限单群分类定理(CFSG)转化为 3800 万行以上机器验证代码,并发现已发表记录中的 34 处严重出入。引用内容补充称该形式化证明可能是最大的开源项目之一,图中显示 Axiom CFSG 达 …

行业资讯 · X:Rohan Paul (@rohanpaul_ai) · 发布

Azeem Azhar 图解 Anthropic S-1 财务数据

简短导读

Azeem Azhar 图解 Anthropic 的 S-1 文件,指出公司已从实验室变成有现金流和资金的业务,看起来能走向可靠盈利。增长仍高但放缓,超过 80% 的营收来自发布不到六个月的模型;Q3 因向基金会付款可能出现边际亏损,客户集中度问题不大。

观点讨论 · Azeem Azhar:Exponential View(RSS) · 发布

Anthropic 拟以特殊治理结构抵御 IPO 后股东的安全施压

简短导读

Anthropic 计划通过长期受益信托和 Founder LLC 等独特治理结构上市,在公开市场融资的同时防止股东迫使公司削弱安全投入。信托的五名投票受托人可通过 Class T 股票任命七名董事中的四席,七位创始人则以 Founder LLC 掌握 50.1% 投票权。法学专家认为法律层面可隔绝逐利压力,但市场竞争、融资需求和创始人离开都可能侵蚀这些保障…

行业资讯 · The Verge:AI(RSS) · 发布

Runway Ads 正式开放给所有付费计划

简短导读

Runway 宣布 Runway Ads 开放给所有付费计划。它将 agentic 创意工具与 Meta、Google、TikTok 广告账户的表现数据结合,从已在起量的广告、Brand Kit 和数据生成新变体,所有广告发布前需团队审批。Runway 自用后周广告量从不到 100 增至约 1,000,单个订阅成本下降 41%。

产品更新 · Runway:News(网页) · 发布

Parameter 安全研究:公开 ChatGPT 分享链接可在受害者登录会话中执行任意代码

简短导读

Parameter 团队披露一种针对 ChatGPT 的 XSS 攻击链:攻击者发布含交互图表和 HTML Preview 的公开分享对话,借助 MathLive 键盘布局消息未验证来源、innerHTML 注入无沙箱 iframe、YouTube oEmbed JSONP 绕过 CSP,使 JavaScript 以 chatgpt.com 身份在受害者登录…

研究论文 · Hacker News:AI 热帖 · 发布

数据范围与核验

最近168小时内具有真实发布时间、已取得且经共享完整发布水位确认的外部精选缓存。公开接口分页结束不代表覆盖完整;迟到记录及尚未取得的内容可能缺失。撤回最迟在下一完整共享核验提交后生效;部分同步期间保留上次完整结果。

资讯核验:11-02 14:07

热点核验:11-02 14:07

本站文章与深度解读

本分类的本站内容;筛选、排序与分页沿用原栏目。