Kiểm thử hình thức
OpenAI Rút Loạt Bài Báo Toán: Nút Thắt Xác Minh Của Kỷ Nguyên AI
OpenAI vừa phải rút ba bản thảo toán học AI tạo ra do lỗi dấu, phơi bày thực tế: sinh lời giải thì rẻ, nhưng xác minh tính đúng đắn mới là bài toán hóc búa.
Chủ đề
Trí tuệ nhân tạo
Một tuyển tập để khám phá, từng ý tưởng một.
Bài viết
Mới nhất trước
Chính sách công nghệ
Utah Bật Đèn Xanh Cho AI Khám Bệnh Và Kê Đơn Tự Động
Utah trở thành bang đầu tiên tại Mỹ cho phép AI khám bệnh và kê đơn thuốc không cần bác sĩ trực tiếp duyệt, mở ra kỷ nguyên y tế giao dịch tự động.
AI Agent
Computer Use Cần System 1, Không Phải LLM Khổng Lồ
Dùng LLM hàng trăm tỷ tham số để bấm nút là lãng phí. CUA-S1 chứng minh mô hình 706k tham số đủ sức làm chủ tự động hóa giao diện.
Lập trình
Mô Hình Tam Phân: Đưa LLM 27B Về Bộ Nhớ 6GB Trên Laptop
Bonsai 2 27B từ PrismML giữ 98,2% hiệu năng FP16 chỉ với 5,9 GB RAM, mở ra kỷ nguyên chạy AI suy luận sâu trực tiếp trên máy tính cá nhân.
Benchmark AI
Ảo Tưởng Benchmark: Vì Sao AI Lúng Túng Trước Code Doanh Nghiệp
Đánh giá từ benchmark Real-SWE cho thấy các AI lập trình hàng đầu chỉ giải quyết chưa tới 40% công việc trên codebase doanh nghiệp thực tế.
Khoa học mở
Khi AI Khai Thác Cạn Kiệt Kho Bài Toán Mở Của Toán Học
Terence Tao cảnh báo các mô hình AI tự động đang khai thác cạn kiệt các bài toán mở, đe dọa văn hóa khoa học mở và sự thấu hiểu sâu sắc của con người.
DevOps
Khi AI Trực On-Call: Nghịch Lý Về Trực Giác Hệ Thống
Khi AI agent tự xử lý sự cố hạ tầng, kỹ sư mất dần cơ hội cọ xát thực tế, khiến các thảm họa vận hành phức tạp trở nên khó lường hơn.
An ninh mạng
Trộm chuỗi suy luận AI: Đòn đánh mới vào API LLM
Khám phá cách kẻ tấn công trích xuất chuỗi suy luận ngầm từ API LLM thương mại và tác động của nó tới an ninh sở hữu trí tuệ AI.
Lập trình
Vì Sao Lập Trình Viên Hobby Nói Không Với Code AI?
Khi AI tự động hóa phần mềm, cộng đồng lập trình hobby chọn đứng ngoài để bảo vệ niềm vui sáng tạo và bản chất thủ công của code.