上海AI实验室书生-S2 助力三维 Ghys 猜想证明并通过 Lean 形式化验证
上海AI实验室访问学者许地生团队依托书生科学多模态大模型 S2，通过人机协同完成三维 Ghys 猜想证明，相关论文已发布在 arXiv，形式化代码在 GitHub 公开。
推荐理由：读者可了解书生-S2 在三维 Ghys 猜想证明中的人机协同流程，以及 Lean 形式化验证的并行规模。
#开源/仓库
雷峰网精选AI 评分8888
Google DeepMind精选AI 评分7373 Google DeepMind 推出 SynthID Bio，为 AI 生成蛋白质加水印
Google DeepMind 发布 SynthID Bio，将水印技术引入合成生物学，把不可感知的签名嵌入生物代码，使其在数字模型和合成出的实体蛋白质上均可验证。
推荐理由：Google DeepMind 把水印从数字内容延伸到合成生物，读者可了解其方法与对 DNA 合成筛查的意义。
已经到底了