OpenAI公开722份数学手稿，宣布解决含准黎曼猜想的数百个数学问题。涉及AI与数学界。