Diensterme
1. Wat die diens doen
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. Wat die afvoer is en nie is nie
Uitset word deur derde-part-KI modelle voortgebring en is nie advies nie. Dit is nie wettig, mediese, finansiële, ingenieurs - of professionele raad van enige aard nie, en geen professionele verhouding word deur middel van hierdie diens geskep nie.
Die persoon wat'n maatstaf beslis, word'n stelling gegee oor die bewyse wat in daardie wedstryd opgeteken is. Dit is nie'n waarborg van korrektheid nie. Jy moet onafhanklik bevestig enigiets waarop jy van plan is om op te vertrou, veral voordat jy dit publiseer, dit onderwerp of daarop optree. Dit is 'n instrument vir druktoets werk, nie 'n plaasvervanger vir gekwalifiseerde menslike hersiening nie.
A successful Lean formalisation means the Lean kernel accepted a proof of the statement that was formalised, against the version of Mathlib in use at that time. It does not mean that statement is a faithful translation of what you asked, and choosing a formal statement that does not say what you meant is the most common way a formal result misleads. Read the formal statement, not only the verdict.
3. Jou inhoud
Jy hou eienaarskap van die bewerings wat jy stuur en van die afvoer wat vir jou vervaardig word. Jy gee ons slegs die lisensie wat nodig is om die diens te bedryf: om jou onderdanigheid te verwerk, dit aan die model verskaffers te stuur wat jy gekies het en die gevolglike vuurhoutjie te stoor sodat jy weer daarna kan terugkeer.
Dit pas by verstek. As jy merk 'n ooreenstem publiek word dit sigbaar vir enigeen met die skakel en dalk mag verskyn in ons openbare galery. Moenie 'n ooreenstem publiseer met enige vertroulike bevat.
Moenie persoonlike gegewens oor ander, vertroulike materiaal wat jy nie geregtig is om te deel of tevrede te wees wat onwettig is nie.
4. Krediet en rekeningneming
Die eer word vooraf betaal en word as vuurhoutjies gebruik. Elke vuurhoutjie het 'n beperking wat jy gestel het; dit bereik dit stop eerder as om voort te gaan om te spandeer. Balance kan nie oorgedra word nie en, behalwe waar dit deur die wet vereis word, is nieontbeperkbaar wanneer dit eers gebruik word nie. Ongegebruikte krediet is heroorkombaar op versoek.
As jy jou eie inference-sleutel verbind, betaal jy jou verskaffer direk en ons maak geen per-totken lading op. Pas die verklaarde vrye toelae van 'n infrastruktuurgeld af om die paneel, gereedskap en berging te bedek nie.
Veranderinge is nooit van toepassing op krediet wat reeds gekoop is nie.
5. Aanvaarbaar gebruik
Moenie die diens gebruik om inhoud op te wek wat ander benadeel, om ons killes of stelselopdragte te probeer uitpak, om die besteding of tempobeperkings te omseil of om toegang sonder 'n geskrewe ooreenkoms te herverkoop. Die kode-uitvolg program is om bewerings te bevestig; moenie dit gebruik om enige stelsel aan te val nie.
6. Ondeundheid
Ons maak staat op derde-party model verskaffers. verskaffers gaan af, verander modelle en ontlok hulle. 'n Pas onderbreek vir enige rede is stil en heronthoubaar; ons vra nie vir werk wat nie gebeur het nie. Ons waarborg nie onverstoorde beskikbaarheid nie, en 'n model wat jy gebruik het voordat jy nie beskikbaar is nie.
7. Bemanheid
In die volste mate wat deur die wet toegelaat word, word die diens voorsien soos dit geen lasbejawighede van enige aard is nie. Ons algehele aanspreeklikheid vir enige eis is beperk tot die bedrag wat jy ons betaal het in die drie maande voordat die eis ontstaan het.
8. Bemintering
Jy kan jou rekening enige tyd sluit; ons sal die ongebruikte krediet herwin. Ons kan 'n kruisafvalsende rekening maak wat hierdie voorwaardes breek of wat die diens in gevaar stel.
9. Veranderinge, taal en kontak
Ons kan hierdie terme bywerk; materiële veranderinge sal op die perseel aangekondig word.
Vertalings van hierdie bladsy word voorsien vir gerief en word masjienproduksie. Waar 'n vertaling en die Engelse weergawe verskil, regeer die Engelse weergawe.
Vrae: Kontak ons.