OpenAI的阿特曼將向川普簡報:AI模型解出80年數學難題