marsmay

我理解他是在担忧 AI 影响数学的未来。
1. 很多给本科生、硕士生研究和发论文的初级问题，现在 AI 很容易解决，变得没有意义了，新手期变得比以前更难了，但是没有新手哪来的老手，缺乏从初级问题开始的渐进训练，数学家诞生会变得更难；其实和程序员面临的问题差不多，现在 AI 正在挤压初级开发岗位，但是没有初级程序员哪来的高级程序员；
2. 千玺难题这种级别的问题，是下金蛋的母鸡。人类在证明过程中诞生了相当多的有用的数学工具，例如在证明黎曼猜想过程中，诞生了黎曼显式公式、塞尔伯格筛法等。推动的是整个数学的发展，而不是只推动了问题本身的进程。但是 AI 目的性很强，目标相当直接，就是要把鸡杀掉。世纪难题是稀缺的，所以克雷所选出的千玺难题也只有七个。有时候我们的目标其实并不是把问题解决掉。
3. AI 这种简单直接快速的解题，会让人类数学家的研究束手束脚。现在 AI 花一天半就可以将黎曼猜想的非平凡零点推进十几个百分点，人类用了几十年才推进了百分之一。你要是做的这方面的研究，现在选择放弃还是继续。估计现在很多课题的科研狗们，都是战战兢兢的。
所以我理解，数学家们的担忧不是 AI 抢了风头，而是担心它毁了人类独立思维和研究的未来。就像现在 Vibe Coding 的热潮一样，好像做了很多项目很酷，但是一个项目也看不懂，而且大多没有创造性。

@wanggaoqi 大佬说的对，但是我能说我其实是程序猿么？

感谢大佬们的支持🙂

@weisongw 国际站不限购，成本对比可以看我另外一篇帖子

顺便打个广，抢不到智谱 Coding Plan 的，欢迎来一起来国际站薅返利优惠啊 [/t/1204287]( https://www.v2ex.com/t/1204287)

@bkchan Maple Mono NF CN ，可以用 brew 装 `brew install font-maple-mono-nf-cn`

龙虾普及以后，人手一只，大量 token 被浪费，实际没有什么产出。
整体算力是不够的，token 肯定要越来越贵，收费是必然的。

不配用 Claude ，ban 了好几个账号。
现在是 GLM 5.1 跑 cc ，minmax 2.7 跑 openclaw 。

使用中发现的 tips 补充：
1. 国际站的 api key 可以请求国内站的 api 和 mcp ；
2. 不要使用天翼云的 GLM Coding Plan ，疑似二道贩子，高峰期几乎无法使用；
3. 尽量一开始就选择合适的套餐，续费升级都没有推荐人折扣；