オレンジ自分で先見の明って言っていいと思う＞＜

LLMs are making formal software verification feasible at a much larger scale \ Anthropic https://www.anthropic.com/research/formal-verification