OpenAI claims new proofs and invites academic examination
It published a claimed local-smoothing proof and Exponential Time Hypothesis disproof with Lean formalizations; external groups will examine the complexity-theory and physics results, with physics artifacts awaiting release.