オープンAI、数学の独立諮問委員会を設立 AIが100以上の未解決問題を解明