#计算复杂性

几个计算复杂度的公开问题被 Claude Opus 5.5 找到了归约证明，人只负责验证和修改，这篇论文本身就成了人机协作做数学的案例。

这篇论文告诉你，就算是最简单的二次多项式，求极小极大问题的近似解也是超级难的，还顺带证明了博弈论里某些游戏也是难到头。