how strong is your internal informal LLM at theorem-proving before the formaliza...

		Davidzheng 7 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... how strong is your internal informal LLM at theorem-proving before the formalization stage? or it's combined in a way so that is not measurable?