AI没证完五次方程，但替数学家走完了最后一步

带刻度的尺规能解五次方程？Joe Shipman说能。Tschirnhaus变换消去x²和x⁴项，一次双neusis，再堆一组平方根，两百多年的障碍就这么被拆了。他自己承认，没有Claude Opus和ChatGPT Sol搭把手，这活儿至少得耗一整年——可他根本没有那一年。AI没替他下结论，只是把代数几何的直觉快速喂给代数计算，替他筛掉大量失败路径。Conway当年一口咬定构造存在，但没能等到那一天。

原文：Joe Shipman proves marked ruler and compass solves the general quintic · 来源：Hacker News