ai润色要截图哦

一些用语都是我自己写的，最后仅仅用 ai 做了润色

好多文字，还是用图片总结一下吧

其实NS方程也是构造，只是算力人类难以企及。但他只是发生了，很自然的发生了，在这种环境与情景下难免会感到存在焦虑。

在组合与构造上人类面对AI的算力还是太恐怖了，但集合论测度论这些基础学科没什么突破性成果。

要说到AI4MATH的话researcher也是很重要的，人机协同会是未来的趋势，而并不是什么AI取代。好比说计算机专业的用Claude sonnet 4.5级别的模型就能大幅度提速项目，而非计算机专业的可能需要像Opus5，甚至Fable和Astra这样的SOTA模型才能做出相同的工作，还不一定保证后续的稳定和可维护性。背后的范式和思想这些更系统的东西仍然是需要人去思考的。数学已经是有几千年历史的古老学科了，知识体系太过繁重庞杂，即便是接近领域的研究方向的researcher也不一定会知道对方。AI的存在大幅度提高了理论组合的效率。