事情的经过
故事的主角没有数学学位，靠兴趣啃一个老问题，用 ChatGPT 当全天候的讨论对象：让它解释文献、检验思路、提示相关定理，自己负责直觉和验证。最终的进展经专业数学家核验成立。值得强调的是 AI 在这里不是答题机，多数时候它给的是「错误但有启发」的回应，价值在于让一个圈外人拥有了以前只有研究生院才提供的东西：随时可以对话的、懂行话的陪练。
「vibe maths」的两面
数学界的反应耐人寻味。欢迎的一面：数学史上业余者本就有过贡献传统，AI 把门槛进一步削低，能扩大尝试的人群基数，哪怕成功率极低，基数大了总量也可观。担忧的一面：同样的工具会批量制造「自以为证明了黎曼猜想」的民科投稿，期刊和论坛的审核负担已经在涨。这两面是同一枚硬币：降低门槛从来是好坏一起来。这次的案例落在好的一面，值得记录，也值得别过度推广。
via: Hacker News