Lean 4
الفئة:Academic researchالتسعير: مجاني
الوصف
مثبت نظريات تفاعلي ولغة برمجة وظيفية، يعمل كبنية تحتية أساسية لأبحاث الذكاء الاصطناعي الرسمية والإثبات الآلي للنظريات (مثل AlphaProof وDeepSeek-Prover).
أدوات ذات صلة
AMiner
منصة بحث أكاديمي واستخبارات تقنية مدعومة بالذكاء الاصطناعي، توفر البحث عن الأوراق العلمية، البحث عن براءات الاختراع، تتبع الأدبيات، وملفات الباحثين.
مجانيزيارة →
alphaxiv
مجتمع نقاش أكاديمي مفتوح يعتمد على منصة arXiv، ويسمح للمستخدمين بالتعليق سطرًا بسطر وطرح الأسئلة والتفاعل في الوقت الفعلي عن طريق استبدال نطاق رابط الورقة (arxiv.org بـ alphaxiv.org) مباشرة على صفحة الورقة. ويوفر ميزات ذكاء اصطناعي مثل Ask AI ومدونات المقالات المولدة بالذكاء الاصطناعي.
مجانيزيارة →