Computational Complexity Theory

OpenAI Publishes Lean‑Checked Proofs and Names Academic Shepherds for Three Major AI‑Generated Results

Independent expert review that could take months will determine whether the AI outputs overturn core assumptions in computation, cryptography and quantum field theory