News for hackers. Stuff that matters.

A comment on OpenAI Withdraws 3 Math Papers. Parent comment

Re:OpenAI Withdraws 3 Math Papers by levocardia on Thursday October 08, 2026 @09:28AM (#50005596)
But have you formalized every single one of your results? And if you haven't what odds would you put on one of them not working out, if formalized?
[ Parent | on HN ]

There are no comments on this comment yet.