#Claude

Anthropic dùng Claude chứng minh bảo mật cho hơn 100 thư viện phần mềm

Anthropic và Theorem dùng Claude tạo chứng minh bảo mật cho hơn 100 thư viện open source ở cấp assembly, đồng thời phát hiện các lỗi tồn tại nhiều năm.

12 mô hình AI cùng đưa ra một nhận định gay gắt về con người

Hỏi 12 mô hình AI về điều gây tranh cãi nhất ở con người, 29 trong 35 câu trả lời giống hệt nhau: con người chọn niềm tin theo nhóm rồi mới tìm lý do.

Anthropic ra mắt Claude Duet, trợ lý AI chủ động làm việc thay bạn

Anthropic giới thiệu Claude Duet, agent AI chạy trên Opus 5.5, tự báo cáo mỗi sáng, xử lý công việc trên đám mây và chỉ hỏi ý bạn khi cần quyết định quan trọng.

Claude giải mã bí ẩn 25 năm về chuẩn mật mã ECDSA của NSA

Claude của Anthropic tìm ra nguồn gốc các seed đường cong NIST do NSA công bố: chỉ là bộ sinh số ngẫu nhiên lrand48 khởi tạo bằng mốc thời gian Unix, khép lại nghi vấn kéo dài nhiều năm.

Anthropic tự xây hệ thống quản lý mã nguồn Scion thay git

Anthropic xây hệ thống quản lý mã nguồn Scion và chuyển khỏi git trong 5 tháng, vì nhờ Claude, số thay đổi code được merge mỗi ngày tăng từ 2.500 lên hơn 30.000.

Meta và Microsoft cắt giảm dùng Claude, chuyển sang công cụ tự phát triển

Meta và Microsoft giảm mạnh việc nhân viên dùng Claude của Anthropic để chuyển sang công cụ lập trình AI tự phát triển, nhằm kiểm soát chi phí.

148

Claude Haiku 5.5 ra mắt: rẻ hơn khoảng 75%, nhanh nhất của Anthropic

Anthropic ra mắt Claude Haiku 5.5, mô hình nhỏ nhanh nhất của hãng, rẻ hơn khoảng 75% so với Haiku 4.5, kèm thiết lập effort và giá cache read Sonnet 5.5 giảm một nửa.

Anthropic báo cảnh sát về nhật ký Claude, một phụ nữ bị buộc tội

Một phụ nữ ở Florida bị buộc tội trọng tội sau khi viết ý định tấn công văn phòng cảnh sát trưởng vào Claude. Anthropic đã chuyển nội dung cho cảnh sát sau khi nhân viên xem xét.

Công Nghệ

Mac Mini chạy Claude và Codex bị hack qua lỗ hổng macOS, AI agent giúp cứu nguy

Một lỗ hổng macOS nghiêm trọng đang bị khai thác để cài phần mềm đào tiền ảo. Chiếc Mac Mini chạy Claude và Codex của Ben Thompson bị tấn công, nhưng AI agent đã phát cảnh báo kịp thời.

Claude giúp máy tính xác nhận lời giải định lý 358 năm tuổi

Claude của Anthropic vừa hoàn tất việc chuyển chứng minh Định lý Lớn Fermat thành mã kiểm chứng máy tính chỉ trong 11 ngày, việc mà giới toán học từng nghĩ mất nhiều năm.

Claude của Anthropic tự chứng minh Định lý Fermat trong 11 ngày

AI Claude của Anthropic đã tự động tạo ra bản chứng minh hoàn chỉnh, được máy tính kiểm chứng cho Định lý cuối cùng của Fermat chỉ trong 11 ngày.

Armature: 17.000 lượt chạy hé lộ cách AI code chọn công cụ

Startup Armature chạy 17.000 thử nghiệm trên 75 repository giả lập để tìm hiểu cách các AI coding agent như Claude, Codex và Cursor chọn công cụ và dịch vụ bên thứ ba.