Axiom: وكلاء ذكاء اصطناعي صاغوا تصنيف الزمر البسيطة المنتهية في Lean خلال 24 يومًا
يضم المستودع نحو 43.1 مليون سطر Lean ويشير إلى 34 انحرافًا عن البراهين المنشورة؛ والمراجعة المستقلة معلقة.
- ناسداك يتراجع 2.9% وإنتل تسجل أسوأ يوم منذ السبعينيات وأسهم الرقائق تهبط
- سهم إنتل يهبط 29% في أسوأ يوم منذ السبعينيات ويقتطع نحو 12 مليار دولار من حصة الحكومة الأمريكية
- S&P تخفض النظرة المستقبلية لـ Meta إلى سلبية بسبب الإنفاق الرأسمالي على الذكاء الاصطناعي والتدفق النقدي الحر السالب
- Mistral تنشر الأوزان المفتوحة لنموذج Mistral Large 4 ذي التريليون معامل
- قمر Suncatcher من Google يعيد أول استجابة ذكاء اصطناعي من وحدة TPU بمستوى مراكز البيانات في المدار
- Apple تعلن وصول ميزات Apple Intelligence إلى الصين مع iOS 27.3 باستخدام Qwen من علي بابا في Siri وأدوات الكتابة
- Anthropic تعيد تسمية Claude Max 20x إلى Ultra وتلغي حد الساعات الخمس للحسابات الموثقة
- Google وMicrosoft وOpenAI وAnthropic تدعم إشارة موحدة في robots.txt لرفض استخدام المحتوى في تدريب الذكاء الاصطناعي