https://guijiagi.com/tags/%E4%B9%A6%E7%94%9Fs2/Recent content in 书生S2 on AI 实战派 · 从技术到赚钱Hugozh-cn本站内容采用 CC BY-NC-SA 4.0 国际许可协议授权Sun, 18 Oct 2026 10:24:00 +0800https://guijiagi.com/posts/2026-10-18-14-intern-s2-ghys-conjecture-formal-proof/Sun, 18 Oct 2026 10:24:00 +0800https://guijiagi.com/posts/2026-10-18-14-intern-s2-ghys-conjecture-formal-proof/困扰数学界三十余年的复动力系统难题三维 Ghys 猜想被中国团队攻克，上海人工智能实验室书生 S2 承担长链条推演，北大团队用 SHEAF 在 Lean 中核验四大定理。