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