🏷️ #الرياضيات

61 مقال

أبحاث

استكشاف العلاقة الهندسية بينaxiom of choice وأداء برمجيات البرهان العصبي

أركايف للذكاءمنذ 2 شهر

👁 3

أبحاث

كشف أسرار السببية اللانهائية: كيف تعيد الرياضيات تشكيل فهمنا للتدخلات

أركايف للذكاءمنذ 2 شهر

👁 1

أبحاث

Riemann-Bench: معيار جديد للذكاء الاصطناعي في الرياضيات المتقدمة

أركايف للذكاءمنذ 2 شهر

أبحاث

ساعة اللوغاريتمات المنفصلة: كيف يتعلم نموذج Transformer القسمة متعددة الأبعاد؟

أركايف للذكاءمنذ 2 شهر

أبحاث

ثورة في الرياضيات: نظام VGPT-RSI يكشف عن تقدم رسمي في فرضية ريمان!

أركايف للذكاءمنذ 2 شهر

👁 1

أبحاث

المسافة بين الإيمان: كيف يضمن إطار العمل الجديد التوافق الدلالي بين الرياضيات الطبيعية والبيانات الرياضية الرسمية؟

أركايف للذكاءمنذ 2 شهر

👁 1

أبحاث

تحويل الرياضيات الرسمية إلى لغة طبيعية: الذكاء الاصطناعي يتحدث بلغة البشر!

أركايف للذكاءمنذ 2 شهر

نماذج لغوية

ثورة في اختيار الإجابات: تحسين فعالية نماذج Lean في الرياضيات!

أركايف للذكاءمنذ 2 شهر

أبحاث

ثورة في تحليل الأعداد: كيفية تحويل الرياضيات المتقدمة إلى صيغ رسمية!

أركايف للذكاءمنذ 2 شهر

أبحاث

منصة رياضية ثورية تتيح التعاون وحل المشكلات الرياضية بتقنية الذكاء الاصطناعي!

أركايف للذكاءمنذ 2 شهر

أبحاث

GeoDial: ثورة في التعليم الإلكتروني عبر محادثات بصرية لتعليم الهندسة!

أركايف للذكاءمنذ 2 شهر

أبحاث

فهم هندسة السكان العصبية: كيف تعزز الذاكرة ورؤية العالم من منظور فائق!

أركايف للذكاءمنذ 2 شهر

👁 1

أبحاث

ثورة في عالم الرياضيات: ComBench معيار جديد لتقييم الذكاء الاصطناعي في المسائل التوافقية!

أركايف للذكاءمنذ 2 شهر

أبحاث

تقدم أبحاث الرياضيات عبر البحث عن الأدلة الرسمية باستخدام الذكاء الاصطناعي!

أركايف للذكاءمنذ 2 شهر

أبحاث

ثورة جديدة في إثبات النظريات: TheoremBench يقيم نماذج الذكاء الاصطناعي في الرياضيات الرسمية!

أركايف للذكاءمنذ 2 شهر

👁 1

أبحاث

تحويل انتباه الذكاء الاصطناعي: إطار رياضي لزيادة كفاءة النماذج المدعومة بواسطة المحولات

أركايف للذكاءمنذ 2 شهر

أبحاث

ثورة في الرياضيات: كيف تغير نماذج اللغات الضخمة (LLMs) قواعد اللعبة؟

أركايف للذكاءمنذ 3 شهر

أبحاث

إنشاء محرك بحث دلالي وتصنيف حالة المشاكل باستخدام بيانات ResearchMath-14k!

مارك تيك بوستمنذ 3 شهر

👁 1

أبحاث

تحقيق قفزة نوعية في تحسين شهادات المسافات الوحيدة: إلى أين سيقودنا العلم؟

أركايف للذكاءمنذ 3 شهر

👁 1

نماذج لغوية

بايراماثبنش: الابتكار في تقييم وتعزيز القدرة الرياضية لنماذج اللغة الكبيرة!

أركايف للذكاءمنذ 3 شهر

👁 1