数亿美元投入数学研究,奥尔特曼称 OpenAI 还有未公开数学发现