OpenAI宣布攻克悬赏100万美元的数学难题