OpenAI might have stolen another major proof

	OpenAI might have stolen another major proof(twitter.com)
	272 points by tamnd 11 hours ago \| 160 comments
	tl;dr: Mathematician Andreas Thom alleges OpenAI may have trained its Astra model on private conversations between him and Gábor Kun regarding Gromov's soficity conjecture, which OpenAI later claimed Astra had solved independently. Combined with similar accusations from Levent Alpöge and Tristan Buckmaster, the author argues this suggests a pattern of OpenAI passing off unpublished human mathematical work as AI-generated breakthroughs.
	HN Discussion: ↑Pattern of behavior suggests OpenAI likely used private data as alleged ↑Big AI labs are built on IP theft and shouldn't be trusted with private data ↓Claims are weak with no credible evidence, just accusations on social media ↑Researchers should timestamp and publicly document work to protect against AI training theft ↓Thom's own prior public post about the proof undermines his plagiarism claim