Крипта·BeInCrypto·около 20 часов назад

Офис премии Джастина Сана объявил о пилотной программе с платформой MathDB для работы над 50 математическими задачами. MathDB будет принимать решения, проверять их формализации на Lean и оценивать пояснительные материалы, а организаторы премии — отдельно проверять соответствие условиям награждения.