网络资讯 谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题 谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证，在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬... 非凡百科 2026-05-26 2
网络资讯 眼睛出现这几种症状 一定要马上就医！千万别扛着 在日常生活中，有些人可能会遇到这样让人崩溃的时刻：突然发现眼睛里出血了，瞬间就被吓得不轻，满脑子都是“完了，眼睛出血了，太可怕了，我是不是要瞎了”的恐惧，于是火... 非凡百科 2026-05-26 2
网络资讯 京东拼拼小程序更名“京东折扣超市”，统一品牌实现线上线下一体化运营 京东将旗下社区团购“京东拼拼”与线下“京东折扣超市”业务整合，统一为“京东折扣超市”品牌。此举旨在打通线上拼团与线下大店供应链，实现资源共享与一体化运营。京东折扣超市已在全国开设 9 家门店，累计客流... 非凡百科 2026-05-26 1
网络资讯 印度已经热到近50℃了：人们顶着酷暑走十多公里找饮用水 5月25日消息，据媒体报道，近日印度北部、中部多地最高气温达到45至47摄氏度，用电峰值功率连续多天破纪录。印度新德里气温21日达到45.3摄氏度，距其东南约450公里的北方邦城市班达气温高达47.6... 非凡百科 2026-05-26 2
网络资讯 约 1000 行代码搭起网页 AI 智能体：微软 Webwright 让 GPT-5.4 跑分提升 81% 微软研究院本月发布开源网页智能体框架 Webwright，让 AI 模型在终端里编写 Playwright（浏览器自动化库）代码、执行 bash 命令、查看日志并反复修正。...... 非凡百科 2026-05-26 2
网络资讯 宇树科技：2026年Q1扣非净利润4025.36万元 同比下降52.55% 5月25日消息，今日，科创板IPO企业宇树科技更新招股书。最新招股书显示，宇树科技2026年1-3月实现营业收入4.23亿元，同比增幅由上年度的332.64%回落至68.49%。同时，因研发费用、销售... 非凡百科 2026-05-26 1
网络资讯 微软 14 页文档披露：Win11 定位 AI OS，成为企业工作流“智能画布” 科技媒体 Windows Latest 今天（5 月 26 日）发布博文，披露了一份 14 页的官方文档，显示微软将 Windows 11 系统定位为“AI OS”，称操作系统已成为企业 AI 技术栈... 非凡百科 2026-05-26 2
网络资讯 华为最激进的芯片！麒麟2026来了：性能大幅提升 在上海举办的国际电路与系统研讨会（ISCAS2026）上，华为公司董事、半导体业务部总裁何庭波正式官宣：全球首款量产搭载逻辑折叠技术的“麒麟2026”&... 非凡百科 2026-05-26 2
网络资讯 谷歌回应 Antigravity 用户额度抱怨：重置配额，推出 Gemini 3.5 Flash（Low） 针对 Antigravity 用户抱怨简单任务也耗费大量 Token 的问题，谷歌推出新模型 Gemini 3.5 Flash（Low），通过调整推理投入来降低消耗。同时，谷歌重置了所有免费和付费计划... 非凡百科 2026-05-26 2
网络资讯 面壁智能开源 MiniCPM5-1B：在 AA-Index 上超越所有 2B 参数以下模型，能跑在手机、浏览器上 面壁智能今日联合清华大学、 OpenBMB 开源社区正式发布并开源最新一代端侧文本基座大模型 ——MiniCPM5-1B。...... 非凡百科 2026-05-26 1
