Срок службы
1. Что делает служба
Вы представляете претензию и стандарт. Мы прогоним ее через выбранную вами группу моделей АИ, плюс модель судьи, которая будет регулировать критерии принятия, и мы попытаемся официально оформить результат в Lean 4 против Mathlib. Выход - это стенограмма, набор решений, вердикт, и там, где была предпринята попытка формализации, результат Lean.
2. Что является и не является результатом
Результат генерируется моделями АИ, используемыми третьей стороной, и не является консультативным. Это не юридические, медицинские, финансовые, инженерные или профессиональные консультации любого рода, и использование этой услуги не создает никаких профессиональных отношений.
Судья, выносяший решение по критерию, представляет собой заявление о записанных доказательствах в match. Это не гарантия точности. Модели АИ совершают ошибки, неправильно понимают источники и могут подделать ссылки, несмотря на указания не делать этого. Вы должны независимо проверять все, на что вы намерены положитьсяЭто инструмент для проведения испытаний на давление, а не замена квалифицированного обзора.
Успешное формализация линь означает, что ядро Лиан приняло доказательство официального заявления, против версии Mathlib, использованной в то время. Это не означает, что заявление является верным переводом того, что вы просили, и выбор официального заявления, в котором не говорится, что то, что вы имели в виду, является наиболее распространенным способом, который формально вводит в заблуждение. Прочитайте официальное заявление, а не только вердикт.
3. Содержание
Вы сохраняете право собственности на представленные вами претензии и на продукцию, полученную для вас. Вы предоставляете нам только лицензию, необходимую для обслуживания: обрабатывать ваше представление, передавать его поставщикам модели, которые вы выбрали, и хранить полученную match, чтобы вы могли вернуться к нему.
Matches - это частные объекты по умолчанию. Если вы пометите match публично, то это становится видимым для любого, кто имеет связь и может появиться в нашей галерее. Не опубликуйте match, содержащий что-либо конфиденциальное.
Не представляете личные данные о других, конфиденциальные материалы, которыми вы не имеете права делиться, или материалы, которые являются незаконными.
4. Кредиты и счета-фактуры
Кредит предварительно выплачивается и потребляется в matches проб. В каждом match вы устанавливаете предел расходов; достижение его не продолжает расходовать match, а тормозит 8801. Остатки не подлежат переводу и, если это не требуется законом, не подлежат возмещению после их потребления. Неиспользованный кредит подлежит возврату по запросу.
Если вы соединяете свой собственный ключ, вы платите поставщику напрямую и мы не платим по каждому цене. За время действия объявленного бесплатного лимит, для покрытия расходов на обслуживание панели, инструментов и хранения применяется плата за инфраструктуру.
Мы можем изменить цены, уведомив об этом.
5. Приемлемое использование
Не использовать эту услугу для создания контента, причиняющего вред другим, для того чтобы попытаться извлечь наши сигналы или системные инструкции, обойти ограничения расходов или ставок или перепродать доступ без письменного соглашения.
6. Наличие
Мы зависим от третьих поставщиков моделей. Поставщики падают, меняют модели и депретируют их. match, прерванные по любой причине, остаются без внимания и могут возродиться; мы не берем плату за работу, которая не была проведена. Мы не гарантируем бесперебойную доступность, и модель, которую вы использовали до этого, может оказаться недоступной.
7. Ответственность
В максимально возможной степени, предусмотренной законом, услуги предоставляются без каких-либо гарантий.
8. Прекращение действия
Вы можете закрыть свой Аккаунт в любое время, мы вернем неиспользованный кредит, мы можем приостановить счета, которые нарушают эти условия или ставят службу под угрозу.
9. Изменения, язык и контакты
Мы можем обновить эти термины; на сайте будут объявлены о существенных изменениях.
Переводы на эту страницу предоставляются для удобства и производятся машиностроителями.
Вопросы: Свяжитесь с нами.