2026-05-19
AI for Science与学术前沿
AI深度重塑科学研究，陶哲轩宣布改变数学工作流应对AI证明过载，上海AI实验室开源35B参数科学大模型Intern-S2。腾讯发布首个古文字OCR基准，多模态数学推理和蛋白质设计取得突破，显示AI在科学发现中的专业化应用加速。
2026-04-20
AI生物与科研自动化
上海AI实验室发布ViraHInter模型加速抗病毒药研发；深势“玻尔·跃迁实验室”实现1800+设备即插即用自动化；人大高瓴推出AiScientist长程研究系统。AI正向干湿实验一体化、自主科研闭环迈进，显著缩短新药与材料发现周期。
2025-08-28
AI医疗与科学发现加速
谷歌Nature发文Gemini健康模型准确率超医生，Science三连发AI设计蛋白重塑免疫疗法，浙大SciToolAgent多工具协同科研，显示大模型在医学、生物、材料等前沿科学进入“AI即专家”新阶段。
2024-04-23
AI for Math与数学推理数据
陶哲轩发布AI数学资源清单，汇总OpenWebMath、Proof-Pile-2等高质量数据集，为训练专用数学大模型提供燃料，有望加速自动定理证明、科学计算与下一代科学大模型突破。
2024-04-19
科学大模型与生物计算
Meta开放OpenEQA基准推动AI理解3D物理世界，西湖大学开源4000万蛋白结构训练的结构词表大模型，山大&复旦发布PLMSearch提升远程同源检测，显示大模型正向科学计算、药物研发等硬核领域深度渗透。
2024-02-17
AI+Science基础设施与理论验证
上海交大提出「智能化科学设施」构想，整合大模型、生成式模拟、自主无人实验与可信协作；普林斯顿与DeepMind用数学证明LLM非“随机鹦鹉”，规模越大能力必然增强，为AI科研提供理论支撑。
2024-02-12
复杂系统与AI基础科学
诺奖之后18位顶尖学者联合撰文，展望复杂系统未来20年研究路线图，强调跨尺度、跨学科与AI驱动的新范式；文章指出复杂科学将为气候、生命、社会等难题提供底层框架，AI与复杂网络融合有望催生下一代科学大模型。