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.
Vários resultados são parciais, limitados ou contraexemplos, e nenhum tinha revisão por pares até 24 de outubro.