AlphaProof Code من DeepMind يتحقق رسميًا من النواة التشفيرية لـSignal خلال أربعة أسابيع
تحقق AlphaProof Code من Google DeepMind رياضيًا من الشيفرة التشفيرية الأساسية لـSignal في أربعة أسابيع، وهي مهمة تستغرق عادة سنوات، إذ كتب وكلاء الذكاء الاصطناعي أكثر من ستة ملايين سطر من شيفرة البراهين. وتخطط DeepMind لتطبيق الطريقة على البنية التحتية الحيوية مثل شبكات الكهرباء والأجهزة الطبية.
قد يجعل الذكاء الاصطناعي البرهنة الرسمية على صحة البرمجيات أمرًا عمليًا للأنظمة الحساسة أمنيًا التي يعتمد عليها الناس يوميًا.
يختار aii.news الأخبار من مصادر موثوقة ويلخّصها بمساعدة الذكاء الاصطناعي. كل خبر يرتبط بالتقرير الأصلي. طريقة عملنا.
تابع القراءة
-
تقارير: مجلس إدارة Nvidia يستعد لإقالة الرئيس التنفيذي جنسن هوانغ بعد تقرير عن علاقة ثانية
أفادت تقارير بأن مجلس إدارة Nvidia يستعد لإقالة الرئيس التنفيذي جنسن هوانغ بعد تقرير عن علاقة مزعومة ثانية، هذه المرة مع مسؤولة تنفيذية تتبع له مباشرة. ويأتي ذلك بعد أيام من اعترافه بعلاقة مع امرأة يُزعم أنها جاسوسة صينية.
لماذا يهمّك هذاقد يؤثر تغيير القيادة في الشركة التي توفر معظم رقائق الذكاء الاصطناعي على إمدادات الرقائق والاستثمار في الذكاء الاصطناعي والتوترات التقنية بين الولايات المتحدة والصين.
-
جنسن هوانغ يستقيل من منصب الرئيس التنفيذي لـ Nvidia بعد فضيحتي تجسس وعلاقات غرامية وتعيين المديرة المالية كوليت كريس رئيسة تنفيذية مؤقتة
قبل مجلس إدارة Nvidia استقالة جنسن هوانغ من مناصب الرئيس التنفيذي والرئيس وعضو مجلس الإدارة بأثر فوري، وذلك عقب تقارير عن علاقتين غراميتين، إحداهما مع جاسوسة صينية مزعومة والأخرى مع مسؤولة تنفيذية في Nvidia كانت تتبع له مباشرة. وتتولى المديرة المالية كوليت كريس الآن منصب الرئيسة التنفيذية المؤقتة.
لماذا يهمّك هذاخسرت أهم شركة لرقائق الذكاء الاصطناعي في العالم مؤسسها، ما قد يؤثر على إمدادات أجهزة الذكاء الاصطناعي والأسواق والنقاشات حول الأمن التقني بين الولايات المتحدة والصين.
-
قانون سلامة الذكاء الاصطناعي في نيويورك يدخل حيز التنفيذ ويفرض رقابة إضافية على OpenAI وAnthropic
تستعد نيويورك لتطبيق قانونها الخاص بسلامة الذكاء الاصطناعي، الذي يُلزم كبار مطوري الذكاء الاصطناعي بالتسجيل والإفصاح عن ممارسات السلامة والإبلاغ عن الحوادث الحرجة. وتواجه الشركات غير الملتزمة غرامات.
لماذا يهمّك هذايواجه كبار مطوري الذكاء الاصطناعي الآن قواعد إلزامية على مستوى الولاية للإبلاغ عن السلامة، قد تصبح نموذجًا لولايات قضائية أخرى.
-
غوغل تطلق Gemini 4 Carbon، أقوى نماذجها حتى الآن، مع ميزة "سرب" الوكلاء
بدأت غوغل طرح Gemini 4 Carbon لعامة الجمهور بعد أن أتاحته أولًا لمجموعة مختارة من المدافعين في مجال الأمن السيبراني. وتقول غوغل إنه يتفوق على نموذجها Argon، رغم أن Argon يظل الخيار المقترح لمعظم مهام البرمجة والعمل المعرفي.
لماذا يهمّك هذابات لدى المطورين والمستخدمين نموذج جديد من الفئة العليا من غوغل لمقارنته بأفضل أنظمة Anthropic وOpenAI.
-
Anthropic تطلق Claude Fable 5.2 وMythos 5.2 وتخفض أسعار API بنسبة 20%
قدّمت Anthropic نموذجي Claude Fable 5.2 وMythos 5.2 اللذين يتشاركان نموذجًا أساسيًا واحدًا مع ضمانات مختلفة، ويحققان تحسينات في البرمجة والاستدلال والرؤية. ويتوفر Fable على نطاق واسع، بينما يقتصر Mythos على مجموعات خاضعة للتدقيق في مجالي الأمن السيبراني وعلوم الحياة، وتبلغ تكلفة كليهما الآن $8 لكل مليون رمز إدخال و$40 لكل مليون رمز إخراج.
لماذا يهمّك هذايحصل المطورون على نموذج برمجة أقوى بسعر أقل، ويُظهر الإطلاق المزدوج كيف تقيّد المختبرات الوصول إلى أقوى النماذج في الاستخدامات الحساسة.
