跳到正文
10月28日周三
  1. 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月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. Mustafa Suleyman57

    Microsoft AI CEO Mustafa Suleyman 宣布 MAI-Image 现居全球图像编辑模型第二,称再次超越 Google、Meta、xAI 和 GPT-Image-2.5-Flare,可在 MAI Playground 试用。引用的 Artificial Analysis 分析称 MAI-Image-2.7-Preview 在 AA-Image-Editing v2.1 榜单排名第二,7 项编辑动作全面高于 MAI-Image-2.6,其中 4 项排名第一,最大提升为 Composition & Framing(+57 Elo),目前仅支持图像编辑,文生图功能即将推出。

    引用Artificial Analysis@ArtificialAnlys

    Microsoft's MAI-Image-2.7-Preview takes #2 on AA-Image-Editing v2.1, close behind OpenAI's GPT Image 2.5 Sunburst (max) and a clear step up from MAI-Image-2.6 MAI-Image-2.7-Preview is Microsoft AI's newest image editing model, succeeding MAI-Image-2.6, released in August. In our testing, MAI-Image-2.7-Preview scores higher than MAI-Image-2.6 on all 7 editing actions we measure, and ranks #1 on 4 of them: Scene & Style Edit, Text or Symbol Edits, Reasoning-Based Edit, and Enhancement & Restoration. This new model improves on MAI-Image-2.6 with the biggest gains in Composition & Framing (+57 Elo), Text or Symbol Edits (+49) and Scene & Style Edit (+48). We see its best use cases to be in Live-Action Film, Consumer and Frontier edits, where it ranks #1. MAI-Image-2.7-Preview is available today in MAI Playground for image editing only, with text to image stated to be coming soon. Congratulations to @MicrosoftAI on the release! See below for our detailed analysis and example outputs of MAI-Image-2.7-Preview in the Artificial Analysis Image Arena 🧵

  3. Elon Musk48

    可爱 🥰

    引用Jensen Huang@JensenHuang

    I was the opening act for a family of ducks. Thank you, Berlin. What a GTC. Europe is building its AI ecosystem and economy, from AI factories to agents to robots. DSX POD: Vera Rubin modular factories built, cabled and tested in the factory, then delivered ready to produce intelligence. Agents: models, harnesses, sandboxes, knowledge and tools. NVIDIA Agent Toolkit brings the pieces together so companies control what their agents know, access and do.  NVIDIA OpenShell enhances safety. Physical AI: new customers across AI-RAN, robotaxis and robotics. Personal AI: after four years building with Microsoft, RTX Spark brings personal agents to the Windows PC. Thank you to President @EmmanuelMacron, Prime Minister @andyburnham and Chancellor @bundeskanzler for hosting me. Great to celebrate Sferical One with Sweden’s technology leaders. And thank you to President @TokayevKZ for the warm welcome. And to our partners and NVIDIA teams: thank you for making it happen. The keynote is here: https://youtu.be/rF1EsryCAwc

  4. 数字生命卡兹克83

    作者总结 Anthropic IPO 招股书的 11 个细节,计划募资约 1000 亿美元、估值或达 1.5万亿~2万亿。收入五个季度涨 30 倍,今年二季度经营利润首次转正 9.74 亿美元,但上半年净亏 807 亿美元,主要来自可转换票据公允价值变动;调整后净利润为正 26.71 亿美元。

    推荐理由:作者通读招股书后拆解了收入增速、算力合同、股权结构和公益机制等细节,读者可以借此低成本了解这份文件里不直观的关键信息。

  5. Rohan Paul80

    Anthropic 在 IPO 文件中告知投资者,公司内部和其他研究者、监管者都担忧足够先进的 AI 系统若缺乏妥善防护,可能给人类带来灾难性或生存性风险。文件同时警告 1300% 的增速不可持续、无法保证营收继续增长,且保险业可能没有足够能力承保此类风险。

    引用Rohan Paul@rohanpaul_ai

    Anthropic 的 S-1 文件显示其价值在 2026 年上涨得有多快。Google 和 Amazon 在 3 月和 4 月同意以 259 美元的价格购买股票,几周后新投资者支付了 589 美元。 向 Anthropic 出租 AI 芯片的 Broadcom 也已同意为部分租金提供融资。 > Google 和 Amazon 有权以固定的 259 美元购买股票。 > Amazon 较早的贷款也以固定的 2.09 至 5.05 美元转换为股票。 > 随着 Anthropic 的价值飙升,这些固定价格的权利变得值钱得多,而会计准则将这一上涨计为 Anthropic 的亏损:724 亿美元加上 94 亿美元,几乎构成其 2026 年上半年 807 亿美元净亏损的全部。公司没有现金流出,业务本身仅亏损 7 亿美元。

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

  6. Rohan Paul81

    Anthropic 向 SEC 提交 S-1 文件,上半年六个月营收 $16.3B,是去年同期的 14 倍,经营亏损收窄至 $693M。$80.7B 净亏损中约 $72.4B 加 $9.4B 来自 Amazon 和 Google 以 $259 固定价购股、可转债价值上涨产生的账面损失,没有现金流出,业务实际亏损仅约 $0.7B。

    引用Rohan Paul@rohanpaul_ai

    Anthropic 刚刚向 SEC 提交了 S1 文件。 文件显示,6 个月营收为 163 亿美元,而运营亏损收窄至 6.93 亿美元。 这一营收是上年同期 11.6 亿美元的 14 倍,且增速远快于 Anthropic 最大的运营支出。 6 个月期间,算力和基础设施成本为 89 亿美元,但 6 月当季营收同比增长 1,368%,而算力成本仅增长 300%。 现有客户贡献了其中大部分增长:截至 9 月,Claude Pro 和 Max 套餐之外的客户支出约为上年同期的 9 倍。 相比之下,807 亿美元净亏损主要来自 724 亿美元的账面费用,原因是随着 Anthropic 估值上升,向 Amazon 发行的可转换票据升值。 Amazon 部分通过贷款为 Anthropic 提供资金,这些贷款之后会转为股份,而会计规则要求 Anthropic 在这些未来股份升值时计入亏损,这构成了 807 亿美元亏损中的 724 亿美元。公司并未流出任何现金;真正的代价是 Amazon 将获得价值远超其支付金额的股份,从而稀释其他股东的份额。 公开买家每股 A 类股有 1 票投票权,而联合创始人的单一 F 类股拥有总投票权的 50.1%。 长期利益信托还选举多数董事,因此 A 类股持有人对领导层或任何收购几乎没有话语权。 我们仍不清楚的是价格区间以及截至 2045 年的总算力承诺,这一数字将检验营收能否持续跑赢算力。

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