Theorem.chat ilawulwa ngu Muddy Holdings LLC (si, thina). Ngokusetshenziswa kwesevisi, uvuma lezi zidingo.

1. Imisebenzi yenkonzo

Ufaka isicelo kanye nesimo. Siyiqhuba ngaphambilini ibhodi le-AI model okhetha, kanye nemodeli ye-referee elawula izimo zokuqashwa, futhi sizama ukucacisa imiphumela ku-Lean 4 versus Mathlib. I-output yi-transcript, iset of rulings, a verdict, futhi lapho kwenziwa khona, i-Lean result.

2. Yini i-output futhi ayi

I-output ikhiqizwa yi-AI model yeqembu lesithathu futhi ayisiyo incazelo. Ayikho incazelo yomthetho, yezokwelapha, yezimali, yezobuchwepheshe noma yezobunjiniyela, futhi akukho ukuxhumana okuhlobene nobunjiniyela okudalwa ukusebenzisa le nkonzo.

Ijaji elilawula isinqumo esihlangabezana nesimo likhuluma ngemibiko ebhalwe ku-match. Ayikho iqinisekiso lokuhle. Amamodeli we-AI akwenza amaphutha, afunda amakhompiyutha, futhi angakha izixhumanisi naphezu kwezincomo ezingaba khona. Kudingeka uqinisekise ngokuzimela noma yini ofuna ukuthembela kuyo, ikakhulukazi ngaphambi kokushicilela, ukuthunyelwa, noma ukusebenzela. Le yithuluzi lokuvavanya umsebenzi wokucindezela, hhayi ukushintshana kokuhlolwa komuntu okwaziyo.

Ukwesekwa okuphumelelayo kwe-Lean kufakazela ukuthi i-kernel ye-Lean yamukela isiqiniseko seqiniso lesichazamazwi esisemthethweni, esiphikisana nefomethi ye-Mathlib esetshenziswa ngalo nyaka. Akusho ukuthi lesichazamazwi siyiguqulelo esithembekile sokuthi yini ofuna ukuyibuza, futhi ukukhetha isichazamazwi esisemthethweni esingasho ukuthini okushoyo kuyindlela ejwayelekile kakhulu yokuthola imiphumela esemthethweni ekhohlisa. Funda isichazamazwi esisemthethweni, hhayi isinqumo kuphela.

3. Izithameli zakho

Ugcina unikazi lwezicelo ozifakayo kanye nemiphumela ekhiqizwa kuwe. Unikeza kuphela ilayisense edingekayo ukulawula izinsizakalo: ukuphatha izicelo zakho, ukudlulisa kulabo abahlinzeki bemodeli okhethayo, futhi ugcine i-match etholakele ukuze uphinde uyibuyisele.

Matches ziyimfihlo ngokuzenzakalela. Uma uphawula i-match esemthethweni, izobonakala kunoma ubani one-link futhi ingavela e-galery yethu esemthethweni. Ungashicileli i-match equkethe noma yini efihlakele.

Ungafaki imingwane yomuntu mayelana nabanye, amathuluzi afihlakele ongavunyelwe ukuwabelana, noma okuqukethwe okungavunyelwe.

4. Amakhadi kanye nokufaka izimali

Imali ekhokhwa ngaphambili isetshenziswa njenge-matches. Yonke i-match inenani elilinganiselwe lokukhokha oligcizelela; ukufinyelela kulo kwenza i-match ibambezeleke ngaphandle kokuqhubeka nokukhokha. Izibalo azidlulisiki futhi, ngaphandle lapho kudingeka khona yimithetho, azibuyiselwa emuva uma zisetshenziswa. Imali engasebenzisiwe ibuyiselwa emuva uma kudingeka.

Uma uxhuma isithonjana sakho sokuziveza, ukhokhisa umhlinzeki wakho ngokuqondile futhi sikhokhisa ngaphandle kwezindleko ze-token ngayinye. Uma udlula i-free allowance ecacisiwe, izindleko zesakhiwo sendawo yokugcina zisebenza ukuvimbela ukuqhuba indawo yokubuka, amathuluzi nokugcina.

Sizoshintsha amantengo ngesaziso. Ushintsho alusebenzisi ikhadi lemali elisha elithengiswe.

Ukusetshenziswa okuvunyelwe

Ungasebenzisi le nkonzo ukuletha okuqukethwe okuthinta abanye, ukuzama ukukhishwa kwe-prompts yethu noma iziqondiso zesistimu, ukuvimbela ukukhokha noma ukukhawulela, noma ukuthengisa kabusha ukufinyelela ngaphandle kwesivumelwano esibhalwe phansi. Ithuluzi lokuphatha ikhodi lisetshenziselwa ukuqinisekisa izicelo; ungayisebenzisa ukuhlaselwa kwesistimu.

Ukungena

Sidinga abahlinzeki bemodeli abangaphandle. Abahlinzeki bawela phansi, bashintsha amamodeli, futhi basusa. I-match ephucukile ngenxa yanoma iyiphi isizathu imiswa futhi iphinde iqhubeke; asikhokhi umsebenzi ongasekho. Asiqinisekisi ukutholakala okungaphucukile, futhi imodeli oyisebenzisayo ngaphambili ingase ibe yikho.

Ubufakazi

Kuze kube yilapho umthetho uvumela khona, izinsizakalo zihlinzekwa njengezikhona ngaphandle kwe-warranty nganoma iyiphi indlela. Ukwethembeka kwethu okuphelele nganoma yisiphi isimangalo kufinyelela kuleyo mali oyikhokhele kunyanga ezintathu ngaphambi kokuba isimangalo siqale. Asikwazi ukubekezela ngezinkinga ezingaba khona noma ezihambisanayo, kufaka phakathi noma yiziphi izinkinga ezivela ekuthembeni kwemodeli ye-output.

Ukuvala

Ungavala i-akhawunti yakho nganoma yisiphi isikhathi; sizobuyisela imali engenayo engasebenzisi. Sizomisa ama-akhawunti aphula la mithetho noma abeka izinsizakalo ezingozini.

9. Ushintsho, ulwimi nokuxhumana

Sizokwazi ukuvuselela lezi zici; ushintsho olubalulekile luzoshicilelwa kule webhusayithi.

Izilimi eziguqulelwe kule khasi zinikezwa ukuze kusebenze futhi zikhiqizwa yimishini. Uma isilimi esiguqulelwe nesiNgisi sihlukile, isiNgisi sizolawula.

Imibuzo: Xhumanisa nathi.