Terence Tao

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…