我感觉ai这么发展下去，数学家很快就要大规模失业了

[和硕英亲王]

所谓数学家干的事情
就是提出假设猜想 ，然后证明猜想

这种类似穷举 解题空间的操作 无疑是计算机最擅长的。

现在google最新的ai 不是已经能破解难题，找到很多新的高效算法了吗

[洪荒之前]

不是穷举这种。

现在大语言模型已经比较成熟了。

各大厂在集中精力做推理模型，水平已经达到 PhD Qual 的水平。做 IMO 竞赛题 90 ~ 95% 这种。

[和硕英亲王]

我是说 数学家的 主要工作

证明 猜想

就是一个类似穷举 所有的解题路径空间 的过程。

[Lilyamao]

我不懂数学

我只看到一点

数学专业现在是AI的基石

AI都在大量挖数学系毕业生