News for hackers. Stuff that matters.

A comment on OpenAI withdraws three mathematical results. Parent comment

Re:OpenAI withdraws three mathematical results by hazbot on Thursday October 08, 2026 @05:34AM (#50003712)
> How do we even know the premises of the "verified" Lean proofs are correct?

We let the experts investigate. If the results are dodgy, then the next batch of results will have to do more upfront work to demonstrate their worth. If there is gold in them hills, then this is exciting though very disruptive for the math community.

[ Parent | on HN ]
Re:OpenAI withdraws three mathematical results by MisterMunchkin on Thursday October 08, 2026 @05:51AM (#50003816)
But like with all slop, why should I have to spend my time dealing with your worthless slop? If I wanted slop I could just make it myself.
[ Parent | on HN ]