若全宇宙只有AI懂证明，数学便毫无意义 | 陶哲轩 | 邓煜 | 菲尔兹奖 | AI数学证明 | OpenAI | SAIR基金会 | 开源AI模型 | 偏微分方程 | 纳维-斯托克斯方程| 数学研究



DOWNLOAD





Bagikan