テクノロジー大手、AI効率を理由に2025年に5万5000人削減