#孙宇晨奖
#孙宇晨奖 与孙宇晨本人有何关系？ 作为奖项发起人与出资人，孙宇晨先生希望以个人财富回馈支撑其事业发展的数学研究，为数学成果及其形式化验证提供持续支持。 正如他在公开信中所言：“财富从数学而来，也应回到数学之中。” 更多详情可查看：
孙宇晨奖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.