ChatGPT: "There are a number of proof assistants that are specifically designed for hardware verification, such as Sledgehammer and HAVOC. These [...] are typically used to verify the correctness of hardware designs and ensure that they meet their specifications." What!?