සේවා කොන්දේසි

Theorem.chat Muddy Holdings LLC (අපි, අප) විසින් ක්රියාත්මක වේ. සේවාව භාවිතා කිරීමෙන් ඔබ මෙම කොන්දේසි එකඟ වේ.

1. සේවාව කරන්නේ කුමක්ද

ඔබ ඉල්ලීමක් හා සම්මත ඉදිරිපත්. අපි ඔබ තෝරා AI ආකෘති මණ්ඩලයක් පසු එය ධාවනය, මෙන්ම පිළිගැනීමේ නිර්ණායක මත නීති රීති බව විනිසුරු ආකෘතිය, අපි Lean 4 එරෙහිව Mathlib දී ප්රතිඵලය නිල වශයෙන් උත්සාහ. ප්රතිදානය පරිවර්තනය, තීන්දු කට්ටලයක්, විනිශ්චය, හා නිල වශයෙන් උත්සාහ කරන ලදී, ලෙයින් ප්රතිඵලයක්.

2. ප්රතිදානය වන අතර නොවේ කුමක්ද

තුන්වන පාර්ශවීය AI ආකෘති මගින් නිපදවන ලද ප්‍රතිදානය උපදෙස් නොවේ. එය නීතිමය, වෛද්ය, මූල්ය, ඉංජිනේරු හෝ වෘත්තීය උපදෙස් කිසිදු ආකාරයක නොවේ, හා කිසිදු වෘත්තීය සම්බන්ධතාවයක් මෙම සේවාව භාවිතා කිරීමෙන් නිර්මාණය කර ඇත.

තීරක මූලධර්මය හමු වූ තීරණය එම වාර්තාව මත සාක්ෂි ගැන ප්රකාශයක් වේ match. එය නිවැරදි බව සහතික නොවේ. AI ආකෘති වැරදි, මූලාශ්ර කියවා, හා උපදෙස් නොතකා උපුටා උපුටා ඇති කළ හැක. ඔබ ස්වාධීනව ඔබ විශ්වාස කිරීමට අදහස් කරන ඕනෑම දෙයක් තහවුරු කළ යුතුය, විශේෂයෙන්ම එය ප්රකාශයට පත් කිරීමට පෙර, එය ඉදිරිපත්, හෝ එය මත ක්රියා. මෙම පීඩනය පරීක්ෂා වැඩ සඳහා මෙවලමක්, සුදුසුකම් ලත් මානව සමාලෝචනය සඳහා ප් රතිස්ථාපනයක් නොවේ.

සාර්ථක ලෙයින් නිල වශයෙන් Mathlib අනුවාදය එරෙහිව, එම කාලයේ දී භාවිතා කරන ලද බව ප්රකාශය සාක්ෂි පිළිගත් ලෙයින් කර්නලය නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන් නිල වශයෙන්

3. ඔබේ අන්තර්ගතය

ඔබ ඉදිරිපත් කරන ලද හා ඔබ වෙනුවෙන් නිපදවන ලද ප්රතිදානය ප්රතිලාභ හිමිකම තබා ගන්න. ඔබ අපට සේවාව ක්රියාත්මක කිරීමට අවශ්ය බලපත්රය පමණක් ලබා: ඔබේ ඉදිරිපත් කිරීම ක්රියාත්මක කිරීමට, ඔබ තෝරා ආකෘති සැපයුම්කරුවන් එය සම්ප්රේෂණය, හා ප්රතිඵල ගබඩා match ඔබ එයට ආපසු යා හැකි නිසා.

Matches පෙරනිමියෙන් පෞද්ගලික වේ. ඔබ match මහජන සලකුණු කරන්නේ නම් එය සබැඳිය ඇති ඕනෑම කෙනෙකුට දර්ශනය වන අතර අපගේ මහජන ගැලරිය තුළ පෙනී යා හැක. රහසිගත කිසිවක් අඩංගු match ප්රකාශයට පත් නොකරන්න.

වෙනත් අය ගැන පෞද්ගලික දත්ත ඉදිරිපත් නොකරන්න, ඔබ බෙදා ගැනීමට අයිතියක් නැත රහස් ද්රව්ය, හෝ නීති විරෝධී බව අන්තර්ගතය.

4. ණය සහ බිල්පත්

ක් රෙඩිට් පෙර ගෙවීම් සහ matches ක්රියාත්මක ලෙස පරිභෝජනය වේ. සෑම match ඔබ සකස් වියදම් සීමා ඇත; එය ළඟා වියදම් කිරීමට දිගටම වඩා match පමා. ඉතිරි මාරු කළ නොහැකි වන අතර, නීතිය විසින් අවශ්ය වන ස්ථාන හැර, පරිභෝජනය වරක් ආපසු නොගෙවිය හැකි වේ. නොයෙදූ ක් රෙඩිට් ඉල්ලීම මත ආපසු ගෙවිය හැකිය.

ඔබ ඔබේම නිගමන යතුර සම්බන්ධ නම්, ඔබ ඔබේ සැපයුම්කරු සෘජුවම ගෙවන අතර අපි කිසිදු ටොකන් ගාස්තුව බිල්පත්. සඳහන් නිදහස් දීමනාව පසු යටිතල පහසුකම් ගාස්තුව මණ්ඩලය ධාවනය ආවරණය කිරීමට අදාළ වේ, මෙවලම් සහ ගබඩා.

අපි දැනුම් දී මිල වෙනස් විය හැක. වෙනස්කම් දැනටමත් මිලදී ණය සඳහා අදාළ නැහැ.

5. පිළිගත හැකි භාවිතය

වෙනත් අය හානියක් බව අන්තර්ගතය ජනනය කිරීමට සේවාව භාවිතා නොකරන්න, අපගේ ප්රශ්න හෝ පද්ධති උපදෙස් ඉවත් කිරීමට උත්සාහ කිරීමට, වියදම් හෝ අනුපාත සීමාවන් අවහිර කිරීමට, හෝ ලිඛිත ගිවිසුමක් නොමැතිව ප්රවේශය නැවත විකිණීමට. කේතය ක්රියාත්මක මෙවලම ඉල්ලීම් තහවුරු කිරීම සඳහා ය; ඕනෑම පද්ධතියක් පහර එය භාවිතා නොකරන්න.

6. ලබා ගත හැකි

අපි තෙවන පාර්ශවීය ආකෘති සැපයුම්කරුවන් මත රඳා පවතී. සැපයුම්කරුවන් පහතට යනවා, ආකෘති වෙනස්, හා ඔවුන් අභාවප්රාප්ත. match කිසිදු හේතුවක් නිසා අතුරුදහන් පමා හා resumable වේ; අපි සිදු වූයේ නැත වැඩ සඳහා අය නොකරයි. අපි අඛණ්ඩ ලබා ගත හැකි සහතික කරන්නේ නැහැ, ඔබ පෙර භාවිතා කළ ආකෘතිය නොලැබිය හැකි විය හැක.

වගකීම්

නීතිය විසින් අවසර දී ඇති පරිදි, සේවාව කිසිදු ආකාරයක වගකීම් නොමැතිව ලබා දී ඇත. ඕනෑම ඉල්ලීමක් සඳහා අපගේ මුළු වගකීම ඉල්ලීම ඇතිවීමට පෙර මාස තුනක් තුළ ඔබ අපට ගෙවූ මුදලට සීමා වේ. අපි අතිරේක හෝ අතුරු පාඩු සඳහා වගකිව යුතු නැත, ආකෘතිය ප්රතිදානය මත රඳා සිටීමෙන් ඇතිවන ඕනෑම පාඩුවක් ඇතුළු.

අවසන් කිරීම

ඔබ ඕනෑම විටක ඔබේ ගිණුම වසා හැක; අපි භාවිතා නොකළ ණය ආපසු ලබා දෙනු ඇත. අපි මෙම කොන්දේසි උල්ලංඝනය හෝ සේවාව අවදානමකට තැබූ බව ගිණුම් අත්හිටුවන හැක.

9. වෙනස්කම්, භාෂාව හා සම්බන්ධතා

අපි මෙම කොන්දේසි යාවත්කාලීන කළ හැක; ද්රව්ය වෙනස්කම් වෙබ් අඩවිය මත නිවේදනය කරනු ඇත.

මෙම පිටුව පරිවර්තන පහසුකම් සඳහා ලබා දී ඇති අතර යන්ත්රය-නිෂ්පාදනය කර ඇත. පරිවර්තනය හා ඉංග්රීසි අනුවාදය වෙනස් වන විට, ඉංග්රීසි අනුවාදය පාලනය.

ප්‍රශ්ණ: අප අමතන්න.