模型精选
Intern-S2 与数学家合作解决复三维 Ghys 猜想
精选理由
上海 AI Lab 的 Intern-S2 帮数学家搞定 30 年没解的 Ghys 猜想，四个定理全用 Lean 验证过了，数学圈可以看看。
上海 AI Lab 的 Intern-S2 与数学家合作，解决了悬置超过 30 年的 Ghys 猜想，覆盖复三维情形。研究中的四个主要定理已全部在 Lean 中完成形式化并通过机器验证。这是该模型在数学研究场景中的一次具体应用成果。
原文 · InternLM 书生
🚀Mathematicians and Shanghai AI Lab’s Intern-S2 have resolved Ghys’s conjecture in complex dimension three—a problem open for over 30 years. 🥳All four main theorems have been formalised and checked in Lean. 🤗Read the story: https://t.co/8ZrzATXPl8 https://t.co/HwgHLYIfu2
