Prior to the announcement, rumors were circulating online among mathematicians over the proof’s origins—OpenAI has denied all allegations