为什么 AI 公司纷纷重金投入数学证明？

OpenAI 于 9 月 8 日宣布，1 万个运行 GPT-6 Astra 及一款未发布模型的 AI 智能体耗资数百万美元，找到了 Navier-Stokes 方程某个特定问题的解析解。作者借此对比数学界与工程界的反应，并借 Cucumber 的 Gherkin 语言讨论软件测试中"说清需求"这一真正未解的问题。