数学家Andreas Thom在社交媒体上指控OpenAI可能在未经授权的情况下，将他与Gábor Kun关于Gromov soficity猜想的未发表研究用于训练Astra模型。该模型随后宣称已解决包括这一猜想在内的十大问题。