陶哲轩：AI 正在“开采”优质数学难题，并促使研究者不再分享研究方向
陶哲轩表示，AI 工具正在许多数学领域抹平难度梯度，令研究者更难发现值得研究的新问题；目前区分“AI 可解”和“AI 困难”问题的边界仍不清晰。
他警告，强力工具无差别解题可能削弱开放科学生态，促使研究者不再分享研究方向。他建议，对部分问题不仅要给出答案，还应分析解题过程和相关难度。
Mathstodon
Post #1090
2
华人日记 OpenAI 公布纳维–斯托克斯千禧年难题解答 OpenAI 公布纳维–斯托克斯存在性与光滑性问题的解答，这是七大千禧年大奖难题之一。其内部系统给出的证明显示，起初光滑的流体可在有限时间内产生奇点，并同时公开论文与 Lean 形式化验证；求解动用约 1 万个并行智能体、270 万条消息和约 1300 亿输出 token。OpenAI 称无意申领该奖项。 OpenAI 起初以为 Anthropic 员工 Levent Alpöge 与纽约大学教授 Tristan Buckmaster 也解出了该题，提出…