Điều kiện dịch vụ
1. Dịch vụ làm gì
Bạn gửi một yêu cầu và một tiêu chuẩn. Chúng tôi chạy nó qua một bảng các mô hình AI bạn chọn, cộng thêm một mô hình trọng tài quyết định về tiêu chí chấp nhận, và chúng tôi cố gắng chính thức hóa kết quả trong Lean 4 so với Mathlib. Kết quả là một bản ghi, một tập hợp các quyết định, một phán quyết, và khi chính thức hóa đã được cố gắng, kết quả Lean.
2. Điều gì là và không phải là kết quả
Output được tạo ra bởi các mô hình AI của bên thứ ba và không phải là lời khuyên. Nó không phải là tư vấn pháp lý, y tế, tài chính, kỹ thuật hoặc chuyên nghiệp của bất kỳ loại nào, và không có mối quan hệ chuyên nghiệp nào được tạo ra bằng cách sử dụng dịch vụ này.
Thẩm phán quyết định một tiêu chuẩn được đáp ứng là một tuyên bố về bằng chứng trong hồ sơ trong match. Nó không đảm bảo sự chính xác. Mô hình AI phạm sai lầm, đọc sai nguồn, và có thể tạo ra trích dẫn mặc dù được chỉ dẫn không làm vậy. Anh phải độc lập xác nhận bất cứ điều gì anh dự định dựa vào.Đây là một công cụ để kiểm tra áp lực công việc, không phải là một sự thay thế cho việc xem xét của con người.
Một sự chính thức hóa Lean thành công có nghĩa là nhân Lean đã chấp nhận một chứng minh của câu đã chính thức hóa, đối với phiên bản Mathlib đang được sử dụng vào thời điểm đó. Nó không có nghĩa là câu đó là một bản dịch chính xác của điều bạn yêu cầu, và chọn một câu chính thức không nói ra ý bạn là cách thường gặp nhất để kết quả chính thức bị lừa dối. Đọc câu chính thức, không chỉ là phán quyết.
3. Nội dung của bạn
Bạn giữ quyền sở hữu các yêu cầu mà bạn gửi và kết quả được tạo ra cho bạn. Bạn chỉ cho chúng tôi giấy phép cần thiết để vận hành dịch vụ: để xử lý yêu cầu của bạn, truyền nó đến các nhà cung cấp mô hình mà bạn chọn, và lưu kết quả match để bạn có thể quay lại nó.
Mặc định, Matches là riêng tư. Nếu bạn đánh dấu một match công khai, nó sẽ hiển thị cho bất kỳ ai có liên kết và có thể xuất hiện trong phòng trưng bày công khai của chúng tôi. Đừng xuất bản match chứa bất kỳ điều gì bí mật.
Đừng gửi dữ liệu cá nhân về người khác, tài liệu mật mà bạn không có quyền chia sẻ, hoặc nội dung bất hợp pháp.
4. Tiền gửi và thanh toán
Tiền ghi nợ được trả trước và được tiêu thụ khi matches chạy. Mỗi match có giới hạn tiêu dùng mà bạn đặt; đạt đến giới hạn này sẽ tạm dừng match thay vì tiếp tục tiêu dùng. Tiền còn lại không thể chuyển đổi và, trừ khi luật yêu cầu, không thể trả lại khi tiêu thụ. Tiền ghi nợ chưa sử dụng được trả lại khi yêu cầu.
Nếu bạn kết nối khóa suy luận của riêng mình, bạn sẽ trả cho nhà cung cấp trực tiếp và chúng tôi sẽ không tính phí cho mỗi token. Sau khi đã trả tiền miễn phí, phí cơ sở hạ tầng sẽ được áp dụng để chạy bảng điều khiển, công cụ và lưu trữ.
Chúng tôi có thể thay đổi giá với thông báo trước.
Dùng được
Đừng dùng dịch vụ này để tạo nội dung gây hại cho người khác, cố gắng lấy ra các yêu cầu hay hướng dẫn của hệ thống, tránh giới hạn chi tiêu hay tốc độ, hay bán lại quyền truy cập mà không có thỏa thuận bằng văn bản. Công cụ thực thi mã chỉ để xác thực yêu cầu; đừng dùng nó để tấn công bất kỳ hệ thống nào.
Sẵn sàng
Chúng tôi phụ thuộc vào các nhà cung cấp mô hình bên thứ ba. Các nhà cung cấp bị hỏng, thay đổi mô hình, và loại bỏ chúng. Một match bị ngắt vì bất kỳ lý do nào sẽ bị tạm dừng và có thể tiếp tục; chúng tôi không tính phí cho công việc không xảy ra. Chúng tôi không đảm bảo khả năng không bị gián đoạn, và một mô hình bạn đã sử dụng trước đó có thể trở nên không thể.
Trách nhiệm
Với phạm vi tối đa được phép bởi luật, dịch vụ được cung cấp như là không có bảo hành nào cả. Tổng trách nhiệm của chúng tôi đối với bất kỳ yêu cầu nào đều bị giới hạn trong số tiền bạn đã trả cho chúng tôi trong ba tháng trước khi yêu cầu xuất hiện. Chúng tôi không chịu trách nhiệm cho những thiệt hại gián tiếp hay hậu quả, bao gồm bất kỳ thiệt hại nào xuất phát từ sự tin tưởng vào kết quả xuất ra của mô hình.
Tắt
Bạn có thể đóng tài khoản của mình bất cứ lúc nào; chúng tôi sẽ trả lại số tiền chưa sử dụng. Chúng tôi có thể đình chỉ các tài khoản vi phạm các điều khoản này hoặc đặt dịch vụ vào nguy hiểm.
9. Changes, language and contact
Chúng tôi có thể cập nhật các điều khoản này; các thay đổi vật chất sẽ được công bố trên trang web.
Các bản dịch của trang này được cung cấp vì mục đích tiện lợi và được tạo ra bởi máy. Khi phiên bản dịch và phiên bản tiếng Anh khác nhau, phiên bản tiếng Anh có quyền quyết định.
Câu hỏi: Liên hệ với chúng tôi.