全部 AI 动态
ARC Prize@arcprizeAI 评分6666
Microsoft Research@MSFTResearchAI 评分4747微软研究院的 Proof-Driven Development(PDD)Kit 将开发者意图转成形式化规格,再用形式化验证证明生成的代码符合规格,以应对 AI 智能体写代码增多后的正确性问题。

cat@_catwuAI 评分4141引用Claude@claudeaiWe’re opening a research preview of Claude Duet, a new app where Claude works as a proactive agent. It comes to you with what needs your attention, completes tasks you ask of it, keeps working when you step away, and checks with you before it acts on your behalf.
Rohan Paul@rohanpaul_aiAI 评分6868Anthropic 发布首份年度公共利益报告,按技术安全、安全法律、民主稳定、繁荣与共享收益五大章程支柱自查并承认每项都有缺口。
引用Anthropic@AnthropicAIAnthropic is a Public Benefit Corporation. Today, we’re publishing our annual Public Benefit Report. This report shares our five pillars and takes stock of the actions we’re taking to advance them. Read the full report at this page: https://www.anthropic.com/public-benefit-charter
Rohan Paul@rohanpaul_aiAI 评分5353引用Claude@claudeaiClaude Security now keeps up with your code as it changes. Connect your repositories once. Claude runs a deep first scan, then re-scans as changes land, so findings stay close to the current state of your code. In public beta on Claude Enterprise.
Rohan Paul@rohanpaul_aiAI 评分6464引用Richard Socher@RichardSocherIntroducing Flint, @Recursive_SI’s first model: a fast local coding model built with our automated research system, the Eureka Machine. • Best-in-class fast local coding • Up to 2x faster than comparable models: 125+ tokens/sec on a MacBook Pro, 150+ on RTX Spark • Built from scratch in under 4 months Private, unmetered intelligence on your own machine. Open weights available now on @huggingface, run it locally on your favorite framework or try it for free on @opencode or @pidotdev.
TypeSafe AI@typesafeaiAI 评分4545说真的,cookie 横幅就是个糟糕的主意 接下来还有什么该被自动化掉?
引用Lightpanda@lightpanda_ioWe put Jev inside the Lightpanda binary and built judge() on top of it. @typesafeai No more sending a whole page to an LLM just to find out it's a cookie banner. > Blocked pages, CAPTCHAs, cookie walls, logins, paywalls, error pages, empty searches and pages still loading can all return an HTTP 200 > judge() asks a set of predefined questions and tells you if the page has real content, and what kind: article, listing, product or docs > One call, ~0.2s In the video: > 30 sites, ~14s total > Lightpanda backs off when rate-limited, accepts cookie walls, and keeps or skips each page
Rohan Paul@rohanpaul_ai精选AI 评分7878推荐理由:原文梳理了 AI 发现 PHP 严重漏洞的细节与修复过程,并附上可复用的 PHP 版本检查 Codex skill 入口。
Alex Heath@alexeheathAI 评分4444引用Fireside Alpha@firesidealphaUnited Airlines CEO says it has more Starlink flights than the rest of the US airline industry combined, with about half of its departures already on Starlink and the whole fleet done by the end of 2027 Starlink is now a “motivating factor” in which airline people fly, so United launched a new tracker to show which flights have it. “You’ve heard me say in the past that hope is not a strategy. Instead, we’re focused on things we can control, and those are the big investments we’ve made over the past several years in products, service, and technology." "And one of those things is Starlink, a new and truly differentiating RASM tailwind in 2027." "Today, about half of United departures are on Starlink-equipped aircraft, and we offer more Starlink flights than the entire U.S. airline industry combined." "We currently expect to reach 61% of departures by the end of 2026, 87% by June 1st, and available fleet-wide by the end of 2027." "Importantly, we’re also seeing evidence that Starlink is a motivating factor for customers to choose which airline they fly. That’s why we launched a new tracker so people can check if their flight has it and can follow along as we outfit our fleet.”
Rohan Paul@rohanpaul_aiAI 评分4242引用Michael Kim@michaelhyunkimToday, @agentmail has processed over 1 Billion emails. A year ago, we processed under 20 million. So we figured it was time for AgentMail to grow up a little too :)
Artificial Analysis@ArtificialAnlysAI 评分4646
Artificial Analysis@ArtificialAnlysAI 评分5454
Alex Heath@alexeheathAI 评分5858
引用Alex Heath@alexeheathSundar 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。
OpenRouter@OpenRouterAI 评分47472026 年,整个 AI 领域的缓存率明显改善。 上个月,OpenRouter 上智能体请求的缓存率中位数达到 85%,而年初为 65%。如今绝大多数提供商提供的智能体缓存率都在 70% 或更高。
Kling AI@Kling_aiAI 评分4949KLING 4.0 API — 现已正式推出 将 Kling 4.0 集成到你的产品和工作流中。一起构建。🚀 #Kling4 #KlingAI
Kling AI@Kling_aiAI 评分5353引用Runway@runwaymlUnlimited Kling 4 is now live on Runway. Sign up for a new Max or Team plan to get 3 days of unlimited access. Plus 25% off Kling 4 on all plans. Get started at the link below.
Kling AI@Kling_aiAI 评分5959引用Morphic@morphicIntroducing Kling 4.0 on Morphic. Get 10% discount on Kling 4.0 generations through November 20 on Morphic. Native 30-second generations, up to 10 keyframes, 15 references, consistent on-screen text, multilingual support. 4K and 10-bit HDR. https://morphic.com
Greg Brockman@gdbAI 评分5656引用OpenAI@OpenAIGPT-Rosalind surfaced a new lead for drug discovery: could restoring cholesterol transport protect neurons from degeneration? DCTN1 is a gene linked to Perry syndrome, a rare neurodegenerative disorder. In mouse-brain data, disrupting it increased expression of genes involved in making cholesterol. GPT-Rosalind suggested a possible explanation: cholesterol may not be reaching where neurons need it. That gives scientists a specific mechanism to test and, if confirmed, a direction for developing new treatments for neurodegenerative disorders. With @perturbai_tx and @scrippsresearch, a team of thousands of GPT-Rosalind agents worked in parallel, connecting gene-expression results from millions of mouse brain cells with scientific literature in just 32 minutes. We’re now expanding this collaboration to identify new drug targets. https://openai.com/index/scaling-ai-research-for-complex-biological-data/
Sundar Pichai@sundarpichaiAI 评分5656引用Alex Heath@alexeheathSundar 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。
OpenAI@OpenAI精选AI 评分8383引用OpenAI@OpenAIOpenAI 模型帮助研究人员——作为我们“修补地球”计划的一部分——发现了 PHP 中的关键安全漏洞,PHP 是一种开源编程语言,估计用于运行 70% 的网站。 在过去两个月中,我们牵头了一个由维护者、研究人员和安全提供商组成的联盟,在披露之前准备修复和保护措施。这一时长是必要的,因为修复相当复杂,需要对 PHP 引擎进行重大更改。现在,每个使用 PHP 的网站都可以安全地升级其版本以保持安全,此外还可以应用来自各安全供应商的缓解措施。 由于这些漏洞的严重性以及 PHP 的广泛使用,我们认为这个漏洞是近期记忆中最具影响力的漏洞之一。它也标志着一个新阶段,即 AI 能够发现具有互联网规模影响的安全漏洞。 这是“防御者窗口”发挥作用的一个例子:据我们所知,前沿 AI 能够在攻击者之前发现这个漏洞,给防御者时间准备。 https://openai.com/index/coordinated-disclosure-of-critical-vulnerabilities/
推荐理由:原文提供官方 Codex 技能和检测仓库,网站运营者可以据此自查 PHP 漏洞影响。
Artificial Analysis@ArtificialAnlysAI 评分4848
Alex Heath@alexeheathAI 评分6262
Higgsfield AI 🧩@higgsfieldAI 评分5959
Kling AI@Kling_aiAI 评分6262引用fal@falKling 4.0 is now live on fal. A next-generation native multimodal video model with improved stability for complex motion, stronger reference consistency across characters and scenes, and more precise control over cinematic storytelling. Available exclusively through the fal UX and fal Agent. API access coming soon.
Kling AI@Kling_aiAI 评分6161引用Higgsfield AI 🧩@higgsfieldKling is back. Kling 4.0 is now live on Higgsfield. > Omni Reference: characters, objects and audio in one generation > 30-second scenes in a single pass > Start, middle and end frames to direct every beat > Native 4K coming soon Available now on Higgsfield.
Kling AI@Kling_aiAI 评分4848KLING 4.0 API:现已开放申请。 将 Kling 4.0 集成到你的产品和工作流中。一起构建。🚀 #Kling4 #KlingAI
Rohan Paul@rohanpaul_aiAI 评分6868引用OpenAI@OpenAIGPT-Rosalind surfaced a new lead for drug discovery: could restoring cholesterol transport protect neurons from degeneration? DCTN1 is a gene linked to Perry syndrome, a rare neurodegenerative disorder. In mouse-brain data, disrupting it increased expression of genes involved in making cholesterol. GPT-Rosalind suggested a possible explanation: cholesterol may not be reaching where neurons need it. That gives scientists a specific mechanism to test and, if confirmed, a direction for developing new treatments for neurodegenerative disorders. With @perturbai_tx and @scrippsresearch, a team of thousands of GPT-Rosalind agents worked in parallel, connecting gene-expression results from millions of mouse brain cells with scientific literature in just 32 minutes. We’re now expanding this collaboration to identify new drug targets. https://openai.com/index/scaling-ai-research-for-complex-biological-data/
Rohan Paul@rohanpaul_aiAI 评分6363特朗普在 Truth Social 发文称,新的大型数据中心必须自建电力,可将多余电力卖回当地社区或电网,避免电价上涨甚至拉低电价;企业若想让数据中心项目受欢迎,应向社区或个人支付现金分红。




