LLMs are making formal software verification feasible at a much larger scale

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.