news

Các LLM đang giúp việc xác minh phần mềm chính thức trở nên khả thi ở quy mô lớn hơn nhiều

180 điểm · 86 bình luận trên Hacker News · anthropic.com