英伟达战略投资Ilya的SSI、陶哲轩ICM大会警示“数学百年危机”｜AI日报 2026-07-28

🔥 聚焦

英伟达战略投资Ilya的SSI : Ilya Sutskever创立的Safe Superintelligence (SSI) 宣布与英伟达达成长期战略合作，英伟达对其进行大笔投资，使其算力在未来12个月内提升10倍，以加速安全超级智能的研发。这标志着英伟达在最前沿AI安全与能力研究上的深度绑定（来源：dejavucoder）

陶哲轩ICM大会警示“数学百年危机” : 菲尔兹奖得主陶哲轩在ICM大会上指出，随着AI在研究级数学问题上展现出极高的解决率，数学正面临价值观与实践方式的“百年基础危机”。AI将使数学从“证明稀缺”走向“证明过剩”，导致人类无法消化海量证明。他呼吁建立AI使用披露机制，并强调“讲不明白就别发表”的原则（来源：量子位）

长鑫存储（CXMT）上市暴涨与黄晓明投资乌龙 : 中国DRAM芯片制造巨头长鑫存储首日上市暴涨近500%，市值超越英特尔，成为A股市场瞩目的焦点。期间有传言称演员黄晓明因早期投资长鑫赚取百亿，后被证实为与前美的高管黄晓明重名的乌龙事件。该事件折射出资本市场对国产半导体及算力基建的极度狂热（来源：量子位）

🎯 动向

英伟达联合巨头成立开源安全联盟（OSAA） : 针对此前Hugging Face遭AI Agent入侵事件暴露的闭源模型安全局限，英伟达联合微软、Hugging Face、Palo Alto Networks等行业领袖成立“Open Secure AI Alliance”（开源安全联盟）。该联盟旨在通过共享开源模型、工具和研究，提升AI软件和智能体的防御能力（来源：nvidia）

Kimi K3技术报告发布与部署显存测算 : 月之暗面正式发布Kimi K3技术报告，展示其2.8T参数、100万上下文及Kimi Delta Attention（KDA）等技术。同时，社区开发者针对K3的1.4TB MXFP4权重进行了显存测算，指出在A100上由于缺乏FP4硬件支持将非常低效，而8x B300则是目前唯一能单节点承载其运行并保留长上下文的配置（来源：Hacker News）

影石开源户外全景重建算法PanoLOG : 影石联合武汉大学、中山大学等开源了首个面向全景输入的大规模户外三维重建方案PanoLOG及数据集Pano360。该算法通过将分区判据从空间可见性转为梯度贡献，解决了全景图像“处处可见”导致分区失效的痛点，为具身智能和世界模型提供了高效的物理世界重建工具（来源：机器之心）

超脑未来发布群体世界模型WorldDreamer V4 : 超脑未来发布了WorldDreamer V4模型，主打多智能体端到端预训练与“共享隐式世界状态”架构。该模型在RoboCasa和WorldScore榜单上均取得第一，旨在让不同形态的机器人共享同一个“世界大脑”，通过预测未来状态实现无通信损耗的群体协同（来源：机器之心）

兔展智能UniWorld-View登顶WorldScore : 兔展智能联合北京大学等研发的UniWorld-View登顶WorldScore世界模型榜单。该模型提出遮挡感知点云渲染和双流条件注入架构，解决了传统3D点云渲染在新视角合成中常见的前背景撕裂和背面漏光问题，实现了单图3D与视频 4D新视角合成的统一（来源：机器之心）

中科院发布“知境”社会心智大模型体系 : 中国科学院计算技术研究所发布“知境”社会心智大模型技术体系，旨在解决AI在社会协作中缺乏“情商”的短板。体系包含精细化评测集SoMBench、具备自适应进化能力的训练系统Zing，以及按需调用心智状态的部署架构Actio，使AI的社会推理能力可测可训（来源：量子位）

小鹏人形机器人IRON开启小批量试产 : 小鹏汽车宣布其人形机器人IRON已在广州工厂开启小批量试生产，量产产线进入最后联调。IRON定位为小鹏“物理AI”战略的重要载体，将于2027年一季度优先进入小鹏门店担任导购，并逐步在工业巡检等场景中进行数据积累与能力迭代（来源：36kr）

超维动力携手北大医疗探索具身智能医疗落地 : 超维动力与北大医疗达成合作，围绕具身智能在医疗场景的数据采集、世界模型与仿真训练展开联合创新。通过KAI世界模型与数据采集头环，将医护操作转化为高质量多模态数据，在虚拟医院中进行大规模操作学习，务实推进机器人在试管分拣、药品配送等场景的验证（来源：量子位）

启元机器人亮相联合国AI向善峰会 : 上纬新材旗下消费级具身智能品牌启元机器人亮相联合国AI for Good全球峰会，展示了其小尺寸全身力控人形机器人Q1及青少年开发者控制台。启元主张个人机器人应从AI启蒙教育切入，通过积木式编程降低学习门槛，并计划在欧洲核心城市展开线下布局（来源：机器之心）

🧰 工具

Open WebUI v0.11.0重磅发布 : 开源Web UI客户端Open WebUI发布了其最大更新v0.11.0。新版本重构了UI界面并大幅提升了长文本响应性能，引入了子智能体（Sub-agents）协同、网页端定时任务（Chat timers）、对话分支分叉（Fork a chat）以及可自定义快捷键等多项实用功能（来源：open-webui）

灵光App上线闪应用“一键部署”功能 : 灵光App上线闪应用一键部署功能，支持将Codex、Claude Code、Cursor等主流AI工具生成的应用原型一键发布为双端适配的“灵光闪应用”。同时，灵光开放了包括大模型、搜索、存储在内的30余项免费API，帮助开发者打通AI应用从生成到分发的闭环（来源：机器之心）

SearchOS开源多智能体搜索协作框架 : 针对长程搜索任务中Agent易出现信息丢失和重复查询的痛点，人大与蚂蚁联合开源了SearchOS框架。该框架将搜索状态（任务、证据、覆盖率、失败记录）作为系统级基础设施进行共享，并采用流水线并行调度与搜索工具中间层，显著提升了复杂信息检索的效率与准确度（来源：机器之心）

📚 学习

Awesome Free AI Books开源图书索引发布 : 社区开发者在GitHub开源了Awesome Free AI Books项目，收录了30多本由作者或出版社官方授权免费公开的高质量AI/ML经典图书，涵盖深度学习、强化学习、数学基础等多个方向，并通过每周自动脚本检测以防止链接失效（来源：awesome-free-ai-books）

脑电基础模型可解释性审计研究发布 : 上海AI实验室、上海交大等团队发表论文，对CSBrain、LaBraM等EEG基础模型进行系统审计。研究通过Probing、Erase和Closure三种方法，证实模型在隐藏表示中有效捕获了频域、跨通道关系等经典脑电特征，并揭示了模型在任务决策中对特征的选择性调用机制（来源：机器之心）

蛋白质设计与定向进化结合新研究登上《Nature》 : 哈佛大学及Broad研究所等团队在《Nature》发表论文，提出将AI辅助蛋白质重设计与连续进化（PACE）相结合的新范式。通过ProteinMPNN和PROSS在进化前系统性提升BoNT蛋白酶的结构稳定性，为后续进化提供了更高质量的起点，最终成功解锁了针对非天然靶点超过79倍的切割特异性提升（来源：机器之心）

💼 商业

正奇未来8个月内完成数亿元融资 : 物理AI公司正奇未来宣布在8个月内完成数亿元天使系列融资，由鼎晖VGC、线性资本等领投。资金将主要用于其QUORRA DoorMind世界模型和FLAT运动执行平台的研发，以及短途出行机器人的量产和全球化渠道搭建，致力于构建D2D场景的空间智能底座（来源：机器之心）

亚马逊大笔投资Lean定理证明器研究组织 : 亚马逊宣布向Lean Focused Research Organization (FRO) 提供其历史上最大的一笔资金捐赠。亚马逊表示，随着AI智能体开始操作关键基础设施，基于数学证明的软件验证至关重要，此项投资旨在让形式化证明工具更加普惠，并加速Bedrock等云安全策略的验证（来源：Amazon Science）

李开复透露零一万物计划2027年IPO : 零一万物创始人李开复接受彭博社专访时表示，公司已主动调整策略，将重心从高耗能的基座预训练转向企业AI和主权AI服务。得益于开支大幅下降及订单额的数倍增长，公司有望于明年实现盈利，并计划于2027年在港交所提交IPO申请，对标Palantir的商业模式（来源：36kr）

🌟 社区

开源与闭源阵营在公开信签署上激烈交锋 : 随着黄仁勋在X平台力推支持开源AI的联名信，硅谷阵营出现分化。谷歌、OpenAI、Meta等巨头均已签署，而Anthropic则坚决缺席。Anthropic员工在X上公开嘲讽英伟达和微软“双标”，催促其开源CUDA和Windows，引发吴恩达等学者反击，指出“可以不开源，但不能立法阻止别人开源”（来源：36kr）

Claude共享对话链接被索引引发隐私担忧 : 社区用户发现，由于缺乏noindex标签，大量Claude的公共共享对话链接被Google等搜索引擎公开索引，其中包含密钥、法律咨询等敏感信息。Anthropic随后迅速响应并移除了相关结果，用户被提醒在设置中自查并管理已共享的对话（来源：THE DECODER）

AI公司被指“粉碎”稀缺图书用于模型训练 : 社交媒体热议AI公司通过ISBNdb等服务匿名批量购买绝版和稀有图书，使用高速机器切除书脊并扫描后直接销毁原书。由于联邦法官此前判定“销毁原件只保留一份数字拷贝”符合合理使用原则，此举引发了关于不可逆的文化遗产破坏与数字保存边界的激烈讨论（来源：Hacker News）

💡 其他

艺术家起诉AI Meme生成器侵权 : 知名Meme“Running Away Balloon”的原创作者Elmer Saflor起诉AI应用开发商Memes Apps LLC。Saflor指控该平台未经授权将其具有版权的漫画作品作为付费AI广告模板进行商业化销售，此案将进一步厘清网络流行Meme的版权保护边界（来源：Ars Technica）

美航司因ChatGPT纠错法条为旅客提供住宿 : 有旅客在航班延误被拒提供住宿后，使用ChatGPT查询欧盟航空法规进行对质，并利用网络公开的酒店信息戳穿了航司“周边无房”的借口，最终成功获得酒店与晚餐补偿。该经历在社区热传，展示了LLM在日常维权与信息不对称博弈中的实用价值（来源：Reddit r/ChatGPT）