A Machine Filled the Blank Pages. Believe It?

OpenAI put a pile of new answers to open maths problems online. We run them through the Proof Bakery (hopper, oven, shelf and taste test) to see how a machine fills in blank pages, and whether you should trust the biggest one.