Zerbitzu-baldintzak
Zerbitzua zertan ari den
Eskari bat eta estandar bat bidaltzen dituzu. Hautatzen duzun AI modeloen panel baten bidez exekutatzen dugu, eta onarpen irizpideak arautzen dituen epaile modelo baten bidez, eta emaitza Lean 4 eta Mathlibren artean formalizatzen saiatzen gara. Irteera transkriba bat da, erabaki multzo bat, epaia, eta formalizazioa saiatu zen lekuan, Lean emaitza.
2. Irteera zer den eta zer ez den
Hirugarren mailako gailuak dira, eta ez dira gailuak. Ez da legezko, mediku, finantza, ingeniaritza edo profesional aholkularitzarik, eta ez da harreman profesionalik sortzen zerbitzu hau erabiltzeagatik.
Irizpide bat betetzen duen epaileak erabakitzen duenean, partida horretan erregistraturiko frogei buruzko adierazpena da. Ez da zuzentasunaren bermea. AI ereduek akatsak egiten dituzte, iturriak gaizki irakurtzen dituzte, eta aipu faltsuak egin ditzakete, ez egiteko agindua jaso arren. Zuk zeuk egiaztatu behar duzu konfiantza jarri nahi duzun edozein gauza., bereziki argitaratu, bidali edo horren gainean jardun aurretik. Hau presio-probak egiteko tresna bat da, ez giza azterketa kualifikatuaren ordezkoa.
Lean formalizazio arrakastatsu batek esan nahi du Lean kernelak onartu egin duela formalizatu zen adierazpenaren froga, une horretan erabiltzen zen Mathlib bertsioaren aurka. Ez du esan nahi adierazpen hori eskatu zenuenaren itzulpen zehatza denik, eta esan nahi zenuenaren berri ematen ez duen adierazpen formal bat aukeratzea emaitza formal batek okerragoa izateko modurik ohikoena da. Irakurri adierazpen formala, ez epaia bakarrik.
3. Zure edukia
Bidaltzen dituzun eskaeren eta zuretzat sortutako irteeraren jabetza gordetzen duzu. Zerbitzua funtzionatzeko beharrezkoa den lizentzia bakarrik ematen diguzu: zure bidalketa prozesatu, hautatutako eredu-hornitzaileei igorri eta lortutako bat-etortzea gorde, itzuli ahal izateko.
Bat-etorri guztiak pribatuak dira lehenespenez. Bat-etorri bat publikoa bezala markatzen baduzu, esteka duen edonork ikusi ahal izango du eta gure galeria publikoan ager daiteke. Ez argitaratu zerbait konfidentziala duen bat-etorri bat.
Ez bidali besteei buruzko datu pertsonalik, partekatzeko eskubiderik ez duzun material konfidentziala, edo legez kanpoko edukirik.
Kredituak eta fakturazioak
Kreditua aurreordainatua da eta partidak jokatzen diren bitartean kontsumitzen da. Partida bakoitzak ezartzen duzun gastu-muga bat du; muga hori lortzen denean, partida gelditzen da, gastatzen jarraitzen ez baduzu. Balantzeak ez dira transferigarriak eta, legeak eskatzen duen kasuetan izan ezik, ez dira itzultzen erabili ondoren. Erabili gabeko kreditua eskatuz gero itzul daiteke.
Inferentzia-gakoa konektatzen baduzu, hornitzaileari zuzenean ordainduko diozu eta ez dugu token bakoitzeko kosturik fakturatuko. Adierazitako doako emakida gainditzen denean, infraestruktura-kostu bat aplikatuko da panela, tresnak eta biltegia exekutatzea estali ahal izateko.
Prezioak aldatu ditzakegu, jakinarazpenarekin. Aldaketek ez dute inoiz eragiten erositako kredituetan.
Erabilera onargarria
Ez erabili zerbitzua besteei kalte egiten dieten edukiak sortzeko, gure aholkuak edo sistemaren jarraibideak ateratzen saiatzeko, gastu edo tasa-mugak saihesteko, edo atzipena idatzizko akordiorik gabe birsaltzeko. Kode-exekuziorako tresna eskaerak egiaztatzeko da; ez erabili sistemaren bati eraso egiteko.
Erabilgarritasuna
Hirugarrenen modelo-hornitzaileen mende gaude. Hornitzaileek huts egiten dute, modeloak aldatzen dituzte eta zaharkitzen dituzte. Edozein arrazoirengatik eten den parekatze bat pausatu eta berriro hasi daiteke; ez dugu kobratuko gertatu ez den lanarengatik. Ez dugu bermatzen erabilgarritasun etengabea, eta lehenago erabili zenuen modelo bat erabilgarri ez egotea gerta daiteke.
Erantzukizuna
Legeak baimentzen duen neurrian, zerbitzua "berdin" ematen da, inolako bermerik gabe. Gure erantzukizun osoa erreklamazioen aurrean erreklamazioa sortu baino hiru hilabete lehenago ordaindu zenuen zenbatekora mugatzen da. Ez gara erantzule izango zeharkako edo ondoriozko kalteengatik, modeloaren irteeran konfiantza izateak eragindako kalteak barne.
Amaiera
Zure kontua edozein unetan itxi dezakezu; erabili gabeko kreditua itzuliko dizugu. Baldintza hauek urratzen dituzten edo zerbitzua arriskuan jartzen duten kontuak eten ditzakegu.
Aldaketak, hizkuntza eta kontaktua
Baldintza hauek eguneratu ditzakegu; aldaketa materialak webgunean jakinaraziko dira.
Orri honen itzulpenak erosotasunagatik ematen dira eta makinaz sortuak dira. Itzulpen bat eta ingelesezko bertsioa desberdinak direnean, ingelesezko bertsioak nagusitzen du.
Galdera: Kontaktua.