العلوم والرياضيات: آخر أخبار الذكاء الاصطناعي

الذكاء الاصطناعي في العلوم والرياضيات: براهين واكتشافات وأوراق بحثية، مع روابط إلى البحث نفسه.

2 نوفمبر ورقة في Nature: نموذج تعلّم عميق يقرأ خطر الوفاة ومسارات العمر من صور شبكية عادية
2 نوفمبر تقنية CluSTER من KAIST تختصر وقت الضبط الدقيق للنماذج اللغوية حتى 69.6% باستخدام نحو 31% من البيانات
1 نوفمبر رياضيون بريطانيون مجتمعون في الجمعية الملكية يحذرون من أن مختبرات الذكاء الاصطناعي قد تحجب نتائج رياضية خلف جدران الدفع
1 نوفمبر طريقة من UNIST تدرّب وكلاء نماذج لغوية صغيرة على استنتاج الأدوار الخفية وترفع نسبة الفوز في لعبة المستذئب من 41.6% إلى 65.6%
31 أكتوبر Balestriero وLeCun يثبتان أن نماذج JEPA المدرّبة على «رؤى جيدة» تتعلم التمثيل نفسه حتى دوران
31 أكتوبر باحث يقترح «حالات اعتقاد معمّمة» لفك ترميز ما تمثله نماذج التسلسل وتوجيهه
31 أكتوبر افتتاح منتدى الحائزين على الجوائز العالمية في شنغهاي؛ دوبيشي تفوز بجائزة WLF للرياضيات ولافورغ يقول إن النماذج اللغوية تحل بعض المسائل المفتوحة
31 أكتوبر فريق من جامعة بكين ينقل برنامج DFT المسمى ABACUS إلى معالج Kunpeng 920 من Huawei ويعلن تسريعًا يصل إلى 10.7 مرات
30 أكتوبر Epoch AI: 17% من مسودات أبحاث الأحياء على bioRxiv تُقرّ باستخدام نماذج لغوية كبيرة، قريبًا من 19% للأدوات المتخصصة
30 أكتوبر OpenAI ستغلق Prism، مساحة عمل LaTeX بالذكاء الاصطناعي للعلماء، في 1 يناير 2027
30 أكتوبر معهد SETI وBreakthrough Listen يتيحان لوكلاء ذكاء اصطناعي توجيه مصفوفة تلسكوب ألين ومعالجة البيانات فوريًا
30 أكتوبر ورقة أولية تجمع التدريب المسبق والضبط الدقيق والتعلم المعزز في خوارزمية تدريب واحدة قائمة على الاحتمالية
30 أكتوبر نموذج Tianji من Envision، المشارك باسم فريق Arcana، يتصدر مسابقة AI Weather Quest التابعة لـ ECMWF للأيام 19 إلى 25
30 أكتوبر تحليل الذكاء الاصطناعي لـ 98 مليون نداء خفاش يتيح أكبر مسح للخفافيش في غابات بريطانيا
30 أكتوبر وكلاء ذكاء اصطناعي متعاونون يختارون سؤالًا ويستنتجون نتيجة ويختبرونها تجريبيًا على لفات كمية في الماس
30 أكتوبر دراسة: نماذج GPT الرائدة تقدم حلولًا مرشحة لنحو 60% من 200 حدسية مفتوحة مختارة عشوائيًا
30 أكتوبر تحليل نتائج Ramanujan Challenge يجد أن أحد المشاركات أثبت إحدى حدسيات نظرية الأعداد المفتوحة المنشورة
30 أكتوبر Balestriero وLeCun يثبتان أن نماذج JEPA المدرَّبة على وسائط مختلفة تتعلم التمثيل نفسه حتى دوران واحد
29 أكتوبر YC Labs تشغّل 50 وكيلًا من GPT-6.1 Sol في Minecraft لثلاث ساعات فيبنون بيروقراطية للتقنين
29 أكتوبر ورقة أولية تثبت أن عدد فان دير فاردن w(2;3,21) يساوي 416 ببرهان تحقق منه نواة Lean 4
29 أكتوبر The Biological Computing Co. تطلق Mischief 1، نموذج فيديو مضبوط بمحوّلات مستمدة من خلايا عصبية مزروعة مخبريًا
28 أكتوبر Anthropic توسع برنامج AI for Science ليشمل 20 مؤسسة ومعهد أبحاث
27 أكتوبر Axiom: وكلاء ذكاء اصطناعي صاغوا تصنيف الزمر البسيطة المنتهية في Lean خلال 24 يومًا
27 أكتوبر Anthropic تنشر ورقة تزعم خوارزمية بزمن دون أسي لمسألة 3-SAT مع صياغة رسمية بلغة Lean 4
26 أكتوبر باحثون يبدؤون التحقق من ادعاءي OpenAI وAnthropic بأن الذكاء الاصطناعي دحض فرضية الزمن الأسي
23 أكتوبر Physical Superintelligence تنشر نتائج بمساعدة الذكاء الاصطناعي لخمس مسائل كمومية مفتوحة مع براهين Lean
21 أكتوبر نحو 2,000 وكيل GPT-Rosalind يحللون أطلس CRISPR للدماغ كاملًا في 32 دقيقة
19 أكتوبر NVIDIA ومعهد تصميم البروتين في جامعة واشنطن يطلقان نموذج RFD4-Proteina المفتوح
19 أكتوبر Quantinuum تعلن دقة منطقية 99.9995% على Helios بتحسن عشرة أضعاف في تصحيح الأخطاء
16 أكتوبر تسجيلات لدى القرود تُظهر تبديل الدماغ بين الصورة المدركة والمكبوتة نحو 15 مرة في الثانية
15 أكتوبر Google تُظهر زراعة الحالات السحرية على Willow وتخفض الخطأ المنطقي نحو 40 مرة
11 أكتوبر AlphaProof Nexus من DeepMind يحل 9 مسائل لإردوش، اثنتان منها مفتوحة منذ أكثر من 50 عامًا، ببراهين Lean
10 أكتوبر OpenAI تنشر 722 مخطوطة رياضية أنتجها نموذج داخلي غير معلن
6 أكتوبر Alman وVassilevska Williams ينشران خوارزميتين دون تربيعية لـ3SUM ودون تكعيبية لـAPSP