Về mặt kỹ thuật, tôi đã viết bài này cách đây khoảng ba ngày, nhưng thật tiếc, hỗ trợ toán học của bearblog (đặc biệt là cho các môi trường `aligned`) không đủ tốt nên chúng tôi đang mang trở lại blog gốc, giờ được tạo ra bởi astro, nhờ vào gpt-5 + codex