孙宇晨奖
@SunPrizeCN • 1,904 subscribers
🏆 孙宇晨奖｜官方中文账号 Quod probatur, solvitur 所证即解
Videos
当主要解题思路已经走通，但某个特殊情形仍存在证明缺口，该如何补全证明？ 汤泉宇（Quanyu Tang）深入解析第650号问题，介绍如何修补证明、完成Lean形式化验证，并将证明改写成便于读者理解的版本。 查看官方题库及参与指南：
孙宇晨奖39,086 görüntüleme • 10 gün önce
准备好挑战孙宇晨奖题目了吗？ 这条视频带大家快速了解如何查找孙宇晨奖收录的题目、查看相关要求，并通过上传文件或附上Lean证明提交解答，进入后续认可与评审环节。 浏览待解题目，立即开始👇
孙宇晨奖29,671 görüntüleme • 11 gün önce
#孙宇晨奖 与孙宇晨本人有何关系？ 作为奖项发起人与出资人，孙宇晨先生希望以个人财富回馈支撑其事业发展的数学研究，为数学成果及其形式化验证提供持续支持。 正如他在公开信中所言：“财富从数学而来，也应回到数学之中。” 更多详情可查看：
孙宇晨奖55,187 görüntüleme • 29 gün önce
下一个数学突破，或许就来自你。 #孙宇晨奖 邀请数学家、研究者和勇于探索的思考者，挑战经典的 Erdős 问题，共同拓展数学的边界。 每一项伟大发现，都始于有人愿意向未解难题发起挑战。
孙宇晨奖34,651 görüntüleme • 21 gün önce
#孙宇晨奖 聚焦数学经典问题的完整解决与完整 Lean 形式化验证，鼓励把数学证明翻译成机器读得懂的语言。 我们现在正处于一个从人类向机器、从碳基向硅基的过度，在这个中间，充当一个翻译官很关键。
孙宇晨奖42,913 görüntüleme • 1 ay önce
Daha fazla içerik yok.