Terence Tao

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