news

LLM 讓正式軟體驗證在大規模下變得可行

180 分 · Hacker News 上 86 則留言 · anthropic.com