上海人工智能实验室利用书生-S2大模型攻克三维Ghys猜想
上海人工智能实验室团队依托书生科学多模态大模型 S2(书生-S2),通过人机协同完成了困扰数学界 30 余年的三维 Ghys 猜想证明。北京大学董彬教授、刘若川院士团队利用 SHEAF 框架对证明进行了形式化验证,确认其正确性。
推荐理由:原文展示了大模型在解决困扰学界30年的数学猜想中的具体应用路径及形式化验证结果,为评估AI在基础科学领域的推理能力提供了实证案例。
上海人工智能实验室团队依托书生科学多模态大模型 S2(书生-S2),通过人机协同完成了困扰数学界 30 余年的三维 Ghys 猜想证明。北京大学董彬教授、刘若川院士团队利用 SHEAF 框架对证明进行了形式化验证,确认其正确性。
推荐理由:原文展示了大模型在解决困扰学界30年的数学猜想中的具体应用路径及形式化验证结果,为评估AI在基础科学领域的推理能力提供了实证案例。
Google Research 推出基于 Population Dynamics Foundation Model (PDFM) 的新范式,利用自监督预训练的位置嵌入增强现有流行病学工作流。
推荐理由:Google Research 展示了地球 AI 基础模型在公共卫生领域的验证矩阵,通过五个独立案例证明了其嵌入向量能提升疾病预测精度并减少数据滞后。
Google Research 推出新研究实验,允许教师通过生成式用户界面(GenUI)创建定制化的交互式教育模拟。该方案结合游戏化设计与教学护栏,已发布包含物理、化学等 STEM 学科的 30 多个示例库,并启动面向 Google Workspace for Education 学校的试点计划。
推荐理由:原文展示了利用生成式 UI 动态构建教育模拟器的技术路径与教师实测反馈,为理解 AI 如何降低互动内容制作门槛提供了具体案例。