OpenAI withdraws three mathematical results

	OpenAI withdraws three mathematical results(twitter.com)
	373 points by sashank_1509 6 days ago \| 607 comments
	tl;dr: Summary not available
	HN Discussion: ↑Sign errors suggest higher probability of more undetected false proofs in the batch ↑AI-generated proofs should all be formalized in Lean since manual review is infeasible ↑Many of these AI proofs will likely fall apart on closer inspection over time ↑Sarcasm mocking OpenAI for only its own papers needing retraction ↓3 errors out of ~400 is actually a good success rate