1 articles with this tag
OpenAI claims AI-generated, Lean-checked proofs for local smoothing, ETH and QCD, with three different public release models.
