#人机协同

AI 助力证明三维 Ghys 猜想，证明还过了形式化检验

一个悬置三十年的动力系统猜想，由人机协同完成证明并用 Lean 通过形式化验证。读完能分清 AI 在前沿数学里干的哪段活，以及验证环节为什么关键。