孙宇晨奖
@SunPrizeCN
🏆 孙宇晨奖｜官方中文账号
Quod probatur, solvitur
所证即解
Joined September 2026
23 Following 896 Followers
#孙宇晨奖# 首批候选获奖人已进入14天公示阶段。
本次候选获奖人名单自9月19日起进入公示期，为期14天。此次进行的公示题目为官方题库中的305、371、381、526、866、1001号。候选贡献涵盖数学解题与Lean形式化验证。
相关信息已同步至孙宇晨奖GitHub仓库，公众可依规提出正式挑战。
Show more
