跳到正文
10月28日周三
  1. Anthropic:Newsroom67

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

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

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

  2. TechCrunch:AI56

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

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

  3. Anthropic:Research70

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

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

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

  4. 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

  5. TechCrunch:AI49

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

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

  6. Alex Heath51

    Alex Heath 发布对 Google 和 Alphabet CEO Sundar Pichai 的采访片段,Pichai 表示 Waymo 离零和格局还很远,会通过众多合作方式发展,不排除生态合作模式。

    引用Alex Heath@alexeheath

    Sundar Pichai 谈 Gemini 4 与 AI 算力紧缺 即便是 Google 也拿不到足够的算力。在 Gemini 4 Argon 更广泛发布后不久,我与 Google 和 Alphabet CEO @sundarpichai 坐下来聊了聊它的早期反响、他仍希望模型改进的地方,以及要让 Google 保持在 AI 前沿需要付出什么。 Pichai 解释了 Google DeepMind 近期的领导层变动,以及为什么构建前沿模型已成为一份“全身心投入”的工作。我们还谈到了 Google 对个人智能体竞赛的回应、他如何预测 Gemini 将替你完成更多工作,以及智能体最终是否会把 Search、Gmail 和 Gemini 整合到一起。 我问他 Google 自由现金流转为负值、AI 基础设施建设中的风险,以及他如何在还不知道模型将具备何种能力的数年前就规划需求。他解释了让他有信心继续投入的信号,以及他如何使用 AI 智能体来跟踪 Google 内部的模型开发和算力使用情况。 时间戳: 00:00 Gemini Argon 发布反响 01:49 模型访问与安全 06:20 AI 模型竞赛 08:35 智能体突破与 2027 年 11:34 递归自我改进 15:41 DeepMind 领导层变动 19:52 Google 的 AI 算力投资 25:20 AI 支出可持续吗? 33:18 Sundar 如何使用 AI 智能体 35:35 Gemini 的个人智能体计划 38:37 AI 智能体如何改变网络 43:52 Google 的太空数据中心 47:38 Waymo 的扩张战略 50:26 Wing 的无人机配送计划 51:36 AI 安全与监管 55:58 Google 的量子计算押注 YouTube:https://youtu.be/fJBSNEFdm8c Spotify:https://open.spotify.com/episode/0cJBqmVz3CWJSPdmBOeJGu?si=NBxJIMhZRgikafPtwY0sZA Substack:https://sources.news/p/sundar-pichai-gemini-4-google-other-bets Apple Podcasts:https://podcasts.apple.com/us/podcast/sundar-pichai-on-gemini-4-and-the-ai-compute-crunch/id1840154537?i=1000797461022 本期节目的呈现赞助商是 @hyperagentapp。感谢节目的首席赞助商:@Atlassian、@meetgranola 和 @mercury。

  7. 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

  8. Azeem Azhar:Exponential View77

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

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

    推荐理由:作者基于 S-1 图表数据拆解 Anthropic 从实验室转向盈利业务的路径,并指出增长放缓与新模式贡献 80% 营收等约束。

  9. 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.

  10. The Verge:AI79

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

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

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

  11. 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 倍,超过一半收入来自美国。