And added 6 new ones. Might want to add that to the headline. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		TrackerFF 6 days ago \| parent \| context \| favorite \| on: OpenAI withdraws three mathematical results And added 6 new ones. Might want to add that to the headline.
		help

gabrimat 6 days ago [–]

Looks like those are new formalizations of existing proofs, not new ones

fph 6 days ago | [–]

So a fair headline would be "OpenAI tried formalizing more of their proofs, and found 33% of them had a mistake".

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact