弱化个人功劳、靠多人接力攻克证明的协作理念。
证明题成了接力赛：不抢最后一棒，谁补上关键一步，大家就把终点线往前推。
它让证明拆成可验证的小步，适合开放协作与人机研究。
Formalized Mathematics形式化证明提供统一标准，让多人贡献能被拼接验证。
AI Math DiscoveryAI 参与数学发现时，更需要按贡献而非名气评价。
Human-AI Complementarity它鼓励人和 AI 分工接力，共同补齐证明缺口。