Verified
来源、主体与时间与首次落库记录一致。
| 文章 | 上海AI实验室“书生-S2”大模型进入前沿数学研究流程：助力三维Ghys猜想证明并通过形式化验证 |
| 信任等级 | Aggregate |
| 发布主体 | — |
| 来源 | https://www.leiphone.com/category/academic/ChIK9FvwSwlHmfFc.html |
| 创建时间 | Thursday, 15 October 2026 - 18:00 |
| 已记录哈希 | 4e30e2a92e81fb001c7bc9ca42bd9d0ddfcf1749181534d6a8b111bc4a347186 |
| 重算哈希 | 4e30e2a92e81fb001c7bc9ca42bd9d0ddfcf1749181534d6a8b111bc4a347186 |
哈希算法：sha256(来源URL|主体ID|创建时间戳)，主体缺失时主体ID为 0。