2026年B站超级科学晚在北京举行，聚焦飞行汽车、具身智能、脑机接口、量子技术、可控核聚变等议题，新增15场对谈与演讲。过去一年B站科普内容观看时长超23亿小时，相关UP主达133万。活动展示了脑电互动、核聚变进展、人工血小板30秒止血等成果，并探讨了具身智能落地与AI时代学习价值。

英国数学科学学院发布《AI赋能世界中的数学科学》报告，探讨AI如何改变数学研究与应用，带来发现、验证及跨领域应用机遇，并分析相关风险。报告指出，AI可承担技术性数学工作，但人类专业判断仍不可或缺，包括提出关键问题、评估AI结果可靠性、发展数学理解及推动成果转化。报告还提出教育技能、独立验证、AI资源获取、研究评估、出版及知识基础设施等优先事项与近期行动方向。

麻省理工学院五位教授和两位校友入选施密特科学宣布的2026年AI2050奖学金，该计划旨在推动有益人工智能研究。资深研究员Sendhil Mullainathan研究算法与人的交叉，聚焦将AI可检测的模式转化为可检验理论；四位早期职业研究员Alex Damian、Bailey Flanigan、Yunha Hwang和Manish Raghavan分别研究AI模型训练、结构化公众意见收集、生物酶功能判定及减轻AI依赖的负面影响。

OpenAI公布数学、计算机科学和物理三项“重大”发现：数学上证明局部平滑猜想，并由此解决Kakeya猜想和Stein限制猜想；计算机科学上给出算法，宣称指数时间假设（ETH）为假；物理上给出含规范场和费米子的四维量子场论存在性证明。此次由外部专家“引导”结果，但数学顾问小组反对这种优先指定人员审阅的做法，建议公开于学术平台并形式化证明。

NVIDIA 正式发布 CUDA-X 库 cuDSS，可将工程与科学仿真中的大规模稀疏系统求解迁移至 GPU，缩短计算时间并提升仿真吞吐量。应用材料、COMSOL、Cadence、达索系统、西门子、新思科技等已将其集成到各自工具中，实现最高约10倍加速。cuDSS 支持从工作站到集群的扩展，并提供 C、C++、Python 和 Fortran 接口。

AI-Scientist 是一个开放科学发现系统，支持基础模型独立研究，提供多种模板和实验反馈。LangGPT 帮助用户创建高质量提示，简化设计过程。obi-sync 实现跨设备同步，支持多平台。StableVideo 是文本驱动的视频编辑工具，具备多种运行模式和灵活编辑功能。mediapipe-samples 展示 MediaPipe 应用示例。

陶哲轩博客刊载Francesco Maggi客座文章，讨论大语言模型对数学与科学的影响。作者认为LLM已能生成重要证明，但人类理解仍是数学的核心，若知识脱离人类理解将走向“黑暗时代”。他提出：LLM擅长重组已有文献却难以完成“数学化”；数学进步不能以解题清单衡量；署名、同行评审与人才培养面临挑战；前沿模型被少数公司控制存在风险。他呼吁学界共建独立、透明的LLM基础设施。

英伟达联合谷歌DeepMind、欧洲生物信息研究所等机构，通过AlphaFold数据库开放发布2800多种病毒的蛋白质复合物三维结构预测，其中约30%为科学界全新发现。团队利用AlphaFold2和英伟达BioNeMo加速推理，将传统需数年的结构解析缩短至数分钟，旨在为下一次大流行储备知识，并开源预测流程以降低全球科研门槛。

OpenAI宣称证明纳维-斯托克斯方程有限时间爆破，引发AI在数学中作用的讨论。作者认为，证明不仅需正确，更需增进理解。在气候预测、飞机设计等领域，预测须先于验证被信任，因此需可审计的因果链。应将AI嵌入物理守恒律等可审计框架，用于学习可单独检验的闭合模型，而非端到端黑箱，从而让理解与预测相互促进。