2026-05-19

AI for Science与学术前沿

AI深度重塑科学研究,陶哲轩宣布改变数学工作流应对AI证明过载,上海AI实验室开源35B参数科学大模型Intern-S2。腾讯发布首个古文字OCR基准,多模态数学推理和蛋白质设计取得突破,显示AI在科学发现中的专业化应用加速。