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

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

		gabrimat 3 days ago \| parent \| context \| favorite \| on: OpenAI withdraws three mathematical results Looks like those are new formalizations of existing proofs, not new ones
		help

fph 3 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