The blog of Tasmin Chu

RSS: https://tasmin.substack.com/feed
这是我的博客。点击阅读 Tasmin Chu 的 Substack 博客。

AI异议者立场：为什么数学家不该用LLM做数学

数学家Tasmin Chu撰文主张：数学家不应使用LLM生成新定理证明，这会破坏数学理解赖以存在的人际协作语境。文章列出五项具体担忧——LLM能力不稳定导致研究不平等、数学家因害怕被抢先而减少交流、LLM生成低质量"垃圾数学"污染学术公共领域、青年数学家五年内大量流失、有伦理顾虑的学者在职业上受惩罚。作者提出三条反对理由：人类自己推导才能建立理解、LLM普及会让许多人不再选择数学作为职业、数学理解本质上是社会性活动而非个人产出。核心建议是：在行业共识形成前，维持对LLM生成新证明的暂停，数学家应拒绝与AI公司合作。
评论点赞收藏5 天前

数学家需要行动：OpenAI用AI证明重大数学定理，我们该如何回应？

今天早上，我醒来收到一位博士后（即将成为教授）朋友的短信，说OpenAI的新模型Astra证明了一个非非科学群体的存在。起初，我很震惊。然后我生气了。 让我先从一些技术细节开始。我本科时首次了解非结构群的问题;这是格罗莫夫著名的开放性问题之一，他1999年 基本上是在问每个群体是否都是Sofic（尽管读者可能会注意到他在那篇论文中没有用“sofic”这个词，那是魏斯所造 一年后）。在过去15年里，...
评论点赞收藏12 天前

数学界的行动号召：当LLM开始证明定理，署名权归谁？

数学家Tasmin Chu呼吁数学界集体抵制AI公司合作，并暂停使用LLM证明新定理，以保护数学研究的归属模式。她提出六个AI辅助证明的场景，追问人类数学家应得多少署名权——从快速学习经典理论到LLM自主解决著名猜想，归属边界越来越模糊。文章认为当前学术激励体系本就过度鼓励"灌水"，AI会让这个问题失控，需要与政府、大学和非营利组织合作建立新生态。
评论点赞收藏12 天前

登录芦苇

登录后关注作者、收藏内容和参与讨论。

热门话题

人工智能12,865 人关注AI 会怎样改变日常工作？产品思考8,243 人关注怎样判断一个产品值得长期做？独立开发5,917 人关注一个人如何持续完成作品？
关于芦苇 · 联系我们 · 下载 App · © 2026 芦苇