Lean 4
Категория:Academic researchЦены: Бесплатно
Описание
Интерактивный доказатель теорем и функциональный язык программирования, служащий основной инфраструктурой для формальных исследований ИИ и автоматического доказательства теорем (например, AlphaProof, DeepSeek-Prover).
Похожие инструменты
AMiner
Платформа академических исследований и технологической аналитики на базе ИИ, предоставляющая поиск научных работ, поиск патентов, отслеживание литературы и профилирование учёных.
БесплатноПосетить →
alphaxiv
Открытое академическое дискуссионное сообщество на базе платформы arXiv, которое позволяет пользователям комментировать построчно, задавать вопросы и взаимодействовать в реальном времени, заменив домен ссылки на статью (arxiv.org на alphaxiv.org) прямо на странице статьи. Также предоставляет функции ИИ, такие как Ask AI и блоги статей, создаваемые ИИ.
БесплатноПосетить →