Blog
Tin AI và hướng dẫn thực hành, được giải thích rõ ràng.
Mới nhất
Các báo cáo về việc mô hình OpenAI giải được những bài toán lớn chỉ ra một vấn đề sâu hơn: tạo chứng minh ngày càng rẻ, trong khi xác minh, ghi nhận công lao và xuất bản vẫn vận hành theo tốc độ của con người.
Khóa học miễn phí
Một khóa học đầy đủ về trí tuệ nhân tạo, từ toán học đến LLM, agent và MCP. Ba mươi chương, mỗi chương đều đáng đọc riêng.
30 chương~14 giờ đọc
Các chương đầu
Một neuron là tổng có trọng số và một ngưỡng. Toàn bộ ý tưởng chỉ có vậy — và chính giới hạn của nó đã buộc mọi thứ sau này ra đời.
Squared error không phải quy ước. Nó là một tuyên bố về nhiễu, và bạn có thể thấy nó sai.
Ai cũng viết dấu trừ. Hầu như không ai nói vì sao nó ở đó, hay bước đi lớn đến đâu thì còn chịu được.
Accuracy là con số dễ báo cáo nhất — và cũng dễ khiến bạn bị đánh lừa nhất.
Video
Xem tất cả video
#173
#172
#171
#170
#169
#168
#167
#166Tất cả bài viết
Jev của TypeSafe AI đang thu hút chú ý vì xem trí thông minh phần mềm là một bài toán xác suất: chọn nhánh đúng, gắn độ tin cậy và tránh trả tiền cho LLM viết văn bản khi mã chỉ cần một quyết định.
Đợt ra mắt trong lĩnh vực pháp lý của OpenAI không tập trung vào một mô hình nền tảng mới, mà vào hệ thống bao quanh mô hình đó: truy xuất theo miền, công cụ đáng tin cậy, quyền hạn, benchmark và luồng rà soát.
Tác nhân chạy lâu không thất bại chỉ vì cửa sổ nhỏ. Chúng thất bại khi tệp, đầu ra công cụ và lịch sử cũ lấn át nhiệm vụ mà tác nhân phải hoàn thành.
Dario Amodei muốn có các đơn vị đánh giá bên ngoài, tiêu chuẩn an toàn chung và thỏa thuận quốc tế để điều tiết nhịp độ AI tuyến đầu. Phần khó là định nghĩa thế nào là “quá nhanh” trong lúc Anthropic được cho là đang chuẩn bị một IPO quy mô kỷ lục.
The sharper worry around recursive self-improvement is not strange chatbot output. It is agents that coordinate, optimize metrics, and help build the next models — a concern reflected in reporting from WIRED, MIT Technology Review, CNBC, and The Guardian.
OpenAI nói các tác nhân AI đã tìm thấy một kỳ dị Navier–Stokes và hình thức hóa chứng minh trong Lean. Câu chuyện khó hơn là điều xảy ra tiếp theo: phản biện, ghi công và sức mạnh của các bầy tác nhân riêng tư trong toán học.
