Modelo Intern-S2 auxilia prova do caso 3D da conjectura de Ghys
Shanghai AI Laboratory relata que o modelo Intern-S2 contribuiu para provar o caso tridimensional da conjectura de Ghys, verificado em Lean.
Tag
Shanghai AI Laboratory
2 artigos
Shanghai AI Lab lança modelo multimodal Intern-S2-397B com pesos abertos
O Shanghai AI Laboratory disponibilizou os pesos do Intern-S2-397B no Hugging Face e ModelScope, com foco em pesquisas científicas.