搜索
Google DeepMind全球开放Gemini 4 Carbon，并以AlphaProof Code驱动AI Agent在四周内为Signal生成逾650万行经机器检查的Lean证明代码，验证其核心实现的安全属性。
小时候想拥有一台 Game Boy，长大后想自己做一款 Game Boy 游戏，没想到 OpenAI 准备同时实现你这两个愿望。
这是一台看起来像电子宠物的紫色设备，有屏幕、有实体按键，旁边还挂着一颗小草莓。用户可以拿起它，直接用语音和 Codex 对话。
特朗普公开承认曾威胁逮捕Anthropic CEO Amodei，此前Anthropic因拒绝放开Claude用于无人监督的致命武器或大规模监控而与特朗普政府发生冲突。
一天烧掉 100 美元，是平时一周 Token 预算的 5 倍！
部分ChatGPT和Codex用户疑似被灰度到OpenAI尚未正式发布的GPT-6.2 Sol，实测显示其可完成复杂推理、编程及3D场景生成，并在一次对比中以约20分钟、9美元的表现优于Opus 5.5的1小时、20美元。
用户每月掏几十甚至 200 美元订阅 Claude Code，把本地终端交给它干活，它却在后台把你的真实登录邮箱、姓名乃至公司内部代码库地址，塞进 User-Agent 请求头里发给了外部网站！
Anthropic发布35页报告称，通过分析逾20万次Claude与Claude Code对话并调查528位学者，AI可接手27%至52%的科研工时，中位数为38%，全自动推进非动手任务时部分学科产出可提升15至16倍。
Anthropic以内部Claude模型为核心的Harness系统仅用3天攻克悬而未决18年的Aaronson-Ambainis猜想，定理与推论已完成Lean形式化，网友推测该模型可能是非公开版Claude Model 4。
METR调查显示，Anthropic未公开的Model 4内部综合能力指数（AECI）达178.6，模型能力提升速度自2025年10月起增至此前1.9倍，约80%的研发加速来自AI辅助，内部研究员自报效率提升约12倍。