Other companies
Peking University
Company profile
- Sector
- Other companies
- Stories
- 1 · latest 2026-10-15
- Main fields
- Science & bio, Language models
Stories: 1 · newest first
October 15, 2026
-
Mathematicians work with Shanghai AI Lab's Intern-S2 to prove 3D case of 1995 Ghys conjecture, verified in Lean (report)
According to Pandaily, mathematicians produced a proof of the codimension-one case of a conjecture posed by Étienne Ghys in 1995 through...