OpenAI Withdraws 3 Math Papers

Re:OpenAI Withdraws 3 Math Papers by TrackerFF on Thursday October 08, 2026 @08:25AM (#50004982)

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

[ Parent | on HN ]

Re:OpenAI Withdraws 3 Math Papers by gabrimat on Thursday October 08, 2026 @08:45AM (#50005177)

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

[ Parent | on HN ]

Re:OpenAI Withdraws 3 Math Papers by fph on Thursday October 08, 2026 @03:03PM (#50010445)

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

[ Parent | on HN ]