Company

Great Bay University

A new research-oriented university in Guangdong Province, China, focused on frontier science and technology research and emphasizing interdisciplinary innovation.

Timeline (last 90 days)

Oct 15

Xu Disheng's team, relying on the Scholar Science multimodal large model S2 (Scholar-S2), completed the proof of the three-dimensional Ghys conjecture through human-machine collaboration.

Unverified50%

All Facts (1)

Unverified

Xu Disheng's team, relying on the Scholar Science multimodal large model S2 (Scholar-S2), completed the proof of the three-dimensional Ghys conjecture through human-machine collaboration.

50%

Source Articles

Intern-S2 Helps Prove the Three-Dimensional Ghys Conjecture, Verified via FormalizationOct 15