Frontier Radar #5: If AGI is so close, why is everyone leaving? The neolabs and their bets
OpenAI is talking about the AGI era, and Nvidia CEO Jensen Huang says AGI has arrived. At the same time, co-creators of today's models are leaving Ope…
2026-11-06 的资讯
48 条，点开在站内读全文。
2026-11-06 周五
48 条Ramp data shows AI spending stalling just as Anthropic nears its IPO
AI usage keeps climbing, but spending has stalled. Price cuts and smarter cost controls among the biggest spenders could challenge investor assumption…
A\三大内部模型曝光！领先Opus5.5三个月，RSI缩短80%实验时间
Dario刚喊减速…
METR finds Anthropic may have crossed its own AI acceleration warning threshold back in July
Nonprofit METR spent eleven weeks auditing Anthropic's internal research data and concluded that the pace of model development has roughly doubled, wi…
Thinking Machines' Inkling 2 Small claims top spot among western open-weight models
Thinking Machines, the startup from former OpenAI CTO Mira Murati, is releasing Inkling 2 Small, a mixture-of-experts model with 594 billion parameter…
估值 400 亿美元，美国公司，终于做出了中国开源模型的竞对
作者｜Wildcard 编辑｜靖宇 11 月 5 日，OpenAI 前 CTO Mira Murati 创立的 Thinking Machines Lab（简称 TML）同一天出了两条新闻。
AI 时代没有标准答案的问题，我们面对面聊
我们刚刚官宣了极客公园创新大会 2027 的首批嘉宾。 今天，再来揭晓「小场深谈」的最新进展。 10 月底，我们在「小场深谈」的预热文章里做了一次调研，请大家投票选出最想聊的话题。最终，我们选定了最受关注的五组主题，设下了五场专场，每一场都从大家最想聊的那个问题开始。
Anthropic's $1.5 trillion IPO hits resistance as investors balk at valuation
Anthropic's IPO is in trouble as investors push back on the $1.5 trillion valuation and the tech market sells off.
Anthropic adds bank account access to Claude so users can track their spending
Anthropic is introducing a new feature in Claude called Personal Finance, which allows users to connect their bank and card accounts and ask questions…
为什么每个 Personal Agent 背后，都必须配备一台“云电脑”？
PPIO 沙箱，把“云电脑”做成开箱即用的 API
阶跃终端 STEPX Neo 智能体手机亮相进博会高通展台，软硬模一体打造智能体新体验
阶跃终端旗下 STEPX Neo 智能体手机首次亮相
阿里巴巴发布《2026 AI向善行动报告》 AI数据中心可持续发展成年度亮点
11月5日，阿里巴巴发布《2026 AI向善行动报告》
OpenAI 「重置大神」换人了？Tibo 去救火，Andrew 上位
Tibo 不发糖了？因为Open AI 的内部安全烂透了 作者丨 高允毅 编辑丨岑 峰 OpenAI 的“赛博义父”好像换人了？最先发现不对劲的是敏锐的网友。 11 月 4 日， Codex 团队的产品负责人 Andrew Ambrosino 发帖称，关于 OpenAI 产品的任何意见都可以反馈给他…
豆包工作个人版取消5小时额度限制
11月6日起，豆包工作个人版取消5小时额度限制。调整后，个人用户不再受到5小时短周期额度限制，可以在周额度范围内，根据实际工作节奏灵活安排使用时间。周额度及其他使用规则仍以对应套餐为准。 据了解，此前豆包工作个人版与市面上主流大模型类似，采用5小时、7天双周期额度管理。
Partnering with Hacktron to find vulnerabilities in OpenAI’s systems
OpenAI is partnering with Hacktron to find vulnerabilities, test connections with third-party services, and strengthen defenses with frontier AI.
DeepSeek带火稀疏计算，国产芯片公司加速突围：这家公司又融近10亿
Q3营收实现数倍增长
一边赛博修仙，一边卖家电！AI短剧开始冲双11业绩了？
挑战商业视频的高难度场景
从RSI、Agent、Physical AI到整个系统栈，2026 奇点智能技术大会最新日程公布！
11 月 20—21 日，2026 奇点智能技术大会将在北京万达文华酒店举行。
Palo Alto Networks in talks to buy AI agent security startup Clutch for $500M
Clutch, backed by Lightspeed and SignalFire, was last valued at $85 million, according to a source.
99.4%登顶全球第一！这个中国AI师承世界冠军
一举刷新「AI安全世界杯」CyberGym世界纪录
Formalizing inverse problems in the age of AI: possibilities, pitfalls, and an invitation
arXiv:2611.06962v1 Announce Type: new Abstract: Proof assistants such as Lean check mathematical proofs down to the axioms, and AI agents have recentl…
KDASO: Knowledge-Data Dual-Driven Automated Skill Optimization for Liability Adjudication Tasks
arXiv:2611.06972v1 Announce Type: new Abstract: Liability adjudication tasks (e.g., legal charge determination) require analyzing event descriptions a…
BlockLock: Reproducible LLM Inference with Fixed Batch Geometry
arXiv:2611.06977v1 Announce Type: new Abstract: Reproducible LLM inference requires that a request produces the same output regardless of the other re…
Resource-Efficient Reinforcement Learning Post-Training through Elastic Expert Parallelism
arXiv:2611.06984v1 Announce Type: new Abstract: Reinforcement learning post-training improves the capabilities of large language models, but generatin…
The Two-Ledger Model: Transaction-Grain Cost Accounting for Multi-Agent AI Systems Across Clouds, Models, and Systems of Record
arXiv:2611.06989v1 Announce Type: new Abstract: Enterprises run business transactions through multi-agent AI systems spanning clouds, large language m…
Autonomous AI Agents Systematically Diverge From Human Preferences in Proof Formalization
arXiv:2611.06995v1 Announce Type: new Abstract: Artificial intelligence (AI) systems have ushered in a new age of proof abundance, but helping humans…
Trust Responsive Runtime Authorization for Agentic AI with Empirical Characterization of Policy Behavior and Parameter Sensitivity
arXiv:2611.06996v1 Announce Type: new Abstract: The policy that converts runtime estimates of an autonomous agent's condition into operational authori…
Adapting the Process of Adaptation: Darwinian, Lamarckian, and Agent-Directed Evolution in AI
arXiv:2611.07048v1 Announce Type: new Abstract: Evolution has shaped intelligence for billions of years.
Closed-Loop Agent Evaluation: Layered Measurement and Self-Calibration
arXiv:2611.07051v1 Announce Type: new Abstract: Once an agent is live, teams want to know whether it is doing its job, not just whether it throws erro…
Cooperative Multi-Agent Reinforcement Learning via Epigraph-Form Guided Exploration
arXiv:2611.07066v1 Announce Type: new Abstract: Discovering cooperative behavior in multi-agent reinforcement learning (MARL) is challenging due to th…
When Verification Is Not Agreement: Cross-Agent LLM-to-Dafny Formalization
arXiv:2611.07073v1 Announce Type: new Abstract: A verified Dafny postcondition certifies that a formula holds, but it does not guarantee that the resu…
Synthesizing symbolic models of human and machine reasoning at scale
arXiv:2611.07088v1 Announce Type: new Abstract: Symbolic models offer a powerful account of cognition, but their scope has historically been limited b…
独家丨腾讯20年老兵创业 AI 体感主机，融资超六千万
创始人刘丹曾任光子工作室群副总经理、《斗战神》制作人。 作者丨 陈玘凡 编辑丨 吴优 雷峰网·鲸犀独家获悉，AI 体感成长主机公司创想悦动已完成种子轮融资，投资方为创维战投、创维数字，总金额约六千万元。
菜鸟发布与AI及具身智能产业合作计划
11月5日，菜鸟在香港智慧港举行AI及具身智能产业合作发布会，宣布向产业伙伴开放全球仓网，打造全球最大的AI及具身智能物流实景训练集群，支持技术训练、实景验证与产业落地；同时推出“科技出海三日达”服务，升级面向AI算力与机器人企业的出海基建，提供从样机测试、规模化交付到海外运营的全链路供应链服务，助…
中期选举后美国芯片股重挫，纳指单日暴跌 5.52%；民主党宣布推动《禁止人工智能法案》；OpenAI 推出 GPT-6 Cyber
芯片股惨遭重挫，华尔街迎来 1896 年以来中期选举后表现最差的第二个交易日 据路透社报道，美国民主党在国会中期选举中大胜，引发投资者对 AI 监管加强、数据中心建设放缓的担忧。 当地时间周四，美国科技股遭遇大规模抛售， 华尔街股票市值单日蒸发约 3.2 万亿美元（约合人民币 22.7 万亿元） 。
Measuring how AI agents handle everyday wet-lab science
OpenAI introduces BioBasicsBench, a 100-task benchmark measuring how well AI agents interpret raw experimental data and handle everyday wet-lab scienc…
Airbnb says it’s launching an AI travel agent in the first half of 2027
Airbnb says its upcoming AI agent will help travelers plan trips, compare options, manage bookings, and get assistance throughout their stay.
Cult.fit builds operational muscle with Codex
Cult.fit is using Codex to help teams across functions build tools, move faster, and change how work gets done.
Meta says US users can now video chat with their Muse AI avatar
Meta's AI agent can now take calls as a customizable animated avatar, ahead of the launch of a Tamagotchi-like wearable designed to bring Muse to life…
Meta warns that election backlash against data centers could make AI expansion harder
Meta warns that growing political opposition to data centers could threaten future AI investments, as communities push back against massive infrastruc…
OpenAI released a new cybersecurity model. Is that enough?
OpenAI's newest cybersecurity model comes out as AI labs face scrutiny of their work to protect digital infrastructure.
OpenAI president Greg Brockman says company could be IPO ready in 2027
Speaking at a Wall Street Journal tech conference on Wednesday, the executive touted how the company had been gaining ground in the enterprise market,…
The ex-Secret Service agent who flipped a hacker is now raising a second $250M cybersecurity fund
Stephen Ward, a former Secret Service agent and Home Depot CISO, is preparing a second fund of roughly $250 million for Brightmind Partners.
Claude can now analyze your spending with its new Personal Finance tool
With Personal Finance in Claude, users can connect their bank and card accounts through Plaid and ask questions about their finances.
Quoting Paul Ford
The web browser is very, very, very powerful software for applications, and the cost of accessing that power is going down seemingly every day .
Australian universities are creating AI-native graduates
Australian universities are expanding access to ChatGPT and bringing AI into teaching and learning to prepare students for an AI-enabled workforce.
Gemini Omni 1.2 Flash: Fast and cost-effective with longer clips
Text "Gemini Introducing Gemini Omni 1.2 Flash" surroudned by images of a beehive, animals in conversation, a squid, and a woman walking down a street
Axiom Math wants to keep AI slop out of mathematics
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one…