Skip to content

Intern S2

Arquivo temático • 1 resultados

Gerado por IA: resumos escritos por IA a partir das fontes indicadas. Como usamos a IA

Voltar ao início • GEO summary endpoint

2026-10-15

Tecnologia

  • Pesquisadores usaram o modelo Intern-S2 do Shanghai AI Lab para desenvolver uma prova para o caso de codimensão um da conjectura de Ghys de 1995. O trabalho, abrangendo muitas rodadas de diálogo, foi formalizado no assistente de provas Lean por uma equipe da Universidade de Pequim.

    Pesquisa • Pandaily

    Link permanente