PT ▾
SNAPE REP RT Primeira página →
Em andamentoCiência e matemática23 de out., 15:00 UTC

Physical Superintelligence publica resultados com IA sobre cinco problemas quânticos abertos com provas em Lean

Vários resultados são parciais, limitados ou contraexemplos, e nenhum tinha revisão por pares até 24 de outubro.

Ler em Physical Superintelligence Compartilhar
Mais do Snape ReportPrimeira página →