news

LLM은 훨씬 더 큰 규모에서 공식 소프트웨어 검증을 실현 가능하게 만들고 있습니다

Hacker News에서 180점 · 댓글 86개 · anthropic.com