AI 新资讯

乔治 · 霍茨（George Hotz）于 5 月 24 日发布博文，指出在当代软件开发过程中，AI 编程智能体可能是代价最高的错误之一。

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

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

《中国教育信息化》杂志社与西交利物浦大学、中国教育发展战略学会教育信息化专业委员会定于7月8-10日在苏州市共同举办“共享科技创新•开创教育数字化新格局”高等教育专题研讨会。

在 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 目前最大的人形及仿生机器人销...