ai

谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证，在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬...

微软研究院本月发布开源网页智能体框架 Webwright，让 AI 模型在终端里编写 Playwright（浏览器自动化库）代码、执行 bash 命令、查看日志并反复修正。

澳大利亚网友 u/That_Car_Dude_Aus 昨日（5 月 25 日）在 Reddit 社区发帖，表示智能家居版 Gemini 多次出现误判，把猫误认成浣熊，把袋鼠归类为人。

抖音还根据谣言治理情况，盘点了过去一年“十大辟谣案例”。这些谣言均经由 AI 求真大模型识别或处置，并通过“求真卡”等形式，总结权威信源信息、生成辟谣内容。#抖音治理谣言# #AI 求真#

科技媒体 Testingcatalog 于 5 月 24 日发布博文，报道称 Anthropic 似乎准备公开上线 Claude Mythos 预览版。

企业强推 AI 工具提效，却陷入成本飙升怪圈。微软等企业因 Claude Code 等第三方工具使用成本过高，转而要求员工使用自研 Copilot。但 AI 智能体消耗的“词元”是普通查询的千倍，Op...

OpenAI 今天（5 月 23 日）发布公告，宣布 ChatGPT 解锁新技能，用户上传表单后，可直接用语音或文字说明填写内容，系统会识别表单字段、自动补全信息。

路透社昨日（5 月 22 日）发布博文，报道称星巴克已停止在北美门店使用 AI 库存工具，上线部署约 9 个月时间。

科技媒体 Business Insider 昨日（5 月 22 日）发布博文，报道称 Anthropic 正在扩招高薪写作岗位，从而强化品牌叙事和市场沟通，尤其重视把复杂产品能力转化为清晰、具体且有吸...

Anthropic 昨日（5 月 22 日）发布公告，披露称 Project Glasswing 项目上线 1 个月后，携手约 50 家合作伙伴，已在关键软件中挖掘出超过 1 万个高危（High）和关...