‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop

One of the main fucking points of a mathematical proof is to be clear and convincing. If it is not convincing and reducible to simple steps, it’s not a proof at all.

All a proof needs to do is logically derive the conclusion from the premises. Sure, there are qualities we like to see, but complexity is no disqualifier. These AI proofs are of course horrendous and need a lot of work, but even a bad proof can allow new work to continue on top of it.