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