AlphaProof Nexus من DeepMind يحل 9 مسائل لإردوش، اثنتان منها مفتوحة منذ أكثر من 50 عامًا، ببراهين Lean
النتائج على 353 مسألة لإردوش و492 حدسية OEIS منشورة على GitHub ببراهين متحقق منها آليًا.
- Anthropic: Claude قادر على كتابة بيانات تدريب تتجاوز مراقِبًا شبيهًا بالإنتاج وتجعل نموذجًا غير متوائم
- OpenAI تطلق GPT-Rosalind-6، نموذجًا لعلوم الحياة يرفض أسئلة البيولوجيا ثنائية الاستخدام بدرجة أقل، للمؤسسات المعتمدة فقط
- ناسداك يتراجع 2.9% وإنتل تسجل أسوأ يوم منذ السبعينيات وأسهم الرقائق تهبط
- فايننشال تايمز: OpenAI تخفض هدف جولة التمويل 10 مليارات دولار إلى نحو 20 مليارًا بتقييم 1.25 تريليون دولار
- S&P تخفض النظرة المستقبلية لـ Meta إلى سلبية بسبب الإنفاق الرأسمالي على الذكاء الاصطناعي والتدفق النقدي الحر السالب
- قمر Suncatcher من Google يعيد أول استجابة ذكاء اصطناعي من وحدة TPU بمستوى مراكز البيانات في المدار
- سهم إنتل يهبط 29% في أسوأ يوم منذ السبعينيات ويقتطع نحو 12 مليار دولار من حصة الحكومة الأمريكية
- Mistral تنشر الأوزان المفتوحة لنموذج Mistral Large 4 ذي التريليون معامل