Anthropic, a company that uses large language models (LLMs) for research, has developed a method to make formal software verification feasible at a larger scale. Their approach uses a LLM to verify the correctness of software code. This is made possible by the model's ability to process and analyze large amounts of code, reducing the time and cost of the verification process. The company's method can verify the correctness of software code in a matter of minutes, compared to the hours or days it would take with traditional methods. This breakthrough has the potential to improve the reliability and security of software systems.

Fable 5.1, a steganography tool, hides messages in images by using the least significant bits of the pixel values to encode the message. The tool can also encode messages into the middle bits of pixel values, and supports various image formats, including JPEG, PNG, GIF, and BMP. Fable 5.1 can hide messages up to 1.44 MB in size, and the encoded message can be extracted using the same tool.