The old saying of Tony Hoare about no obvious bugs vs obviously no bugs holds in the age of LLMs more than ever