Demonstrating specification gaming in reasoning models