#孙宇晨奖

下一个数学突破,或许就来自你。 #孙宇晨奖 邀请数学家、研究者和勇于探索的思考者,挑战经典的 Erdős 问题,共同拓展数学的边界。 每一项伟大发现,都始于有人愿意向未解难题发起挑战。
孙宇晨奖34,651 Aufrufe • vor 21 Tagen

#孙宇晨奖 聚焦数学经典问题的完整解决与完整 Lean 形式化验证,鼓励把数学证明翻译成机器读得懂的语言。 我们现在正处于一个从人类向机器、从碳基向硅基的过度,在这个中间,充当一个翻译官很关键。
孙宇晨奖42,913 Aufrufe • vor 1 Monat
Keine weiteren Inhalte verfügbar