Intern S2
Archive thématique • 1 résultats
Généré par IA : résumés rédigés par une IA à partir des sources citées. Notre usage de l'IA
2026-10-15
Technologie
Des chercheurs ont utilisé le modèle Intern-S2 du laboratoire d'IA de Shanghai pour développer une preuve du cas de codimension un de la conjecture de Ghys de 1995. Le travail, s'étendant sur de nombreux tours de dialogue, a été formalisé dans l'assistant de preuve Lean par une équipe de l'Université de Pékin.
Research • Pandaily
Lien permanent