News for hackers. Stuff that matters.

A comment on OpenAI withdraws three mathematical results. Parent comment

Re:OpenAI withdraws three mathematical results by nialv7 on Thursday October 08, 2026 @06:05AM (#50003919)
right now about 42% has Lean formalization I think.
[ Parent | on HN ]

There are no comments on this comment yet.