推文

@Ellieorange8 · 2026-10-10 23:29

最近老能刷到AI颠覆了整个数学界的帖子，大概意思是openai为了证明自己训练的大模型厉害，直接用Lean形式化证明了700多道数学界非常经典的难题。 多位数学家联合起来抗议，这种恶意拿数学界难题测评的方式会损害数学研究的氛围。 很多原本需要数学家花很多年才能证明出来的定理，AI就直接就证出来。如果一个题目有了结果，那么谁还会去认真看过程呢？我觉得只有那些真正热爱的人才愿意去做。 其实在我应用数学方向读研的时候，我就已经能够感觉到AI对所有领域的影响都是颠覆性的，数学也不例外。当时没有颠覆，只是因为AI技术的发展还没有突破一个临界点。任何涉及逻辑推理的有一定规律的学科都会受到一定的影响，这都是AI擅长的。 写作，翻译，图片生成，视频生成，写代码每一次技术的突破都抢了一堆人的饭碗，现在数学面临这样的问题也很容易理解。 如果本身是非常热爱研究数学的人，还是可以继续学习，在这个领域里发展，可以提出自己的理论；如果只是为了水论文大概率会很难生存下去。 最重要的是提出一个好的问题，而不是总寻求一个答案。

曝光 155 · 评论 0 · 点赞 0 · 书签 0 · 曝光/时 5.663609633205159