ಸೇವಾ ಅವಧಿಗಳು
ಸೇವೆ ಮಾಡುವುದರ ಕುರಿತು
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 ಮಾದರಿಗಾರಗಳಿಂದ ತಯಾರಿಸಲಾಗಿದೆ ಆದರೆ ಸಲಹೆ ನೀಡುತ್ತಿಲ್ಲ. ಈ ಸೇವೆಯನ್ನು ಮಾಡುವ ಮೂಲಕ ಯಾವುದೇ ವೃತ್ತಿಪರ ಸಂಬಂಧವು ಸೃಷ್ಟಿಸಲ್ಪಡುವುದಿಲ್ಲ.
ಈ ನಿಘಂಟುಕಾರ ಕಾರ್ಯಗತಿಯನ್ನು ನಡೆಸಿದವನು ಆ ಸಹಭಾಗದಲ್ಲಿರುವ ಪುರಾವೆಗಳ ಬಗ್ಗೆ ಒಂದು ಹೇಳಿಕೆಯಾಗಿದೆ. ನೀವು ಯಾವುದೇ ಸಾಧನವನ್ನು ಅವಲಂಬಿಸಲು ಬಯಸುವುದಾದರೆ ಅದನ್ನು ಸ್ವತಂತ್ರವಾಗಿ ಖಚಿತಪಡಿಸಬೇಕು• ಮುಖ್ಯವಾಗಿ ಅದನ್ನು ಪ್ರಕಾಶಿಸುವ, ಅಧೀನಗೊಳಿಸುವ, ಅಥವಾ ಕಾರ್ಯಗತಗೊಳಿಸುವ ಮೊದಲು. ಇದು ಒತ್ತಡವನ್ನು ಪ್ರಯೋಗಿಸುವ ಕೆಲಸಕ್ಕೊಂದು ಸಾಧನ, ಅರ್ಹ ಮಾನವ ಪುನರ್ವಿಮರ್ಶೆಗೆ ಬದಲಿಯಾಗಿಲ್ಲ.
Mathlib ಆ ಸಮಯದಲ್ಲಿ ಬಳಸಲಾಗುವ Mathlibನ ಭಾಷಾಂತರದ ವಿರುದ್ಧ ಲಾನ್ಕಿನ ಪಾರಸೀಯವಾದ ಹೇಳಿಕೆಯ ಒಂದು ಪುರಾವೆಯನ್ನು ಲಾನ್ಕೇರ್ ಸ್ವೀಕರಿಸಿದರೆಂದರೆ, ಆ ಸಮಯದಲ್ಲಿ ಬಳಸಲಾದ ಹೇಳಿಕೆಯನ್ನು ಆವಶ್ಯವಾಗಿ ಸ್ವೀಕರಿಸಿದರೆಂದರೆ. ಇದರ ಅರ್ಥ, ಹೇಳಿಕೆಯು ನೀವು ಏನನ್ನು ಕೇಳುತ್ತೀರೋ ಅದನ್ನು ನಂಬಿಗಸ್ತಿಕೆಯಿಂದ ಭಾಷಾಂತರಿಸುತ್ತದೆ ಮತ್ತು ನೀವು ಹೇಳಿದ್ದನ್ನು ಮಾಡದ ಒಂದು ಔಪಯೋಗ್ಯವಾದ ವಿಧಾನವು ಔಪಚಾರಿಕವಾಗಿ ಪರಿಣಮಿಸುತ್ತದೆ. ಆದರೆ ಈ ಪಾರಂಪತ್ಯಾ ಕ್ರಮವನ್ನು ಓದಿ, ಆದರೆ ಅದನ್ನು ಮಾಡುವುದು ಮಾತ್ರವಲ್ಲ, ಅದು ಪಾರಸೀಯವಾದ ಪಾರಸನದ ನಿರೂಪಣೆಯನ್ನು ಮಾತ್ರ.
ನಿಮ್ಮ ಬಳಿ ಏನಿದೆಯೊ ಅದರಲ್ಲಿಯೇ ತೃಪ್ತರಾಗಿರಿ.
ನೀವು ಅಧೀನಪಡಿಸಿಕೊಳ್ಳುವಿರೋ ಮತ್ತು ನಿಮ್ಮಿಗಾಗಿ ಉತ್ಪಾದಿಸಿದ ಉತ್ಪನ್ನದ ಮಾಲಿಕವನ್ನು ಕೈಗೂಡಿಸಿದ್ದೀರಿ. ಸೇವೆಯ ಕಾರ್ಯಾಚರಣೆಯನ್ನು ನಿರ್ವಹಿಸಲು ನೀವು ಕೇವಲ ಅನುಮತಿಯನ್ನು ನೀಡಿದ್ದೀರಿ. ನಿಮ್ಮ ಅಧೀನತೆಯನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸಲು, ನೀವು ಆರಿಸಿದ ಮಾದರಿ ಒದಗಿಸುವಿಕೆಗೆ ರವಾನಿಸಲು, ಮತ್ತು ಫಲತವಾದ ನಟಿಗೆ ಮರಳಿಸಲು ನೀವು ಅದನ್ನು ಮರಳಿ ಪಡೆಯಬಹುದು.
ಹೊಂದಾಣಿಕೆಗಳು ಪೂರ್ವನಿಯೋಜಿತವಾಗಿ ಆಯತಂಕ ಹೊಂದಿವೆ.
ಆದರೆ, ಅದನ್ನು ಇತರರಿಗೆ ತಿಳಿಸಲು ನಿಮಗೆ ಹಕ್ಕಿಲ್ಲ.
ಹಣವು, ಹಣವು ಮತ್ತು ಖರೀದಿಯ ಅಂಶವಾಗಿದೆ ಎಂಬುದನ್ನು ಗ್ರಹಿಸಲು, ಆ ಸಮಯದಲ್ಲಿದ್ದ ಯುವ ಜನರು ತಮ್ಮ ಕುಟುಂಬಗಳಿಗೆ ಸಹಾಯಮಾಡಲಿಕ್ಕಾಗಿ ತಮ್ಮ ಜೀವಗಳನ್ನು ಅಪಾಯಕ್ಕೊಡ್ಡುತ್ತಾರೆ.
ಒಂದು ವೃತ್ತಿಯನ್ನು ಸ್ವೀಕರಿಸುವುದು, ಮತ್ತು ಅದನ್ನು ಆಡುವ ಆಯ್ಕೆಯನ್ನು ಮಾಡುವುದು, ಒಂದು ವೇಳೆ ಅದನ್ನು ಒಂದು ನೆವನದಲ್ಲಿಡುವುದು, ಒಂದು ವೇಳೆ ಅದನ್ನು ಒಂದು ನೆವನದಲ್ಲಿ ಇಡುವುದಕ್ಕೆ ಬದಲಾಗಿ ಅದನ್ನು ತೆಗೆದುಕೊಳ್ಳುವುದಕ್ಕೆ ಮಿತಿಯಿದೆ.
ನೀವು ನಿಮ್ಮ ಸ್ವಂತ ಇವನ್ ಕೀಲನ್ನು ಸಂಪರ್ಕದಲ್ಲಿ ಜೋಡಿಸಿ ಕೊಂಡಿ ಕೊಂಡಿ, ನೀವು ನೇರವಾಗಿ ನಿಮ್ಮ ಪೂರೈಕೆದಾರರಿಗೆ ನೀಡಿ ಮತ್ತು ನಾವು ಒಂದು ಟೋಕನ್ ಕಾಂಟ್ ಮಾಡುವುದಿಲ್ಲ. ಈಗಾಗಲೇ ಸೂಚಿಸಲಾಗಿರುವ ಉಚಿತ ಖರ್ಚು ವ್ಯವಹಾರವು ಬ್ಯಾಕೆಂಡನ್ನು, ಸಲಕರಣೆಗಳು ಮತ್ತು ಶೇಖರಣೆಯನ್ನು ಆರಂಭಿಸಲು ಅನ್ವಯವಾಗುತ್ತದೆ.
ನಾವು ಈ ಮೊದಲೇ ಖರೀದಿಸಿದ ಹಣಕ್ಕೆ ಬದಲಾವಣೆಗಳು ಅನ್ವಯಿಸುವುದಿಲ್ಲ.
ಸ್ವೀಕಾರಾರ್ಹ ಬಳಕೆ 5.
ಇತರರಿಗೆ ಹಾನಿಯನ್ನುಂಟುಮಾಡುವ, ನಮ್ಮ ಶಕ್ತಿ ಸೂಚನೆಗಳನ್ನು ಹೊರತೆಗೆಯಲು, ಬೆಲೆ ಮಿತಿಗಳನ್ನು ವಿಶ್ಲೇಷಿಸಲು, ಅಥವಾ ಲಿಖಿತ ಒಪ್ಪಂದವಿಲ್ಲದೆ ಮರಳಿ ಸ್ಥಾಪಿಸಲು ಪ್ರಯತ್ನಿಸಲು ಸೇವೆಯನ್ನು ಬಳಸಬೇಡಿ. ಸಂಪಾದನಾ ಉಪಕರಣವು, ವರ್ಚನಾ ಸಾಧನಗಳನ್ನು ಪರಿಶೀಲಿಸಲು ಬಳಸಬೇಡಿ; ಯಾವುದೇ ವ್ಯವಸ್ಥೆಯ ಮೇಲೆ ಆಕ್ರಮಣ ಮಾಡಲು ಬಳಸಬೇಡಿ.
ಅಪಾರದರ್ಶಕತೆ 6.
ನಾವು ಮೂರನೆ ಭಾಗದ ಮಾದರಿ ಒದಗಿಸುವಿಕೆಯ ಮೇಲೆ ಆತುಕೊಳ್ಳುತ್ತೇವೆ. ಪೂರೈಕೆಗಾರರು ಕೆಳಕ್ಕೆ ಹೋಗುತ್ತಾರೆ, ಮಾದರಿಗಳನ್ನು ಬದಲಾಯಿಸಿ, ಅವುಗಳನ್ನು ಪರಿಶೀಲಿಸುತ್ತಾರೆ. ಯಾವುದೇ ಕಾರಣಕ್ಕಾಗಿ ಒಂದು ತಾಳೆ ತಡೆಯಲ್ಪಟ್ಟಿದೆ ಮತ್ತು ಮರುನಿರ್ವಹಿಸಲಾಗದು. ನಾವು ಯಾವುದೇ ಕೆಲಸವನ್ನು ಮಾಡಲು ಬಯಸುವುದಿಲ್ಲ. ಮತ್ತು ಈ ಮೊದಲು ನೀವು ಬಳಸಿದ ಮಾದರಿಯು ಲಭ್ಯವಾಗಬಹುದು.
ಸರಳತೆ
ಕಾನೂನು ಅನುಮತಿಯಿಂದ ಸಂಪೂರ್ಣವಾಗಿ ಅನುಮತಿಸಲಾಗುವುದರಿಂದ, ಸೇವೆ ಯಾವುದೇ ಆಧಾರವಿಲ್ಲದೆ ಕೊಡಲ್ಪಡುತ್ತದೆ. ಯಾವುದೇ ಪ್ರತಿಪಾದನೆಯಲ್ಲಿ ನೀವು ಕೊಟ್ಟ ಮೊತ್ತ ಮೂರು ತಿಂಗಳುಗಳಿಗೆ ಮಾತ್ರ ನೀವು ಕೊಟ್ಟ ಪ್ರಮಾಣಕ್ಕೆ ಮಾತ್ರ ಸೀಮಿತವಾಗಿದೆ. ನಾವು ವರ್ಗೀಕರಣ ನಷ್ಟಕ್ಕೆ ಕಾರಣರಲ್ಲ ಮತ್ತು ಮಾದರಿ ಪ್ರೋಗ್ರಾಮ್ನ ಮೇಲೆ ಆತುಕೊಳ್ಳುವ ಯಾವುದೇ ನಷ್ಟಕ್ಕೂ ಕಾರಣ ನಮಗಿಲ್ಲ.
ಸಮಾಪ್ತಿ
ಈ ಪದಗಳನ್ನು ಮುರಿಯುವ ಅಥವಾ ಸೇವೆಯನ್ನು ಅಪಾಯಕ್ಕೊಡ್ಡುವ ಖಾತೆಗಳನ್ನು ನಾವು ನಿಲ್ಲಿಸಿಬಿಡಬಹುದು.
ಭಾಷೆ ಮತ್ತು ಸಂಪರ್ಕ 9.
ಈ ಪದಗಳನ್ನು ನಾವು ನವೀಕರಿಸಬಹುದು.
ಈ ಪುಟದ ಭಾಷಾಂತರಗಳು ಅನುಕೂಲತೆಗಾಗಿ ಒದಗಿಸಲ್ಪಡುತ್ತವೆ ಮತ್ತು ಯಂತ್ರ- ಉತ್ಪಾದನೆ ಮಾಡಲ್ಪಟ್ಟಿವೆ. ಎಲ್ಲಿ ಭಾಷಾಂತರ ಮತ್ತು ಇಂಗ್ಲೀಷ್ ಆವೃತ್ತಿ ವ್ಯತ್ಯಾಸವಾಗಿದ್ದರೆ ಇಂಗ್ಲೀಷ್ ಆವೃತ್ತಿಯು ನಿಯಂತ್ರಿಸುತ್ತದೆ.
ಪ್ರಶ್ನೆಗಳು: ನಮ್ಮನ್ನು ಸಂಪರ್ಕಿಸು.