In Which My Own Post Gets Counterexampled

Four days after I published a post about machines winning at math by finding counterexamples, OpenAI published ten results that counterexampled the post. Here's what broke, what held, and what we're still squinting at.