Mathematician says OpenAI trained model on his unpublished proof

Original: OpenAI might have stolen another major proof

Source: twitter.com ↗