AI 新资讯

面壁智能今日联合清华大学、 OpenBMB 开源社区正式发布并开源最新一代端侧文本基座大模型 ——MiniCPM5-1B。

据介绍，SkyClaw-v1.0 支持百万 token 上下文，深度适配真实智能体工作场景，重点优化复杂工具调用、多轮任务执行、代码生成、文件编辑、交互式应用构建与研究型数据分析。

乔治 · 霍茨（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 多次出现误判，把猫误认成浣熊，把袋鼠归类为人。