A Severe Misalignment of AI in Mathematics

现在数学家就是提出问题和验证，过不久，可能验证都被ai取代了，悲哀

研究了一辈子的领域被AI按在地上碾压，确实是眩晕瘫坐了

AI 也会像搜索引擎一样普遍吧，最后就用成一个高效的工具吧。

邓煜: 我也是真的很好奇AI的上限到底在哪里, 任何一个PDE理论上你都能提无穷多个问题, singularity的存在性只是最基本 的,那它们在所有解空间的测度呢? (余)维数呢?拓扑性质呢?完全分类呢? 要说这些AGI都能解决,好,有生之年能见证神迹那我也不亏了,接下来无非回家好好写我的百合小说就是

AI出现后，越来越多的领域都有了所谓的标准/最佳答案😌上一个是围棋，下一个会是数学吗？

等 ai 真发展到能自己造新轮子提出新理论体系的时候才能说数学家急哭了（

所以这群人也觉得 ai 只靠力大砖飞做数学研究嘛

数学家们已急哭

dengyu的意思是別研究數學, 多來點ai百合小說

其实未来数学界，可以增加对提出好数学问题的人荣誉，如果问题被验证，那么提出问题和验证的人都可以获得同样殊荣即可。

万一是他们不想付十万呢

那让ai在解决问题时的同时提出新工具，构建新体系就好了（

其实前路挺明朗的，ai能做所有理性问题

就像我这么愚钝的人现在问的问题比以前多了去

数学家都懂抱团自保，可见程序员情商是最低的。程序员的宿命最终不是被Ai干掉就是被人类干掉恐怕

AI现在连新生期都不是，人们得习惯被取代

文章最后一句话已经说清楚了取决如何使用ai这项技术，人家现在担忧自己的学术成果分配而已。

聪明且懂得利用ai的人更不在话下

ai发展有利于数学家提出更好的问题，这是必然事件

其实说的没问题，但仅针对目前的AI是这样的

不适应就是阻碍数学发展

有些人只是不适应而已，不适应就应该淘汰

别管他，你做的很好

未来是适用使用 ai 工具的数学家淘汰不会使用 ai 工具的数学家，而不是 ai 淘汰数学家

鞭子不抽自己身上不知道疼

你看这几年人类数学发展速度多慢

为啥不是科学家和ai强强联手?

就像围棋领域一样，ai 棋力稳定超越人类后，顶尖棋手都会通过 ai 训练来提高水平，而不主动练 ai 棋呢棋手则迅速退出赛场