“科学从诞生起就是开源的!” 陶哲轩 x 邓煜重磅采访:若全宇宙只有AI懂证明,数学便毫无意义

奇点折射 2026年10月20日 查看原文

已收录文章摘要,完整内容可前往原文阅读。

“别把我们数学家当免费的 debug 民工。”