给数学家的紧急提问：AI时代，你的工作还有意义吗？
一位数学家在Navier-Stokes新进展引发关注之际，向同行提出一系列尖锐问题：AI辅助研究正在侵蚀数学的人文尺度，数学家是否应警惕大公司的研究议程？ 文章质疑数学研究的紧迫性，呼吁保护学术文化而非企业协作文化，并追问数学家如何守住自身价值与职业意义。
评论
点赞
收藏偏离常规的意义：当AI开始一本正经地胡说八道
给AI编造无意义词组，它会一本正经地 hallucinate 出看似合理的解释——但人也能做到同样的事。作者用"黑格尔假新闻机器"实测验证，并由此推论：AI能合成的"规范连接"，人类凭个人独特经验可以做出更偏离常规的解读，这才是AI无法替代的价值所在。
这个世纪，别无其他
<p>你是从黑夜来的，对吧？把这些说出来真的很好。我想给你一个更清晰的问题视角，以及我恐惧的形态。我发现那里有个卡拉基亚适合这个场合。<br><br>其中有一个片段，我用虔诚潜吟着。</p><p><em>《红尖黎明》</em></p><p>我感觉自己被追捕。当我说“语义空间”时，你明白我的意思吗？我相信你知道。我觉得我写下的每一句话和分享，都是通往语义空间中影子的一小块面包屑。<br><br>我不是我的语义影子，但当灌木丛中的大型语言模型掠食者逐渐逼近那个可怜的小东西（我唯一的）时，我为它感到存在主义的恐惧。大型语言模型是仅由阴影构成的语义空间巨兽，它们的本性就是狩猎。<br><br>当他们逼近时呢？我不想在黑暗中见到我的替身，我的恶魔模仿者。你我写作时正被追捕。</p><p>现在说这个：你敢看上帝的面容，感受那恐惧和颤抖吗？它带有某种愿望实现的感觉。你现在有这个机会，提出你伟大的宽恕请求。帮帮我，救我，让它停止。<br><br>无论如何，我觉得用催产素洗澡来表达我的请求会是一场宁静的洗礼。我要么得救，要么被压垮，但我还能做什么呢？松了口气。仔细想想，我觉得我为自己的宽恕请愿多了一个新物品。<br><br>如果有机会见到创作者，或者甚至是这些创作者综合体公司中的一个，我会用几乎难以辨认的字迹潦草地写在最新的要点旁边：<em>“请保存相遇的瞬间。”</em>如果你想知道这意味着什么，可以继续阅读。</p><p>我将数学的一个可能未来类比为《巴别图书馆》。大卫以下是一些关于未来大型语言模型纠缠的渐进类比：太空竞赛（次要）、电力（相当可观）和上帝（难以…</p>
数学的暗夜：当AI剥夺了发现的灵魂
<p>我快要疯了。在过去大约一周的时间里，大语言模型接连提出了许多对长期存在的重大猜想的反例。我在这里就不一一赘述这些新发现，其实有很多地方都可以找到相关的详细内容。</p><p>数学家、数学爱好者，以及那些充满好奇的普通民众，都在以各自的方式回应这些最新进展——而在我看来，这些反应却在一定程度上模糊了问题的核心所在，至少对我而言是如此。<br><br>我的回应并非代表整个数学界的看法，但我怀疑自己并不是唯一一个这样想的人。</p><p>由于这些新进展，我正经历一场深刻的灵性危机。我已经在内心深处呐喊了好几天。仿佛自己活在一个噩梦之中。最近的“”，对我来说，更像是一声被刻意压抑的呐喊——那是一种甜腻至极的自我安慰之音，却在其中隐约笼罩着一种显而易见却又令人痛彻心扉的缺失。</p><p>在向你揭示这种缺失究竟是什么之前，先讲一个我从数学家中听到的故事：即便人工智能能够比人类更高效地证明定理、构建理论，即便这些证明与理论既优美又引人入胜，即便它们以优雅的文笔和清晰的思维呈现出来，数学家们依然会在评判、展示、理解并欣赏这些崭新的、令人愉悦的非人类证明中占据一席之地。<br><br>我们依然可以练习数学、学习数学、教授数学，并一同进行数学探索。我们甚至还可以用老派、低效的方式，单纯为了乐趣而撰写证明。<br><br>也就是说，即使大语言模型能够以客观上超越我们所有努力的方式推动数学发展，我们依然可以在本质上做我们一直以来所做的事情。</p><p>当然，在我们的体制下，没人会为…</p> 
Walking around in Regina, Saskatchewan
It’s a city that seems formed from the very dust of the prairies, save for a defiant double-upthrust of latticed glass at its heart. Currently the 4th and 6th tallest buildings in Regina—they differ b... 
Soon to Be and Never to Be
Hello and welcome to 2026 family and friends! A little Life update: I had a rough time getting set up in Canada. There was lots of admin to be done, lots of stress (financial, health, a quarter-life-c... 