News for hackers. Stuff that matters.

A comment on OpenAI withdraws three mathematical results. Parent comment

Re:OpenAI withdraws three mathematical results by devy on Thursday October 08, 2026 @09:19AM (#50005495)
Generating Lean proof is much harder and time consuming so these errors made were probably discovered during Lean proof stage.
[ Parent | on HN ]
Re:OpenAI withdraws three mathematical results by sashank_1509 on Thursday October 08, 2026 @11:21AM (#50006908)
These errors were discovered by human mathematicians
[ Parent | on HN ]