全面解读孙宇晨奖及如何参与拿到最高100万美元奖金
孙宇晨设立数学奖，单题奖金最高100万美元，采用机器可验证的Lean形式化证明作为评判标准，去中心化、零信任地取代传统评奖委员会。作者认为这对个人和小团队是重大机遇：奖项不设门槛，且30%奖金专门留给形式化工作，即把已有公开证明搬进Lean即可拿钱。作者分析了三种参与方式（全做、只做形式化、只出思路），推荐小团队从形式化切入，并给出三人团队配置建议、官方入口和Lean工具链教程。作者认为该奖项将倒逼AI行业从'看起来对'转向可复查的可靠推理，带来结构性利好。
