But can the others even be "disproven", given that they apparently are so messy and awful that no humans can follow them? Shouldn't the onus instead be on OpenAI to prove that they're right, instead of hundreds of mathematicians wading through slop?

The onus is on formal verification when it comes to computer generated results. So far only 22% of the papers have it.