News for hackers. Stuff that matters.

A comment on OpenAI withdraws three mathematical results. Parent comment

Re:OpenAI withdraws three mathematical results by JohnKemeny on Thursday October 08, 2026 @08:48AM (#50005207)
They are not publishing Lean proofs. They are publishing proofs in natural language, and are not submitting to journals.

They are just putting out a bunch of weirdly written extremely long and technical papers and saying: Hey, here is the solution (we hope there are no mistakes).

[ Parent | on HN ]
Re:OpenAI withdraws three mathematical results by viraptor on Friday October 09, 2026 @07:20AM (#50018925)
They're doing both. Some results were initially published without Lean. But they continue adding the proofs where they're missing: https://github.com/openai/math/tree/main/lean
[ Parent | on HN ]