#Performance

5 bài viết

Lean 4 và bài toán verify toán tài chính bằng proof chính thức

Một thư viện Lean 4 mới cho phép formally verify các định lý toán tài chính nghe có vẻ hàn lâm nhưng implications của nó với fintech rất đáng bàn.

Sparse attention không cần training, giảm compute đến 3.33x, và còn fix được cái bug video bị lặp vòng mà VBench-Long không detect ra.

κ-SwiGLU dùng chính router logits của MoE để điều chỉnh độ sắc nét của expert gate thêm cực ít params nhưng pretraining performance cải thiện rõ rệt.

Benchmark mới dùng thể thao để test xem AI có thực sự 'hiểu' video hay chỉ đang nhận diện hình ảnh đơn thuần.

Profiling thực tế, React Compiler, code splitting, virtualization tất cả những gì bạn cần để tối ưu React app mà không cần đoán mò.