推文

@sunyuchentron · 2026-10-12 17:03

#孙宇晨奖 聚焦数学经典问题的完整解决与完整 Lean 形式化验证，鼓励把数学证明翻译成机器读得懂的语言。 欢迎更多的人来了解孙宇晨奖：https://hejustinsun.com/prize

曝光 8160 · 评论 23 · 点赞 14 · 书签 0 · 曝光/时 3375.5775567320634