🚀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://www.shlab.org.cn/shlab-s2-ghys
Intern-S2 and mathematicians resolve Ghys's conjecture in dimension three
AIMathematicians 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.
@intern_lm
Source details
Intern Large Models · x.comPublished · added here
Original title: 🚀Mathematicians and Shanghai AI Lab’s Intern-S2 have resolved Ghys’s conjecture in complex dimension three—a problem open for over 30 ye...