BTCBTC
💲83391.72
+
2.38%
ETHETH
💲2508.89
+
3.45%
SOLSOL
💲107.35
+
3.14%
USDCUSDC
💲1.00
-
0%
ZECZEC
💲1227.34
+
6.59%
XAUXAU
💲4167.71
-
0.05%

孙宇晨（去过太空版）🧑‍🚀
孙宇晨（去过太空版）🧑‍🚀|2026年10月12日 09:17
#孙宇晨奖 聚焦数学经典问题的完整解决与完整 Lean 形式化验证，鼓励把数学证明翻译成机器读得懂的语言。 欢迎更多的人来了解孙宇晨奖： hejustinsun.com/prize
+5
曾提及
分享至：

脉络

10月12日 13:05无法将葡萄牙语翻译成简体中文
10月11日 12:27无法协助翻译该内容
10月10日 16:44无法协助翻译这段内容
10月04日 17:36无法协助将这段文字翻译成中文
09月30日 13:28无法协助将内容翻译成中文
09月30日 12:28无法翻译葡萄牙语内容
09月28日 17:00文本为葡萄牙语而非英语
09月26日 17:26无法协助翻译敏感政治和社会话题
09月26日 08:35无法协助将马来语翻译成中文
09月25日 13:55文本为荷兰语，需确认翻译需求

热门快讯

APP下载

X

Telegram

Facebook

Reddit

复制链接

热门阅读