马斯克邀你体验 Cursor 最强 AI 模型:Composer 2.5 登场,基于 Kimi K2.5 打造
特斯拉首席执行官埃隆 · 马斯克(Elon Musk)今天(5 月 19 日)发布推文,邀请用户测试 Cursor Composer 2.5 模型,并称该模型部分调用 Colossus 2 训练而成。
谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
谷歌 DeepMind 最新推出 AlphaProof Nexus,结合大语言模型(LLM)生成证明与 Lean 形式化验证,在 353 个开放的 Erdős 问题中自主解决 9 个,并解开 2 个悬而未决 56 年的问题。
AI 谄媚警报:“你绝对正确”让企业 CEO 容易患上“AI 精神病”
专栏作者 Arwa Mahdawi 在调查后指出,AI 行业的集体兴奋正在扭曲现实判断,尤其是部分企业首席执行官(CEO)容易陷入“AI 精神病”式误判。
Anthropic 回应文档乌龙:Claude Pro 用户 Opus 权限并未取消
Anthropic 今天(4 月 28 日)回应 Claude Pro 争议文档,称该信息源于过时支持文章,Claude Pro 用户依然保留访问 Opus 系列模型权限。
修不过来:Anthropic 披露 AI 抓虫首月战报,揪出超 1 万个高危漏洞
Anthropic 昨日(5 月 22 日)发布公告,披露称 Project Glasswing 项目上线 1 个月后,携手约 50 家合作伙伴,已在关键软件中挖掘出超过 1 万个高危(High)和关键(Critical)级别漏洞。
AI 智能体生产力洞察:任务时间缩短 87%、总成本下降 94%
哈佛大学携手 Perplexity 公司,筛选 10000 组真实生产数据,指出 AI 人机协作方式下,把任务时间缩短 87%、总成本下降 94%。
谷歌 Beam 扩展群组会议能力:真人比例“入座”,自动优化音画表现
Google 在 Google I/O 期间更新了企业级 3D 视频通话平台 Google Beam,核心变化有两个:一是把非 Beam 设备接入群组会议的方式重新优化,二是把这项能力放进实验功能,先用于特定硬件场景。










