I'm very glad i didn't have to publish this metric with any of my proofs.
Abelian
One big unanswered question about OpenAI's maths breakthrough is how many failed results did the company *not* publish in order to get a valid proof? The model solved the problem in "one shot" according to OpenAI, but was it the first attempt? I doubt it.
