按主题浏览来自不同作者的公开文章。标签由 AI 生成,仅供分类参考。
共 4 篇文章
从新到旧
AI写出的证明,数学家开始读不懂了
数学证明的终审权正在交给机器
AI的可靠性。
第一次使用?查看阅读与订阅指南 →