الأبحاث المرتبطة بالكلمة المفتاحية: الاستدلال الآلي
-
SAQR-QC: منطق للتفكير الكمي القابل للتوسع ولكنه تقريبي حول الدوائر الكمومية
2026 | المؤلف: Nengkun Yu وآخرون | المجلة: Proceedings of the ACM on Programming Languages | المجال: الذكاء الاصطناعي (Artificial Intelligence)تتناول الورقة التحديات المتعلقة بالتفكير في البرامج الكمومية، مع التركيز بشكل خاص على قيود تقنيات التحقق الحالية للدارات الكمومية، التي تتطلب غالبًا موارد أسية. للتغلب على هذه التحديات، يقدم المؤلفون SAQR-QC، وهو منطق مصمم للتفكير الكمي القابل للتوسع ولكن التقريبي حول الدارات الكمومية. يتضمن SAQR-QC فقدانًا متعمدًا للدقة، ويحافظ على أخطاء متراكمة صغيرة أثناء التفكير،…
-
العلاقة بين التفكير والأداء في نماذج اللغة الكبيرة – o3 (mini) يفكر بجدية أكبر، وليس لفترة أطول
2026 | المؤلف: Marthe Ballon وآخرون | المجلة: Scientific Reports | المجال: الذكاء الاصطناعي (Artificial Intelligence)يتناول هذا القسم من ورقة البحث التقدمات في نماذج اللغة الكبيرة في التفكير الرياضي، مع التركيز بشكل خاص على العلاقة بين طول سلسلة التفكير والدقة. تقارن الدراسة بين متغيرات o1-mini و o3-mini باستخدام معيار Omni-MATH، مما يكشف أن متغير o3-mini (m) يحقق دقة أعلى دون الحاجة إلى سلاسل تفكير أطول من سلفه، o1-mini. ومن الجدير…