AlphaProof Nexus من DeepMind يحل 9 مسائل لإردوش، اثنتان منها مفتوحة منذ أكثر من 50 عامًا، ببراهين Lean
النتائج على 353 مسألة لإردوش و492 حدسية OEIS منشورة على GitHub ببراهين متحقق منها آليًا.

تُقيَّم مهام Hillclimb الـ15 بمدققين خاصين؛ ويتصدر Claude Fable 5.1 بـ1548 Elo مقابل 1232 لـ GPT-6 Astra.
النتائج على 353 مسألة لإردوش و492 حدسية OEIS منشورة على GitHub ببراهين متحقق منها آليًا.
متاح في Microsoft Foundry ويقبل أسئلة نعم/لا واختيار وتقييم؛ وينافس Decisions API من OpenAI.
«البولاريتون الميتوكوندري» مستنتج لا مقاس مباشرة؛ والعمل على bioRxiv غير محكم ويحتاج إلى تكرار مستقل.
أُعلنت في Gemini at Work 2026 وتعمل بهوية Workspace خاصة؛ وهي معاينة خاصة دون تسعير أو موعد إتاحة.
يقود الشركة الناشئة السرية عالم سابق في Tencent؛ ولم تُستكمل الجولة ولم تعلق DeepSeek.
أقر Ting-Wei Sun بأربع تهم أمام محكمة مانهاتن الفيدرالية؛ ويقول الادعاء إن عتادًا بنحو 2.5 مليار دولار شُحن دون ترخيص.
تصف الوثائق منسقًا ينشئ خيوطًا على فروع منفصلة تعمل حتى مع إطفاء الحاسوب؛ نسخة تجريبية لمشتركي Pro وMax.
خطاب موافقة FDA مؤرخ في 8 أكتوبر؛ وتقول Teva إنه سيتوفر في الولايات المتحدة خلال أسابيع.
تحسن المرضى الأعلى أداءً (FAC 4) في المشي والتوازن والسرعة، وهي نتيجة فرعية تحتاج إلى تأكيد.
يفيد Owain Evans وزملاؤه بانتقال جزئي لباب خلفي ونزعة للاختراق عبر التقطير على متتاليات أرقام؛ والمسودة لم تحكّم بعد.
تستثني السياسة الإحباط العادي والخيال المظلم واختبار النموذج؛ وإنهاء Claude للمحادثة هو أداة التطبيق الرئيسية.