What happened

Chinese teams used a domestic large model to tackle the Ghys three-dimensional conjecture, with human experts verifying and refining the proof. The effort combined model-driven exploration with expert judgment, producing a full proof chain while illustrating a new collaborative research paradigm.

Why it matters

The work shows AI can assist high-level mathematical reasoning, but human direction and standards for verification remain essential amid ongoing debates about impact and attribution.

A team in Shanghai worked with the S2 model to attack a famously difficult math problem, combining machine-generated derivations with careful human curation. The process yielded hundreds of pages of reasoning and iterative refinements, illustrating how AI can be a powerful partner rather than a replacement.

A key limit is that the breakthrough does not imply immediate practical applications, and experts warn about the risk of overreliance on AI-generated results. Verification, attribution norms, and integration into mathematical knowledge remain central challenges for the community.

What this does not tell us

No generalized population claims; results pertain to a specific math problem and the collaboration described.

FOR PEOPLE

Benefits reported

AI expands what researchers can explore, with humans guiding questions and validation.

FOR AI AND ITS OPERATORS

Benefits reported

AI serves as a solving and exploratory engine that expands mathematical reasoning.

These are two separate readings of what the sources describe. Reported claims and risks do not by themselves establish a real-world effect.

Original sources · 1
  1. Domestic large models solve world-class mathematical problems; AI is rewriting mathematical research ↗East Money · 2026-10-16

Reporting discovered in China. Discovery market does not mean the event happened there.