AI Math Kit: Tiện ích bật lên trên trình duyệt để khám phá các bài toán mở với AI

AI Math Kit là một tiện ích mở rộng dạng cửa sổ bật lên trên trình duyệt, bao gồm 217 bài toán mở, 242 bản tóm tắt bằng ngôn ngữ đơn giản về các đột phá trong AI và toán học hình thức, cùng các mẫu câu lệnh (prompt template) để khám phá trung thực với AI. Ngân hàng bài toán bao quát lý thuyết số, giải tích và những bí ẩn liên ngành, trong khi trang về các đột phá có ghi chú phạm vi chính xác và chỉ dẫn tới bài báo. Gói miễn phí cho phép duyệt; gói Pro mở khóa toàn bộ lời giải thích và các câu lệnh chuyên dụng, với tùy chọn và trạng thái thanh toán được lưu cục bộ.