news

LLMは、はるかに大規模なソフトウェアの形式的検証を実現可能にしつつある

Hacker Newsで180ポイント・86コメント · anthropic.com