Lean 4
دسته:Academic researchقیمت‌گذاری: رایگان
توضیحات
یک اثبات‌گر قضیه تعاملی و زبان برنامه‌نویسی تابعی که به عنوان زیرساخت اصلی برای تحقیقات هوش مصنوعی رسمی و اثبات قضیه خودکار (به عنوان مثال، AlphaProof، DeepSeek-Prover) عمل می‌کند.
ابزارهای مرتبط
AMiner
پلتفرم تحقیقات دانشگاهی و هوش فناوری مبتنی بر هوش مصنوعی، که جستجوی مقاله، جستجوی پتنت، پیگیری ادبیات و مشخصات محققان را فراهم می‌کند.
رایگانبازدید →
alphaxiv
یک انجمن بحث دانشگاهی باز مبتنی بر پلتفرم arXiv که به کاربران اجازه می‌دهد با جایگزینی دامنه پیوند مقاله (arxiv.org به alphaxiv.org) مستقیماً در صفحه مقاله، نظر خط به خط بدهند، سؤال بپرسند و در زمان واقعی تعامل داشته باشند. همچنین ویژگی‌های هوش مصنوعی مانند Ask AI و وبلاگ‌های مقاله تولید شده توسط هوش مصنوعی را فراهم می‌کند.
رایگانبازدید →