In the thread, they note a human had already come up with (and published) an eve...

		ac29 6 months ago \| parent \| context \| favorite \| on: Claim: GPT-5-pro can prove new interesting mathema... In the thread, they note a human had already come up with (and published) an even better solution.