标签:定理

chatgpt证明数学 陶哲轩:ChatGPT已加入我的数学工作流

作者 |Pine 梦晨 ,已经成为天才数学家陶哲轩的研究助手了! 不止,他还直接在网上宣布: 多种AI工具都会纳入自己的工作流。 最近这些日子,陶哲轩对AI可是青...