സേവനപദവികൾ
1. സര്വീസ് എന്ത് ചെയ്യുന്നു.
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 എന്നുള്ളതിന്റെ അടിസ്ഥാനത്തില്. മൊഴി വിശ്വസ്തമായ ഒരു പരിഭാഷയാണ്. നിങ്ങള് പറയുന്നതാണെങ്കില്, നിങ്ങള് പറയുന്നതത്രയും ഒരു സാധാരണമായ രീതിയാണ് നിങ്ങള് പറയുന്നതെന്നല്ല, അത് ഒരു സാധാരണ രീതിയാണ്. പരമ്പരാവിധി മാത്രം.
നിങ്ങളുടെ ഉള്ളടക്കമെല്ലാം.
നിങ്ങള്ക്ക് കീഴ്പെട്ടിരിക്കുന്ന അവകാശങ്ങളും പ്രൊജക്റ്റുകളുടെ ഉത്പന്നങ്ങളും നിങ്ങള്ക്കനുവദിച്ചു വെക്കുക. സേവന പ്രവര്ത്തനം നടത്താന് നിങ്ങള്ക്ക് അനുമതി മാത്രം നല്കുക: കീഴ്പെടല്, നിങ്ങള് തെരഞ്ഞെടുത്ത മാതൃകാ ധാതാക്കള്ക്ക് കൈമാറുക, അതിന്റെ ഫലക്കമൊരുക്കങ്ങള് സൂക്ഷിക്കുക.
പൊരുത്തം സ്വതവേ സ്വകാര്യമാണ്. നിങ്ങള് ഒരു പൊരുത്തം പരസ്യമായി ചൂണ്ടിക്കാണിച്ചാല് അത് ആര്ക്കും ദൃശ്യമാകുകയും നമ്മുടെ പൊതു ഗാലറിയില് ദൃശ്യമാകുകയും ചെയ്യും. രഹസ്യമായത് ഒന്നും ഉള്ക്കൊള്ളുന്ന ഒരു മത്സരം പ്രസിദ്ധമാക്കേണ്ടതില്ല.
അതു കൊണ്ട്, നിങ്ങൾ മറ്റുള്ള വ രെ ക്കു റി ച്ചുള്ള വ്യക്തി ക ളെ ക്കു റി ച്ചുള്ള വിവരങ്ങൾ അനുസ രി ക്കുക.
4 കടങ്ങളും ബൗണ്ട്
കടം വാങ്ങാനുള്ള സാധ്യതയും റെക്കോർഡും ആണ്, അതു് ഒരു കളിയുടെ പരിധിയിൽ വെക്കുക; ചെലവു കൊടുക്കുന്നതിനു പകരം ചെലവു കുറയ്ക്കുക.
നിങ്ങള് സ്വന്തം ഇന്ഫറന്സ് കീയുമായി ബന്ധിപ്പിച്ചാല്, നിങ്ങളുടെ ദാതാവ് നേരിട്ട് നല്കണം. ഞങ്ങള് ഒരു ഫണ്ട് ചാര്ച്ചര് പോലും കൊടുക്കില്ല. പറഞ്ഞിരിക്കുന്ന ഒരു സ്വതന്ത്ര ഫീസ് പാനല്, ഉപകരണങ്ങള്, സ്റ്റോര് എന്നിവ പ്രവര്ത്തിക്കുന്നതായിട്ടാണ് ബാധകമാകുന്നത്.
നോട്ടു കൊണ്ട് വില മാറ്റാം.
അംഗത്വപരമായ ഉപയോഗം 5.
മറ്റുള്ളവരെ ബാധിക്കുന്ന അകല്ച്ച, സിസ്റ്റം നിര്ദ്ദേശങ്ങള്, ചെലവുകള്, നിരക്കിന്റെ പരിധി എന്നിവ നീക്കം ചെയ്യാനും, എഴുതാനുള്ള സമ്മതം ഇല്ലാതെ വീണ്ടും വീണ്ടും തുടങ്ങാനും സേവനത്തെ ഉപയോഗിക്കാതിരിക്കുക. കോഡ്- എക്സ്പ്രഷന് ഉപകരണം പ്രസ്താവനകള് ഉറപ്പാക്കുന്നതിനു വേണ്ടിയാണ്; ഏതു സിസ്റ്റത്തെയും ആക്രമിക്കാന് ഉപയോഗിക്കാതിരിക്കുക.
അവാസിക
മൂന്നാം പാരമ്പര്യ സാദാദാതാക്കളെ ഞങ്ങള് ആശ്രയിക്കുന്നു. ദാതാക്കള് താഴേക്കു ചെന്നു, മോഡല് മാറ്റുന്നു. ഏതു കാരണത്തിനും തടസ്സം വന്നു, വീണ്ടും പരിഹരിക്കാന് കഴിയില്ല. ഈ മത്സരത്തിന്റെ കാര്യത്തില് ഞങ്ങള് ഉത്തരവാദിത്തം ഏല്ക്കുന്നില്ല. മുന്പ് നിങ്ങള് ഉപയോഗിച്ച മാതൃകയില് നിന്നും ഒന്നും കിട്ടിയില്ല.
7 ഭോഷത്തം
നിയമപ്രകാരം അനുവദിക്കുന്നിടത്തോളം, സേവനത്തിന് യാതൊരു അടിസ്ഥാനവുമില്ലാതെയാണു്. ഏതു അവകാശത്തിനും വേണ്ടി നിങ്ങൾ തന്നിട്ടുള്ള കണക്കുകള്ക്ക് മൂന്നുമാസം മുന്പ് ഞങ്ങള്ക്ക് തരുന്ന തുക മാത്രം മതി. ഞങ്ങള്ക്ക് ഒരു കുറ്റബോധവും നഷ്ടപരിഹാരവും ഇല്ല, മാതൃകാപ്രവാഹത്തില് നിന്നുള്ള ആശ്രയത്തില് നിന്നുള്ള നഷ്ടവും ഉള്പ്പെടില്ല.
കാലാവധി
നിങ്ങളുടെ അക്കൌണ്ട് നിങ്ങള്ക്ക് എപ്പോഴും അടച്ചിട്ടുണ്ടാവും; ഞങ്ങള്ക്ക് ഉപയോഗമില്ലാത്ത ഒരു കടമ വരും. ഈ അക്കൗണ്ടുകള് തകര്ത്തതും അല്ലെങ്കില് സേവനത്തിന് അപകടമുണ്ടാക്കുന്നതും.
9 മാറ്റങ്ങള്, ഭാഷ, ബന്ധങ്ങള്
ഈ പദങ്ങൾ നമുക്കു പുതുക്കാം; മേഖലയിൽ ഭൗതിക മാറ്റങ്ങൾ ഉണ്ടാകുമെന്ന് അതു സൂചിപ്പിക്കുന്നു.
ഈ താളിന്റെ പരിഭാഷകള് സമ്പുഷ്ടതയ്ക്കായി ലഭ്യമാക്കുന്നു, അവ യന്ത്ര- പ്രൊജക്ടിന് നിര്മ്മിച്ചിരിക്കുന്നു. പരിഭാഷയും ഇംഗ്ലീഷില് വ്യത്യാസപ്പെട്ടിരിക്കുന്നിടത്ത് ഇംഗ്ലീഷ് പതിപ്പ് നിയന്ത്രിക്കുന്നു.
ചോദ്യങ്ങൾ: ഞങ്ങളെ ബന്ധപ്പെടുക.