Perhaps 1/1000 would be a useful rate, but numbers go a lot smaller than 1/1000.

		tshaddox 40 days ago \| parent \| context \| favorite \| on: Claim: GPT-5-pro can prove new interesting mathema... Perhaps 1/1000 would be a useful rate, but numbers go a lot smaller than 1/1000.