r/math•8 mo. agoLazy_Mention3257How significant are OpenAI's proofs to the Erdos problems?[removed]Posted Feb 15, 2026, 3:02 AM UTC11ShareSave