网络资讯 谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题 谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证，在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬... 五花石 2026-05-26 17
网络资讯 北京将推广手术机器人租赁模式 2025 年，北京市属医院腔镜、骨科和神外手术机器人的总工作量达到 13000 次左右，相比于上一年增长了约 82%。...... 五花石 2026-05-26 12
网络资讯 京东拼拼小程序更名“京东折扣超市”，统一品牌实现线上线下一体化运营 京东将旗下社区团购“京东拼拼”与线下“京东折扣超市”业务整合，统一为“京东折扣超市”品牌。此举旨在打通线上拼团与线下大店供应链，实现资源共享与一体化运营。京东折扣超市已在全国开设 9 家门店，累计客流... 五花石 2026-05-26 15
网络资讯 摩根士丹利：全球人形机器人出货约 90% 来自中国，有望成为下一个电动汽车产业 摩根士丹利本月发布研报指出，中国凭借在人形机器人领域的大规模投入与先发优势，正复制十年前电动车产业的崛起路径。#全球人形机器人约 90% 来自中国#...... 五花石 2026-05-26 16
网络资讯 约 1000 行代码搭起网页 AI 智能体：微软 Webwright 让 GPT-5.4 跑分提升 81% 微软研究院本月发布开源网页智能体框架 Webwright，让 AI 模型在终端里编写 Playwright（浏览器自动化库）代码、执行 bash 命令、查看日志并反复修正。...... 五花石 2026-05-26 13
网络资讯 荣耀王飞：耳夹耳机不需要区分左右耳绝对是提升体验极好的功能 荣耀工作人员王飞今日再度发文。他表示，耳夹耳机不需要区分左右耳绝对是提升体验极好的功能。据其介绍，他现在耳机戴在右耳，App 里则会直接显示 R，而实际耳机仓里是放在左边的。#荣耀 Earbuds 耳... 五花石 2026-05-26 12
网络资讯 微软 14 页文档披露：Win11 定位 AI OS，成为企业工作流“智能画布” 科技媒体 Windows Latest 今天（5 月 26 日）发布博文，披露了一份 14 页的官方文档，显示微软将 Windows 11 系统定位为“AI OS”，称操作系统已成为企业 AI 技术栈... 五花石 2026-05-26 13
网络资讯 小米汽车发布 Xiaomi Auto World Model 世界模型全新框架：重建 + 生成一体化，主流基准测试全面 SOTA 在 Waymo、nuScenes 等主流基准测试中全面取得 SOTA，并已在小米汽车合成数据、仿真测试、智能座舱三大核心场景完成业务落地。...... 五花石 2026-05-26 15
网络资讯 国内首创：首台鲜食蚕豆采收机器人研发成功，采收成功率超过 90% 我国首台鲜食蚕豆采收机器人完成演示，融合多目视觉与力觉反馈技术，在复杂田间环境下实现精准识别与轻柔采摘，解决了人工采收成本高、用工难的产业瓶颈。#农业机器人##智慧农业#...... 五花石 2026-05-26 11
网络资讯 Perplexity 开源内部安全扫描工具 Bumblebee，助力行业应对软件供应链投毒 其采用元数据文件直读的方式，不会运行任何存在篡改风险的工具，从而避免扫描本身带来风险。...... 五花石 2026-05-26 12
