News for hackers. Stuff that matters.

A comment on OpenAI withdraws three mathematical results.

Re:OpenAI withdraws three mathematical results by samrus on Thursday October 08, 2026 @04:54AM (#50003437)
How? What about the lean verification?
[ Parent | on HN ]
Re:OpenAI withdraws three mathematical results by Hendrikto on Thursday October 08, 2026 @05:26AM (#50003663)
Just click the link…

> The repo now has ~42% top-line results formalized.

[ Parent | on HN ]