AI rozwiązuje millennium problem Naviera-Stokesa

OpenAI zaprezentowała rozwiązanie słynnego problemu millennium Naviera-Stokesa wygenerowane przez AI, wraz z formalnym dowodem w języku Lean. To potencjalnie przełomowy wynik w matematyce i informatyce teoretycznej.