OpenAI 证明 π 的无理性指数 μ(π) = 2

OpenAI 近日发布证明，确认 π 的无理性指数 μ(π) = 2，即用有理数 p/q 逼近 π 的误差通常约为 1/q²，与绝大多数实数一样属于"典型"情形。无理性指数 μ(x) 衡量实数被有理数逼近的程度：有理数为 1，无理数至少为 2。此前已有数被证明指数大于 2，例如 Cahen 常数 C 的指数为 3。