# Shanghai AI lab reports AI-assisted proof of three-dimensional Ghys conjecture

_Published Thursday, October 15, 2026 at 2:08 AM EDT · AI, Science · Latest · Tier 2 — Notable_

![Chinese scientists solve 30-year-old mathematical conjecture using a domestic AI model | KuCoin — Primary](https://assets.staticimg.com/@kudos/runtime/0.6.18/assets/og-ea52b6f9440e857c.jpg)

The Shanghai Artificial Intelligence Laboratory announced that researchers had proved the three-dimensional Ghys conjecture through collaboration between mathematicians and its Shuwen-S2 multimodal model, IT Home reported. The conjecture, proposed in 1995, concerns the mathematical classification of certain systems on compact complex manifolds.

The team led by Professor Xu Disheng combined specialized mathematical knowledge with the model. A Peking University team used its SHEAF framework to formally verify the proof, according to the announcement. The research paper is available as an arXiv preprint, and the formalized code is public on GitHub.

The laboratory plans to incorporate the mathematical verification module into its Duanyan scientific discovery platform for reuse.

## Sources

- [kucoin](https://www.kucoin.com/news/flash/chinese-scientists-solve-30-year-old-mathematical-conjecture-using-domestic-ai-model)

---
Canonical: https://techandbusiness.org/newswire/oJHGNf6R_sQOE6BXjj5Wcq
Published: 2026-10-15T06:08:05.335Z
Story chronology: 2026-10-15T05:44:37.000Z
Retrieved: 2026-10-15T08:39:02.157Z
Publisher: Tech & Business (techandbusiness.org)