Has there been any company that has laid off even a nontrivial amount of programmers and replaced them with AI? Here I mean, where developers at said company actually say the process works and is established, and the staff cuts weren't happening anyway.

I know there are CEOs that make bold claims about this (E.g. Klarna) but I don't really assign any value to that until I hear from people on the floor.