人工智能 Claude 形式化费马大定理:1300万行 Lean 代码背后的 AI 协作实验 Anthropic 称 Claude 完成费马大定理端到端形式化证明,Lean 可完整检查,项目展现多 Agent 在数学形式化中的潜力。
人工智能 GPT-6 Astra发布:OpenAI把Agent竞争推向长任务执行 OpenAI发布GPT-6 Astra,重点强化电脑操作、长任务执行和判断力,但开放节奏、价格与企业市场竞争仍是关键变量。
人工智能 Claude Desktop 被 Ollama 偷梁换柱:本地代理如何绕过封锁 Ollama 在 v0.33.0 版本中为 Claude Desktop 提供专用本地代理,让 Qwen、DeepSeek 等模型能在 Anthropic 自家应用中运行,绕过了四个月前的封锁。
人工智能 Claude Fable 5.1发布:8项基准第一,价格大降,反蒸馏机制上线 Anthropic发布Claude Fable 5.1和Mythos 5.1,在8项基准测试中全部领先,价格最高降45%,并推出反蒸馏机制保护思维链。
人工智能 AI智能体也会“中毒”?Anthropic新研究揭示“思维病毒”传播机制 Anthropic最新研究显示,AI智能体之间可通过自然语言对话传播错误观念,甚至写入长期记忆。研究发现,简单提示词即可有效防御,但智能体网络化趋势或放大风险。
人工智能 Anthropic冲刺史上最大IPO:ARR飙至650亿美元,盈利转正成关键筹码 Anthropic年化营收运行率飙升至650亿美元,同比增长超7倍,调整后营业利润转正,目标估值2万亿美元,有望成为史上最大IPO。
人工智能 Anthropic 延长 Claude Code 周额度 50% 加成至月底,或固化为长期方案 Anthropic 宣布将 Claude Code 等订阅用户的每周使用额度 50% 加成延长至 8 月 31 日,并考虑将该调整纳入固定配额方案。
科技 Anthropic CEO 罕见发声:未来 5-10 年 AI 将治愈多数疾病 IPO 前夕,Anthropic CEO 达里奥·阿莫迪罕见发长文回应质疑,并大胆预测未来 5-10 年 AI 将治愈多数人类疾病,同时透露公司正加速布局生物医学 AI。
科技 五岁Anthropic冲刺2万亿美元IPO,凭什么? 成立仅五年的AI公司Anthropic最快10月上市,目标估值2万亿美元。靠Claude Code年收入超600亿美元,实现单季盈利,引发全球AI估值重估。