Xu Disheng
A professor at Great Bay University who has long studied complex dynamics, focusing on the three-dimensional Ghys conjecture. He has collaborated with Fields Medalist Avila and published related results in the Journal of the European Mathematical Society.
Timeline (last 90 days)
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.
Xu Disheng once collaborated with his advisor, Fields Medal winner Artur Avila, to study the three-dimensional case of the Ghys conjecture, but did not arrive at an effective proof idea; afterward he collaborated with Zhang Jiesong to obtain some weakly related results in the three-dimensional case, with the results published in the Journal of the European Mathematical Society (JEMS).
In March 2026, Xu Disheng became a visiting scholar at Shanghai AI Laboratory, the two sides formed a joint team, and they built the Harness system oriented toward mathematics research scenarios.
During the tackling process, Scholar-S2 successively completed 7 batches of continued deduction, the problem graph expanded from 15 nodes to 389 nodes, the total output reached over a thousand pages of rigorous derivation, and at the same time dozens of entirely new lines of argument were generated.
All Facts (4)
Xu Disheng once collaborated with his advisor, Fields Medal winner Artur Avila, to study the three-dimensional case of the Ghys conjecture, but did not arrive at an effective proof idea; afterward he collaborated with Zhang Jiesong to obtain some weakly related results in the three-dimensional case, with the results published in the Journal of the European Mathematical Society (JEMS).
50%UnverifiedXu 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%UnverifiedIn March 2026, Xu Disheng became a visiting scholar at Shanghai AI Laboratory, the two sides formed a joint team, and they built the Harness system oriented toward mathematics research scenarios.
50%UnverifiedDuring the tackling process, Scholar-S2 successively completed 7 batches of continued deduction, the problem graph expanded from 15 nodes to 389 nodes, the total output reached over a thousand pages of rigorous derivation, and at the same time dozens of entirely new lines of argument were generated.
50%