Navierovy–Stokesovy rovnice

Matematický ústav Clay se vyjádřil k tvrzení OpenAI o Navierových-Stokesových rovnicích

Společnost OpenAI 8. září oznámila, že dosud nezveřejněný interní model AI s využitím přibližně 10 000 autonomních agentů během 88 hodin vytvořil důkaz, že třírozměrné Navierovy-Stokesovy rovnice mohou v konečném čase vyvinout singularitu. Tento výsledek by v případě potvrzení vyřešil…

Terence Tao označil důkazy v dynamice tekutin s pomocí AI za pozoruhodný úspěch

Matematik Tristan Buckmaster z Newyorské univerzity a výzkumník Levent Alpöge ze společnosti Anthropic zveřejnili v neděli důkazy vytvořené s pomocí AI a ověřené v systému Lean. Ty ukazují, že v několika rovnicích dynamiky tekutin mohou za hladkého vnějšího působení vznikat…