Официально подтверждены первые победители Justin Sun Prize👏
Поздравляем Wouter van Doorn, Yanyang Li и Quanyu Tang, которым удалось решить задачи из каталога Эрдёша. Это важный ещё один Milestone проекта с довольно ясной концепцией: награждать за математические работы, которые действительно можно доказать, проверить и подтвердить.
Что особенно интересно в Justin Sun Prize — проект не делает основной упор на известность, университет или статус участников. Вместо этого он использует открытую Problem List и фокусируется на результатах, которые можно проверить: в проекте есть как те, кто решает математические задачи, так и те, кто помогает преобразовать эти ответы в Lean-доказательства, которые может проверять машина.
На данный момент Problem Bank проекта включает более 1,000 задач, а также публичные данные о Candidate, Verification Evidence и подтверждённых Award.
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
Поздравляем Wouter van Doorn, Yanyang Li и Quanyu Tang, которым удалось решить задачи из каталога Эрдёша. Это важный ещё один Milestone проекта с довольно ясной концепцией: награждать за математические работы, которые действительно можно доказать, проверить и подтвердить.
Что особенно интересно в Justin Sun Prize — проект не делает основной упор на известность, университет или статус участников. Вместо этого он использует открытую Problem List и фокусируется на результатах, которые можно проверить: в проекте есть как те, кто решает математические задачи, так и те, кто помогает преобразовать эти ответы в Lean-доказательства, которые может проверять машина.
На данный момент Problem Bank проекта включает более 1,000 задач, а также публичные данные о Candidate, Verification Evidence и подтверждённых Award.
#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification
