Zomwe zimachitika
1. Kodi ntchito amachita
Mumapereka chitsimikizo ndi standard. Tikuyendetsani m'mbuyomu panel ya AI models yomwe mumasankha, komanso model ya woyang'anira yomwe imayendetsa zofunikira zovomerezeka, ndipo tikufuna kukhazikitsa zotsatira mu Lean 4 motsutsana ndi Mathlib. Kutulutsa ndi transcript, seti ya malamulo, chigamulo, ndipo pomwe kukhazikitsidwa kwalamulo kunayesedwa, zotsatira za Lean.
2. Kodi output ndi ndi si
Kutulutsa kumapangidwa ndi ma AI achitatu omwe amapanga ma AI ndipo si akatswiri. Sichitanthauza malangizo a malamulo, a zamoyo, a ndalama, a injiniya kapena akatswiri a mtundu uliwonse, ndipo palibe ubale wa akatswiri womwe umapangidwa pogwiritsa ntchito ntchitoyi.
Mkulu wa mlandu woyang'anira mfundo yogwirizana ndi mfundo ndi kunena za umboni pa mnda kuti match. Sichitsimikizo cha khalidwe labwino. AI mafano amachita zoipa, misread zigawo, ndi angachite zolemba ngakhale malangizo sayenera. Muyenera kutsimikizira mwamsanga chilichonse chomwe mukufuna kukhulupirira, makamaka pambuyo kufalitsa izo, kutumiza izo, kapena kuchita pa izo. Izi ndi chida cha ntchito yoyeserera, si chosinthika kwa wodziwa munthu wofufuza.
A bwino Lean formalization kumatanthauza Lean kernel anavomereza umboni wa lamulo lomwe lina formalized, kulimbana ndi mtundu wa Mathlib mu ntchito nthawi imeneyo. Sikuti lamulo ndi kutanthauzira mwamtendere wa zimene inu munafunsa, ndi kusankha lamulo lamulo kuti sakuti zimene inu munatanthauza ndi njira zofala kwambiri lamulo zotsatira zosokoneza. Werengani lamulo lamulo, si kungoti chigamulo.
3. Masamba anu
You keep ownership of the claims you submit and of the output produced for you. You grant us only the licence needed to operate the service: to process your submission, transmit it to the model providers you selected, and store the resulting match so you can return to it.
Matches ndi zachikhalidwe mwa default. Ngati mudzalemba match anthu, idzakhala yooneka kwa aliyense amene ali ndi ulalo ndi angaoneka mu Gallery yathu ya anthu. Musapereke match yomwe ili ndi chilichonse chosadziwika.
Musapereke deta ya munthu wina, zinthu zosadziwika zomwe simukuyenera kugawana, kapena masamba omwe sagwirizana ndi malamulo.
4. Credits ndi kulipira
Credit ndi prepaid ndi kudyedwa monga matches kunyamula. Gawo lililonse match ali ndi ndalama kumapeto inu kuika; kufika izo amaletsa match kuposa kutsatira kuyendera. Mabalansi si zosasinthika ndi, kupatula pamene zofunika ndi malamulo, si zosabwezeredwa pamene kudyedwa. Non-kugwiritsa ntchito credit ndi zosabwezeredwa pa lamulo.
Ngati mulumikizana ndi chida chanu chokha chofufuzira, mumalipira mgwirizano wanu moyenera ndipo sitilipira ndalama zolipira. Pambuyo pa chilolezo chosalipira chovomerezeka, ndalama za infrastructure zimaperekedwa kuti zithandizire kuyendetsa panel, zida ndi kusungitsa.
Titha kusintha mtengo ndi kudziwitsa. Zosinthazi sizingagwiritsidwe ntchito pa ndalama zomwe zagulitsidwa kale.
5. Kugwiritsa ntchito kovomerezeka
Musagwiritse ntchito ntchitoyi popanga zinthu zomwe zimawononga ena, kuyesera kuchotsa malangizo athu kapena malangizo a dongosolo, kulepheretsa kugwiritsa ntchito ndalama kapena kuchepetsa mtengo, kapena kugulitsanso mwayi wogwiritsa ntchito popanda chilolezo cholemba. Chida chogwiritsa ntchito code chimagwiritsa ntchito kutsimikizira zolinga; musagwiritse ntchito chida ichi poyambitsa vuto la dongosolo lililonse.
6. Kupezeka kwa
Timatengera pa othandizira a model wachitatu. Othandizira achoka, amasintha mamodeli, ndi kuwachotsa ntchito. A match wolephera chifukwa chilichonse ndi wolephera ndi wokhoza kubwezeretsedwanso; sitilipira ntchito yomwe siyichitika. Sitikutsimikizira kupezeka kopanda kulephera, ndipo model yomwe munagwiritsa ntchito kale ingasanduka yosapezeka.
7. Kudalirika
Kudzera pa tsambali, tikuvomereza kuti tikugwirizana ndi malamulo onse ovomerezeka, ndipo tikuvomereza kuti tikugwirizana ndi malamulo onse ovomerezeka. Tikuvomereza kuti tikugwirizana ndi malamulo onse ovomerezeka, ndipo tikuvomereza kuti tikugwirizana ndi malamulo onse ovomerezeka, ndipo tikuvomereza kuti tikugwirizana ndi malamulo onse ovomerezeka, ndipo tikuvomereza kuti tikugwirizana ndi malamulo onse ovomerezeka, ndipo tikuvomereza kuti tikugwirizana ndi malamulo onse ovomerezeka.
Kutha kwa ntchito
Mutha kuchotsa akaunti yanu nthawi iliyonse. Tidzabwezera ndalama zomwe simunagwiritse ntchito. Titha kuletsa akaunti zomwe zimaphwanya malamulowa kapena zomwe zimabweretsa vuto la ntchito.
9. Zosintha, zinenero ndi kulumikizana
Tikhoza kusinthira izi malamulo; zosintha zofunika adzalengezedwa pa malo.
Matanthauzidwe a tsambali amaperekedwa chifukwa cha chitetezo ndipo amapangidwa ndi makina.Pamene matanthauzidwe ndi mtundu wa Chingelezi amasiyana, mtundu wa Chingelezi umasankhidwa.
Mafunso: Kulumikizana nafe.