Telerau Gwasanaeth
1. Beth mae'r gwasanaeth yn ei wneud
Rydych yn cyflwyno cwyn a safon. Rydyn ni'n rhedeg hi drwy banel o ddelweddau AI rydych chi'n eu dewis, yn ogystal â ddelweddau barnwr sy'n llywodraethu ar feini prawf derbyn, a byddwn ni'n ceisio ffurfweddu'r canlyniad yn Lean 4 yn erbyn Mathlib. Mae'r allbwn yn ddrafft, set o benderfyniadau, barn, a lle ceisiwyd ffurfweddu, y canlyniad Lean.
2. Beth yw'r allbwn a beth nad yw
Mae'r allbwn yn cael ei greu gan ddull AI trydydd parti ac nid yw'n cynghori. Nid yw'n awgrym cyfreithiol, meddygol, ariannol, peirianneg na proffesiynol o unrhyw fath, ac ni wneir unrhyw berthynas broffesiynol drwy ddefnyddio'r gwasanaeth hwn.
Y penderfyniad gan y barnwr ynglŷn â chydymffurfio â meini prawf yw datganiad am y dystiolaeth ar y cofnod yn y gêm honno. Nid yw'n gwarantu cywirdeb. Mae modelau AI yn gwneud gwallau, yn cam-ddeall ffynonellau, a gall gynhyrchu dyfyniadau er gwaethaf cyfarwyddiadau i beidio. Rhaid i chi wirio'n annibynnol unrhyw beth rydych chi'n bwriadu dibynnu arno, yn enwedig cyn cyhoeddi, cyflwyno, neu weithredu arno. Dyma offeryn ar gyfer gwaith profi pwysau, nid yw' n lle ar gyfer adolygiad dynol cymwys.
Mae ffurfweddiad Lean llwyddiannus yn golygu bod y cnewyllyn Lean wedi derbyn tystiolaeth o'r datganiad a ffurfweddwyd, yn erbyn y fersiwn Mathlib oedd yn cael ei ddefnyddio ar y pryd. Nid yw'n golygu mai'r datganiad yw cyfieithiad gwir o'r hyn yr ydych wedi gofyn amdano, a dewis datganiad ffurfiannol nad yw'n dweud beth ydych chi'n ei olygu yw'r ffordd fwyaf cyffredin i ganlyniad ffurfiannol gamgymryd. Darllenwch y datganiad ffurfiannol, nid dim ond y farn.
3. Eich cynnwys
Chi sy'n cadw perchnogaeth y datganiadau rydych chi'n eu cyflwyno a'r allbwn a gynhyrchir i chi. Rydych chi'n rhoi i ni'r drwydded sydd ei hangen i weithredu'r gwasanaeth yn unig: i brosesu eich cyflwyno, ei drosglwyddo i'r darparwyr modelau rydych chi wedi'u dewis, a storio'r cydweddiad canlyniadol fel y gallwch chi ddychwelyd ato.
Mae cydweddiadau yn breifat yn rhagosodedig. Os ydych yn marcio cydweddiad yn gyhoeddus, mae'n dod yn weladwy i unrhyw un sydd â'r cyswllt a gall ymddangos yn ein galleri gyhoeddus. Peidiwch â cyhoeddi cydweddiad sy'n cynnwys unrhyw beth cyfrinachol.
Peidiwch â chyflwyno data personol am eraill, deunydd cyfrinachol nad ydych yn gymwys i'w rannu, neu gynnwys sy'n anghyfreithlon.
Credydau a biliau
Mae credyd yn cael ei dalu ymlaen llaw ac yn cael ei ddefnyddio wrth i gemau redeg. Mae gan bob gêm gyfyngiad ariannol rydych yn ei osod; os cyrraeddwch y terfyn hwnnw, bydd y gêm yn seibio yn hytrach na pharhau i wario. Ni ellir trosglwyddo balansau, ac, oni bai bod angen yn ôl y gyfraith, ni ellir eu had-dalu unwaith eu bod wedi'u defnyddio. Gellir ad-dalu credyd nad yw wedi'i ddefnyddio ar gais.
Os ydych yn cysylltu eich allwedd ddeall eich hun, byddwch yn talu'ch darparwr yn uniongyrchol ac ni fyddwn yn codi tâl am bob tocyn. Ar ôl y caniatâd am ddim a ddywedir, mae tâl am y strwythur yn berthnasol i gwmpasu rhedeg y panel, offer a storio.
Gallwn newid prisiau gyda hysbysiad. Ni fydd newidiadau byth yn berthnasol i gredydau sydd wedi eu prynu eisoes.
Defnydd derbyniol
Peidiwch â defnyddio'r gwasanaeth i greu cynnwys sy'n niweidio eraill, i geisio echdynnu ein cynghorion neu gyfarwyddiadau system, i osgoi'r terfyn gwario neu'r terfyn pris, neu i ailwerthu mynediad heb gytundeb ysgrifenedig. Mae'r offeryn gweithredu cod ar gyfer gwirio cwyn; peidiwch â'i ddefnyddio i ymosod ar unrhyw system.
Ar gael
Rydym yn dibynnu ar ddarparwyr modelau trydydd parti. Mae darparwyr yn torri i lawr, yn newid modelau, ac yn eu diddymu. Mae cydweddiad a rwygir am unrhyw reswm yn seibio ac yn ailgychwyn; ni wneir tâl am waith na ddigwyddodd. Ni wneir gwarant o gael ei weithredu heb ei rwygo, a gallai model a ddefnyddiwyd gennych yn flaenorol ddod yn annilys.
Cyfrifoldeb
I'r graddau mwyaf y caniateir gan y gyfraith, darperir y gwasanaeth fel y mae heb unrhyw warant. Mae ein cyfrifoldeb cyfan am unrhyw gais yn gyfyngedig i'r swm rydych wedi talu i ni yn y tri mis cyn i'r cais godi. Nid ydym yn atebol am golli anuniongyrchol neu ganlyniadol, gan gynnwys unrhyw golli sy'n codi o ymddiried yn allbwn y model.
Terfynu
Gallwch gau eich cyfrif unrhyw bryd; byddwn yn ad-dalu credyd nad yw wedi ei ddefnyddio. Gallwn atal cyfrifon sy'n torri'r telerau hyn neu sy'n rhoi'r gwasanaeth mewn perygl.
Newidiadau, iaith a chysylltiad
Gallwn ddiweddaru'r telerau hyn; bydd newidiadau sylweddol yn cael eu cyhoeddi ar y safle.
Darperir cyfieithiadau' r dudalen hon am resymau cysur a chynhyrchir gan beiriant. Pan fo cyfieithiad a' r fersiwn Saesneg yn wahanol, mae' r fersiwn Saesneg yn llywodraethu.
Cwestiynau: Cysylltiad.