Re:OpenAI Withdraws 3 Math Papers
by IsTom on Thursday October 08, 2026 @10:57AM
(#50006598)
Extrapolating the rate, there won't be any left by the end of next quarter. I jest, but reading these is arduous and finding holes in them is going to take time for anyone daring to.
[ Parent
| on HN ]
3 non-formalized papers withdrawn, 6 non-formalized papers formalized. Extrapolating the rate there won't be any non-formalized papers left by the end of November, but because 2/3rds of them will remain as formalized papers.