Նավիե-Ստոքսի հավասարումներ

Քլեյի մաթեմատիկայի ինստիտուտը մեկնաբանել է OpenAI-ի հայտարարությունը Նավիե-Ստոքսի խնդրի վերաբերյալ

OpenAI-ն սեպտեմբերի 8-ին հայտարարեց, որ դեռևս չհրապարակված ներքին ԱԲ մոդելը, օգտագործելով շուրջ 10,000 ինքնավար գործակալներ 88 ժամվա ընթացքում, ներկայացրել է ապացույց առ այն, որ եռաչափ Նավիե-Ստոքսի հավասարումները կարող են վերջավոր ժամանակահատվածում առաջացնել եզակիություն. արդյունք, որը հաստատվելու դեպքում կլուծի 2000 թվականին…

Թերենս Տաոն «տպավորիչ ձեռքբերում» է անվանել արհեստական բանականության աջակցությամբ արված հիդրոդինամիկայի ապացույցները

Նյու Յորքի համալսարանի մաթեմատիկոս Թրիստան Բաքմաստերը և Anthropic-ի հետազոտող Լևենտ Ալփյոգեն կիրակի օրը հրապարակել են ԱԲ աջակցությամբ և Lean համակարգով ստուգված ապացույցներ, որոնք ցույց են տալիս, որ հեղուկների մի քանի հավասարումներ հարթ արտաքին ազդեցության տակ կարող են առաջացնել վերջավոր ժամանակում…