行业资讯

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

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

在 Waymo、nuScenes 等主流基准测试中全面取得 SOTA，并已在小米汽车合成数据、仿真测试、智能座舱三大核心场景完成业务落地。

针对 Antigravity 用户抱怨简单任务也耗费大量 Token 的问题，谷歌推出新模型 Gemini 3.5 Flash（Low），通过调整推理投入来降低消耗。同时，谷歌重置了所有免费和付费计划...

思特威与紫光展锐今日宣布达成战略合作，双方将联合布局 MicroLED 高速光互连领域，围绕光互连芯片设计与系统解决方案落地展开深度协同，为 AI 算力集群短距高速互连场景，提供高带宽、低功耗、高集成...

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

我国养老服务机器人产业已初步形成体系，正在从“技术验证”阶段向“规模化应用”过渡的关键期，但技术与复杂养老场景的适配性仍是当前面临的核心挑战。

贾跃亭今日宣布，法拉第未来（FF）与北美头部 K12 教育集团红杉教育达成战略合作，并签署了 23 台 FF EAI 机器人销售合同。据介绍，这 23 台机器人也是 FF 目前最大的人形及仿生机器人销...

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

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