Skip to content

Intern S2

Topic archive • 1 matches

AI-generated: summaries written by AI from the linked sources. How we use AI

Back to home • GEO summary endpoint

2026-10-15

Technology

  • Researchers used Shanghai AI Lab's Intern-S2 model to develop a proof for the codimension-one case of the 1995 Ghys conjecture. The work, spanning many rounds of dialogue, was formalized in the Lean proof assistant by a Peking University team.

    Research • Pandaily

    Permalink