Claim: a randomizer can prove new mathematics as long as you keep checking every...

		yapyap 6 months ago \| parent \| context \| favorite \| on: Claim: GPT-5-pro can prove new interesting mathema... Claim: a randomizer can prove new mathematics as long as you keep checking every single one