跳到正文
10月28日周三
  1. TechCrunch:AI80

    Anthropic IPO 最大赢家或为 Amazon 而非 VC

    TechCrunch 根据 Anthropic 的 S-1 分析,VC 持股均不足 5%,而 Amazon 可能是 IPO 最大财务受益方。Amazon 持有 62 亿美元本金可转债、其自估持仓价值 979 亿美元,另投 100 亿美元无投票权优先股,累计投资约 180 亿美元;Anthropic 还承诺未来 10 年在 AWS 至少消费 1100 亿美元。

    推荐理由:文章依据 Anthropic S-1 拆解各股东持股结构,说明为何战略投资者而非 VC 是 IPO 最大受益方,并提示云厂商利益冲突。

  2. Rohan Paul60

    Anthropic 通过与美国 GSA 的新 OneGov 协议,向联邦、州、地方、部落及领地政府以 40% 折扣提供 Claude Enterprise、Claude for Government 和 Claude API。

    引用Anthropic@AnthropicAI

    我们正在扩大与 @USGSA 的合作。根据一项新的 OneGov 协议,我们将以 40% 的折扣向联邦、州、地方、部落和领地政府提供 Claude。 https://www.anthropic.com/news/expanding-partnership-gsa

  3. Rohan Paul76

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

    引用Leo@biosemiote

    CFSG 的形式化证明如今可能已成为有史以来最大的开源项目之一。观看智能体将其组装起来,让人再次意识到其背后那令人敬畏的人类成就。这张图代表了数学家们数十年来发展出的约 15,000 页错综复杂的论证。

    推荐理由:原文汇总了 AI 智能体集群形式化验证有限单群分类定理的规模数据,可作为观察形式化验证能力进展的一个参照点。

  4. Anthropic:Newsroom67

    Anthropic 扩大与 GSA 合作,政府机构购买 Claude 享 40% 折扣

    Anthropic 与美国总务管理局(GSA)扩大合作,政府伙伴购买 Claude Enterprise、Claude for Government 和 Claude API 可享 40% 折扣,预计为政府节省 10 亿美元,且不设最低消费承诺。

    推荐理由:Anthropic 官方公布了折扣幅度、覆盖范围和政府采用数据,读者可以据此了解其公共业务的推进方式。

  5. TechCrunch:AI56

    美国银行提醒客户不要向 AI 助手共享银行账号密码

    美国银行向客户群发题为“在 AI 世界保护你的财务”的邮件,提醒客户永远不要把用户名和密码交给他人或外部服务,包括声称能代你操作的 AI 工具或智能体。邮件指出共享凭据可能让 AI 未经知情操作资金、触发银行风控锁号,或因 AI 助手安全漏洞导致凭据泄露;并强调一旦共享凭据,由此产生的操作后果由客户自行负责。

  6. Anthropic:Research70

    Anthropic 公布 Claude 加速药物研发的早期进展与六个合作案例

    Anthropic 生命科学团队宣布过去数月与 Generate Biomedicines、Divergence Labs、BigHat Biosciences、Enveda、The Column Group、Bristol Myers Squibb 六家机构开展药物研发合作,并已启动自有药物研发。

    推荐理由:原文给出六个药物研发合作案例的具体数字与实验结果,读者可以据此判断 Claude 在研发各环节的实际表现。

  7. OpenRouter:Announcements52

    OpenRouter 对全部推理请求上线 CSAM 飞行中筛查

    OpenRouter 宣布对所有经过其服务的推理请求进行儿童性虐待材料(CSAM)筛查,筛查在请求处理过程中实时进行。机制包括与已知 CSAM 哈希比对,以及对疑似新材料的分类器识别,被标记内容可能留存供人工审查并按 18 U.S.C. § 2258A 等法律要求向 NCMEC 举报并保存一年。

  8. Rohan Paul66

    Anthropic 宣布与 6 家新药研发机构建立深度研究合作,并启动自家药物发现项目,其中肌肉萎缩症相关工作最早可于 2028 年底进入人体试验。

    引用Anthropic@AnthropicAI

    Over the past few months, Anthropic scientists have engaged in deep research partnerships with six organizations developing new medicines. We've also begun drug discovery efforts of our own. In doing so, we’ve learned much more about how Claude can support the many stages of drug development. In this blog post, we share some early results from these efforts, and describe how this work fits in with our wider ambitions in the life sciences. https://www.anthropic.com/research/early-progress-drug-development

  9. TechCrunch:AI49

    Disruptive 募集 100 亿美元基金,押注至少 10 家 AI 与国防公司

    达拉斯投资公司 Disruptive 宣布设立 100 亿美元基金,计划投资至少 10 家后期阶段公司,单笔支票最高可达 10 亿美元。该基金瞄准 AI 和国防等资本密集型领域,是今年迄今规模最大的募资之一,也是得州史上最大风投基金。Disruptive 此前投资过 Palantir、Airbnb、Spotify,以及芯片初创公司 Groq 和 AI 语音生成公司 ElevenLabs。

  10. Rohan Paul45

    Mecka,为物理 AI 提供数据层的公司,完成了由 Sequoia 领投的 6000 万美元 B 轮融资,正在英雄联盟全球总决赛现场招人。 有意思的视频,告诉我们他们想要的人才实际上把时间花在哪里。

    引用Josh@joshavata

    The league of legends championship is in the usa this year.. and we booked the largest private box in the stadium @MeckaAI cofounder @jasontheutopian and first engineer Anthony, both ranked challenger as top 50 players in the world So we’re inviting 30 elite engineers, researchers and operators to join us in the ownership suite to watch the finals front and center Anyone with world-class skill in a video game, not just in league, send us your rank or evidence of exceptional ability in what you do The championship is nov 14 at the barclays center in new york Apply by Nov 8. Link in comments

  11. Noam Brown54

    Noam Brown 发文称,MIT 每年冬季开设为期一个月的 6.9630 课程,学生制作扑克 AI 并比赛争夺现金奖励;编码智能体大幅加速了这一过程,现在一小时就能做出一个扑克 Bot。他还表示会出席 No Limit 扑克 Bot 锦标赛决赛,该赛事由 Sequoia、citsecurities 和 OpenAI 主办,冠军奖金 10 万美元。

    引用Sequoia Capital@sequoia

    Announcing No Limit: a bot building tournament hosted by @Sequoia, @citsecurities and @OpenAI. Teams of 1 or 2 get 60 minutes to build a pokerbot from scratch. Agents play thousands of games across six scored rounds. Open to university students and recent grads (‘25 or ‘26). Regionals in Boston, Pittsburgh and the Bay Area in early November. Top five teams from each fly to the Finals. $100K grand prize.

  12. The Verge:AI79

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

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

    推荐理由:文章拆解了 Anthropic IPO 文件中的长期受益信托和 Founder LLC 等机制,并引用多位法学专家指出这些安全护盾的边界与隐患。

  13. Cognition 模型 / Devin 博客56

    Corridor 宣布并入 Cognition,将升级 Devin Security

    Corridor 联合创始人 Jack Cable 和 Ashwin Ramaswami 宣布公司加入 Cognition,负责把 Devin Security 提升到新水平。Corridor 成立近两年,定位为 AI 原生团队的安全层;二人表示 AI 智能体已能执行端到端攻击链,未来 6–12 个月是网络安全史上最关键的时期,企业需尽快化解长期积累的安全债务。

10月27日周二
  1. Rohan Paul74

    Axiom 宣布完成有限单群分类定理的 Lean 自动形式化,这是数学史上最长的证明,原证明约 15000 页、500 多篇论文、约 100 位作者。约 4000 万行代码由成群的 AI 智能体在 24 天内写出,数学家负责引导。Axiom 称今年初 AxiomProver 写出正确的 10000 行 Lean 证明还需数周,此次进步归因于同时重建模型、harness 和基础设施三层。

    引用Axiom@axiommathai

    The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.

  2. 404 Media48

    Flock CEO 在泄露音频中称反 Flock 抗议是俄罗斯机器人煽动

    404 Media 获取的泄露音频显示,自动车牌识别公司 Flock CEO Garrett Langley 在佛罗里达州奥兰多举行的 IACP 会议上对警察局长们称,全国反 Flock 抗议并非真实民意,社交媒体上的反对声主要由俄罗斯机器人推动。他称 Flock 相关社交讨论较 7 月下降约 95%,并重复了乌克兰无人机袭击俄罗斯数据中心影响网络机器人活动的已被否定的说法。

  3. The Decoder:AI News79

    OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明

    The Decoder 报道 OpenAI 请外部专家担任"shepherds"核查其 AI 在计算机科学、数学和物理学领域的三项证明结果,并将部分证明翻译成 Lean 供计算机逐步验证。

    推荐理由:文章梳理了三项数学级结果与专家核查安排,并点出 Lean 只能验证形式化陈述这一局限。

  4. IT之家·人工智能76

    Anthropic 在 S-1 文件中重申永远不会在 Claude 对话中展示广告

    Anthropic 向美国证券交易委员会提交 S-1 文件,计划以“ANT”为股票代码在纳斯达克 IPO,并在文件中重申永远不会在 Claude 对话中展示广告。公司表示一旦广告成为收入目标,优化用户参与度的压力会随之增加,因此不让这种压力进入 Claude;此前 Anthropic 曾批评 OpenAI 在 ChatGPT 中投放广告,警告其可能比传统广告更具操纵性。

    同一件事,精选收录的是《Anthropic 向 SEC 提交 S-1 文件启动 IPO,拟以代码 ANT 登陆纳斯达克》

  5. The Decoder:AI News59

    Anthropic 在 IPO 信中重申 Claude 永不投放广告

    Anthropic 在 IPO 申请的附信中再次承诺 Claude 聊天界面不会出现广告,称一旦广告成为营收目标,优化参与度的压力就会增长,公司选择不引入这种压力。信中还以安全考量延迟发布 Claude Fable 5、并向网络防御者提供约 1 亿美元免费 Claude 额度为例,说明公司把价值观置于利润之上。

  6. TechCrunch:AI42

    Nvidia 投资印度创企 Simplismart,帮企业用更少 GPU 跑 AI 模型

    Nvidia 参与印度创企 Simplismart 的 1400 万美元 B 轮融资,后者估值约 1 亿美元,其软件可优化模型部署,让企业用更少 GPU 运行 AI 模型。Simplismart 称已帮 AI 视频平台 InVideo 将 GPU 服务成本降低 56%,客户还包括 HeyGen、Higgsfield 和 Ema。其年化收入运行率过去六个月增长 14 倍,超过一半收入来自美国。