ಸೇವಾ ಅವಧಿಗಳು
ಸೇವೆ ಮಾಡುವುದರ ಕುರಿತು
You submit a claim and a standard. We run it past a panel of AI models you select, plus a referee model that rules on acceptance criteria, and we attempt to formalise the result in Lean 4 against Mathlib. The output is a transcript, a set of rulings, a verdict, and where formalisation was attempted, the Lean result.
2. ಪ್ರದಾನವು ಏನು ಹಾಗು ಅದು ಅಲ್ಲ
ಪ್ರದಾನವನ್ನು (ಔಟ್ ಪುಟ್) ಮೂರನೇ ಭಾಗ AI ಮಾದರಿಗಾರಗಳಿಂದ ತಯಾರಿಸಲಾಗಿದೆ ಆದರೆ ಸಲಹೆ ನೀಡುತ್ತಿಲ್ಲ. ಈ ಸೇವೆಯನ್ನು ಮಾಡುವ ಮೂಲಕ ಯಾವುದೇ ವೃತ್ತಿಪರ ಸಂಬಂಧವು ಸೃಷ್ಟಿಸಲ್ಪಡುವುದಿಲ್ಲ.
ಇಲ್ಲಿ ಸೂಚಿಸಲಾಗಿರುವ ನಿಘಂಟು ಮಾಡುವುದು ಆ match ರಲ್ಲಿರುವ ಪುರಾವೆಯ ಬಗ್ಗೆನ ಹೇಳಿಕೆಯಾಗಿದೆ. ಇದು ಸರಿ ಎಂದು ಖಾತ್ರಿಪಡಿಸುವುದಿಲ್ಲ. ನಾನು ಮಾಲೀಕರು ತಪ್ಪುಗಳನ್ನು ಮಾಡುತ್ತಾರೆ, ತಪ್ಪಾಗಿ ಓದುತ್ತಾರೆ ಮತ್ತು ಸೂಚನೆಗಳನ್ನು ಬರೆದುಕೊಳ್ಳದಿದ್ದರೂ ಸಹ ಆಧರಿಸಬಹುದು. ನೀವು ಯಾವುದೇ ಸಾಧನವನ್ನು ಅವಲಂಬಿಸಲು ಬಯಸುವುದಾದರೆ ಅದನ್ನು ಸ್ವತಂತ್ರವಾಗಿ ಖಚಿತಪಡಿಸಬೇಕು• ಮುಖ್ಯವಾಗಿ ಅದನ್ನು ಪ್ರಕಾಶಿಸುವ, ಅಧೀನಗೊಳಿಸುವ, ಅಥವಾ ಕಾರ್ಯಗತಗೊಳಿಸುವ ಮೊದಲು. ಇದು ಒತ್ತಡವನ್ನು ಪ್ರಯೋಗಿಸುವ ಕೆಲಸಕ್ಕೊಂದು ಸಾಧನ, ಅರ್ಹ ಮಾನವ ಪುನರ್ವಿಮರ್ಶೆಗೆ ಬದಲಿಯಾಗಿಲ್ಲ.
Mathlib ಆ ಸಮಯದಲ್ಲಿ ಬಳಸಲಾಗುವ Mathlibನ ಭಾಷಾಂತರದ ವಿರುದ್ಧ ಲಾನ್‌ಕಿನ ಪಾರಸೀಯವಾದ ಹೇಳಿಕೆಯ ಒಂದು ಪುರಾವೆಯನ್ನು ಲಾನ್‌ಕೇರ್ ಸ್ವೀಕರಿಸಿದರೆಂದರೆ, ಆ ಸಮಯದಲ್ಲಿ ಬಳಸಲಾದ ಹೇಳಿಕೆಯನ್ನು ಆವಶ್ಯವಾಗಿ ಸ್ವೀಕರಿಸಿದರೆಂದರೆ. ಇದರ ಅರ್ಥ, ಹೇಳಿಕೆಯು ನೀವು ಏನನ್ನು ಕೇಳುತ್ತೀರೋ ಅದನ್ನು ನಂಬಿಗಸ್ತಿಕೆಯಿಂದ ಭಾಷಾಂತರಿಸುತ್ತದೆ ಮತ್ತು ನೀವು ಹೇಳಿದ್ದನ್ನು ಮಾಡದ ಒಂದು ಔಪಯೋಗ್ಯವಾದ ವಿಧಾನವು ಔಪಚಾರಿಕವಾಗಿ ಪರಿಣಮಿಸುತ್ತದೆ. ಆದರೆ ಈ ಪಾರಂಪತ್ಯಾ ಕ್ರಮವನ್ನು ಓದಿ, ಆದರೆ ಅದನ್ನು ಮಾಡುವುದು ಮಾತ್ರವಲ್ಲ, ಅದು ಪಾರಸೀಯವಾದ ಪಾರಸನದ ನಿರೂಪಣೆಯನ್ನು ಮಾತ್ರ.
ನಿಮ್ಮ ಬಳಿ ಏನಿದೆಯೊ ಅದರಲ್ಲಿಯೇ ತೃಪ್ತರಾಗಿರಿ.
ನೀನು ಅಧೀನಪಡಿಸುವ ವಿನಿಮಯ ಹಾಗು ನಿನಗೆ ಉತ್ಪಾದಿಸಿದ ಉತ್ಪನ್ನದ ಸ್ವತ್ತುಗಳನ್ನು ಮಾತ್ರ ನೀನು ಉಳಿಸಿ. ನೀನು ಸೇವೆ ನಿರ್ವಹಿಸಲು ಅಗತ್ಯವಿರುವ ಪರವಾನಗಿಯನ್ನು ಮಾತ್ರ ಒದಗಿಸು. ನಿಮ್ಮ ಅಧೀನತೆಯನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸಲು, ನೀವು ಆರಿಸಿದ ಮಾದರಿ ಒದಗಿಸುವಿಕೆಗೆ ರವಾನಿಸಲು, ಮತ್ತು ಫಲಿತ match ಅನ್ನು ಶೇಖರಿಸಿಡು.
Matches are private by default. If you mark a match public it becomes visible to anyone with the link and may appear in our public gallery. Do not publish a match containing anything confidential.
ಆದರೆ, ಅದನ್ನು ಇತರರಿಗೆ ತಿಳಿಸಲು ನಿಮಗೆ ಹಕ್ಕಿಲ್ಲ.
ಹಣವು, ಹಣವು ಮತ್ತು ಖರೀದಿಯ ಅಂಶವಾಗಿದೆ ಎಂಬುದನ್ನು ಗ್ರಹಿಸಲು, ಆ ಸಮಯದಲ್ಲಿದ್ದ ಯುವ ಜನರು ತಮ್ಮ ಕುಟುಂಬಗಳಿಗೆ ಸಹಾಯಮಾಡಲಿಕ್ಕಾಗಿ ತಮ್ಮ ಜೀವಗಳನ್ನು ಅಪಾಯಕ್ಕೊಡ್ಡುತ್ತಾರೆ.
Credit is prepaid and is consumed as matches run. Every match has a spending limit you set; reaching it pauses the match rather than continuing to spend. Balances are not transferable and, except where required by law, are non-refundable once consumed. Unused credit is refundable on request.
ನೀವು ನಿಮ್ಮ ಸ್ವಂತ ಇವನ್ ಕೀಲನ್ನು ಸಂಪರ್ಕದಲ್ಲಿ ಜೋಡಿಸಿ ಕೊಂಡಿ ಕೊಂಡಿ, ನೀವು ನೇರವಾಗಿ ನಿಮ್ಮ ಪೂರೈಕೆದಾರರಿಗೆ ನೀಡಿ ಮತ್ತು ನಾವು ಒಂದು ಟೋಕನ್ ಕಾಂಟ್ ಮಾಡುವುದಿಲ್ಲ. ಈಗಾಗಲೇ ಸೂಚಿಸಲಾಗಿರುವ ಉಚಿತ ಖರ್ಚು ವ್ಯವಹಾರವು ಬ್ಯಾಕೆಂಡನ್ನು, ಸಲಕರಣೆಗಳು ಮತ್ತು ಶೇಖರಣೆಯನ್ನು ಆರಂಭಿಸಲು ಅನ್ವಯವಾಗುತ್ತದೆ.
ನಾವು ಈ ಮೊದಲೇ ಖರೀದಿಸಿದ ಹಣಕ್ಕೆ ಬದಲಾವಣೆಗಳು ಅನ್ವಯಿಸುವುದಿಲ್ಲ.
ಸ್ವೀಕಾರಾರ್ಹ ಬಳಕೆ 5.
ಇತರರಿಗೆ ಹಾನಿಯನ್ನುಂಟುಮಾಡುವ, ನಮ್ಮ ಶಕ್ತಿ ಸೂಚನೆಗಳನ್ನು ಹೊರತೆಗೆಯಲು, ಬೆಲೆ ಮಿತಿಗಳನ್ನು ವಿಶ್ಲೇಷಿಸಲು, ಅಥವಾ ಲಿಖಿತ ಒಪ್ಪಂದವಿಲ್ಲದೆ ಮರಳಿ ಸ್ಥಾಪಿಸಲು ಪ್ರಯತ್ನಿಸಲು ಸೇವೆಯನ್ನು ಬಳಸಬೇಡಿ. ಸಂಪಾದನಾ ಉಪಕರಣವು, ವರ್ಚನಾ ಸಾಧನಗಳನ್ನು ಪರಿಶೀಲಿಸಲು ಬಳಸಬೇಡಿ; ಯಾವುದೇ ವ್ಯವಸ್ಥೆಯ ಮೇಲೆ ಆಕ್ರಮಣ ಮಾಡಲು ಬಳಸಬೇಡಿ.
ಅಪಾರದರ್ಶಕತೆ 6.
ನಾವು ಮೂರು- ಕ್ರಮ ಮಾದರಿ ಒದಗಿಸುವವರ ಮೇಲೆ ಆತುಕೊಳ್ಳುತ್ತೇವೆ. ಪೂರೈಕೆದಾರರು ಕೆಳಕ್ಕೆ ಹೋಗುತ್ತಾರೆ, ಮಾದರಿಗಳನ್ನು ಬದಲಾಯಿಸಿ ಅವರನ್ನು ಪರಿಶೀಲಿಸುತ್ತಾರೆ. match ಯಾವುದೇ ಕಾರಣಕ್ಕಾಗಿ ತಡೆಹಿಡಿಯಲ್ಪಟ್ಟಿದೆ ಮತ್ತು ಮರುನಿರ್ವಹಿಸಲಾಗದು. ನಾವು ಯಾವುದೇ ಕೆಲಸವನ್ನು ಮಾಡಲು ಬಯಸುವುದಿಲ್ಲ. ಮತ್ತು ನಾವು ಅವನ್ನು ಅಗತ್ಯಪಡಿಸುವುದಿಲ್ಲ. ಮತ್ತು ನೀವು ಈ ಮೊದಲು ಬಳಸಿದ ಮಾದರಿ ಸಿಗುವುದಿಲ್ಲ.
ಸರಳತೆ
ಕಾನೂನು ಅನುಮತಿಯಿಂದ ಸಂಪೂರ್ಣವಾಗಿ ಅನುಮತಿಸಲಾಗುವುದರಿಂದ, ಸೇವೆ ಯಾವುದೇ ಆಧಾರವಿಲ್ಲದೆ ಕೊಡಲ್ಪಡುತ್ತದೆ. ಯಾವುದೇ ಪ್ರತಿಪಾದನೆಯಲ್ಲಿ ನೀವು ಕೊಟ್ಟ ಮೊತ್ತ ಮೂರು ತಿಂಗಳುಗಳಿಗೆ ಮಾತ್ರ ನೀವು ಕೊಟ್ಟ ಪ್ರಮಾಣಕ್ಕೆ ಮಾತ್ರ ಸೀಮಿತವಾಗಿದೆ. ನಾವು ವರ್ಗೀಕರಣ ನಷ್ಟಕ್ಕೆ ಕಾರಣರಲ್ಲ ಮತ್ತು ಮಾದರಿ ಪ್ರೋಗ್ರಾಮ್‌ನ ಮೇಲೆ ಆತುಕೊಳ್ಳುವ ಯಾವುದೇ ನಷ್ಟಕ್ಕೂ ಕಾರಣ ನಮಗಿಲ್ಲ.
ಸಮಾಪ್ತಿ
ಈ ಪದಗಳನ್ನು ಮುರಿಯುವ ಅಥವಾ ಸೇವೆಯನ್ನು ಅಪಾಯಕ್ಕೊಡ್ಡುವ ಖಾತೆಗಳನ್ನು ನಾವು ನಿಲ್ಲಿಸಿಬಿಡಬಹುದು.
ಭಾಷೆ ಮತ್ತು ಸಂಪರ್ಕ 9.
ಈ ಪದಗಳನ್ನು ನಾವು ನವೀಕರಿಸಬಹುದು.
ಈ ಪುಟದ ಭಾಷಾಂತರಗಳು ಅನುಕೂಲತೆಗಾಗಿ ಒದಗಿಸಲ್ಪಡುತ್ತವೆ ಮತ್ತು ಯಂತ್ರ- ಉತ್ಪಾದನೆ ಮಾಡಲ್ಪಟ್ಟಿವೆ. ಎಲ್ಲಿ ಭಾಷಾಂತರ ಮತ್ತು ಇಂಗ್ಲೀಷ್ ಆವೃತ್ತಿ ವ್ಯತ್ಯಾಸವಾಗಿದ್ದರೆ ಇಂಗ್ಲೀಷ್ ಆವೃತ್ತಿಯು ನಿಯಂತ್ರಿಸುತ್ತದೆ.
ಪ್ರಶ್ನೆಗಳು: ನಮ್ಮನ್ನು ಸಂಪರ್ಕಿಸು.