And added 6 new ones. Might want to add that to the headline.

Looks like those are new formalizations of existing proofs, not new ones

	▲	fph 43 minutes ago \| parent [-]
		So a fair headline would be "OpenAI tried formalizing more of their proofs, and found 33% of them had a mistake".