指数時間仮説

OpenAIは調和解析、計算複雑性理論、量子場理論における3つの新たな成果を発表しました。計算複雑性理論の重要仮説である「指数時間仮説」の否定や、定理証明助手Leanによる検証、学術界との連携原則について解説します。