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

أبحاث ودراسات 2 دقيقة قراءة ٢٧ أكتوبر ٢٠٢٦

هل يستطيع الذكاء الاصطناعي تصحيح برهان أولمبياد؟ دراسة جديدة تجد فجوات كبيرة

تقيّم ورقة أولية جديدة نماذج لغوية على حلول USAMO قيّمها خبراء، وتخلص إلى أن الحكم على البراهين الرياضية الطويلة ما زال صعباً.

قراءة المقال 8

أبحاث ودراسات 2 دقيقة قراءة ٢٦ أكتوبر ٢٠٢٦

وكلاء الذكاء الاصطناعي يصممون خوارزميات تحسين بحدود زمن تشغيل يفحصها Lean

تعرض ورقة أولية جديدة مساراً مرحلياً بالذكاء الاصطناعي يقترح خوارزميات تحسين صندوق أسود ثم يستخدم Lean لفحص تحليلات زمن تشغيلها المتوقع.

قراءة المقال 15

أبحاث ودراسات 1 دقيقة قراءة ٢٢ أكتوبر ٢٠٢٦

برهان Lean مُنتَج بالذكاء الاصطناعي يتحقق من نتيجة تقارب لنماذج شبكات التفاعل

تعرض ورقة أولية جديدة صياغة في Lean 4 أُنتجت بالذكاء الاصطناعي لمبرهنة تقارب في أنظمة التفاعل ذات التوازن التفصيلي.

قراءة المقال 40

أخبار الذكاء الاصطناعي والرياضيات 2 دقيقة قراءة ٢٢ أكتوبر ٢٠٢٦

تيرينس تاو يدعو إلى «رياضيات 2.0» تقوم على الفهم لا على إجابات الذكاء الاصطناعي وحدها

يرى تيرينس تاو في مقال جديد بمجلة Nature أن سرعة البراهين المولدة بالذكاء الاصطناعي تجعل التحقق والشرح ونسبة الفضل قضايا مركزية في الرياضيات.

قراءة المقال 72

أبحاث ودراسات 2 دقيقة قراءة ٢٢ أكتوبر ٢٠٢٦

PaperFormalizer يبقي المؤلفين في دائرة القرار عند فحص الأوراق البحثية بـ Lean والذكاء الاصطناعي

تصف ورقة أولية جديدة مساراً بالذكاء الاصطناعي يراجع ادعاءات البحث مع مؤلفه ثم يربط العبارات المنقحة بتصريحات مفحوصة في Lean.

قراءة المقال 26

أبحاث ودراسات 2 دقيقة قراءة ٢١ أكتوبر ٢٠٢٦

بحث بشري-آلي يقدم تراكيب جديدة لدرجات عالية في مسألة ليهمر

تستخدم ورقة أولية جديدة بحثاً عددياً بمساعدة الذكاء الاصطناعي وفحوصاً رمزية دقيقة لبناء كثيرات حدود ذات قياس ماهلر صغير عبر نطاق واسع من الدرجات الزوجية.

قراءة المقال 28

أبحاث ودراسات 1 دقيقة قراءة ٢٠ أكتوبر ٢٠٢٦

OptScientist يسعى لاكتشاف قوانين التحسين الكامنة وراء البيانات

تقدم ورقة أولية في أكتوبر سير عمل بالذكاء الاصطناعي لاستنتاج مسائل تحسين رمزية موجزة من الملاحظات بدلاً من ملاءمة معادلات المدخلات والمخرجات فقط.

قراءة المقال 104

أبحاث ودراسات 2 دقيقة قراءة ٢٠ أكتوبر ٢٠٢٦

TriGeoBench يختبر ما إذا كان الذكاء الاصطناعي يستدل من الأشكال الهندسية لا يقرأها فقط

يربط معيار جديد أسئلة الهندسة المدرسية بالصور ومخططات TikZ القابلة للتحرير لاستكشاف ما تفهمه النماذج متعددة الوسائط من البنية الهندسية.

قراءة المقال 33

أخبار الذكاء الاصطناعي والرياضيات 1 دقيقة قراءة ١٦ أكتوبر ٢٠٢٦

مؤسسة SAIR تطلق نسخة أولية من مساحة تعاون للذكاء الاصطناعي في الرياضيات

تجمع منصة Open Math OS نماذج مفتوحة قائمة وأدوات حوسبة رياضية في مساحة بحث مشتركة، ويصف مطوروها الإطلاق بأنه نسخة مبكرة.

قراءة المقال 83