News for hackers. Stuff that matters.

A comment on OpenAI withdraws three mathematical results. Parent comment

Re:OpenAI withdraws three mathematical results by cyanydeez on Thursday October 08, 2026 @06:15AM (#50004009)
Technically,Godel showed you can make proofs say anything. all LEAN does is proof consistency. It does not validate the starting blocks.
[ Parent | on HN ]

There are no comments on this comment yet.