تجربة للتحقق الشكلي في 123 مكتبة مفتوحة المصدر باستخدام Claude
يفيد الباحثون بأنهم استخدموا Claude لإنتاج براهين شكلية لشيفرة آلة RISC-V تخص 239 نقطة إدخال للاختبار في 123 مكتبة مفتوحة المصدر ضمن Google OSS-Fuzz. وتثبت البراهين عدم التعطل لمدخلات أصغر من 64 ميغابايت، وفق افتراضات محددة؛ لكنها لا تثبت غياب جميع الأخطاء.
يقول الباحثون إنهم أظهروا، عبر تجربة على 123 مكتبة، قدرة Claude على توسيع نطاق التحقق الشكلي للبرمجيات مفتوحة المصدر.
02الشركات
OpenAI تبحث جمع 30 مليار دولار بتقييم 1.25 تريليون دولار
ذكرت CNBC أن OpenAI تجري محادثات للحصول على استثمارات تصل إلى 30 مليار دولار، على أساس تقييم مسبق للاستثمار قدره 1.25 تريليون دولار. ولم تُحسم الشروط بعد؛ وقد يرتبط الاستثمار الإماراتي بتأمين الشركة قدرة أكبر على إبرام الصفقات في المنطقة.
تبحث OpenAI جمع تمويل يصل إلى 30 مليار دولار في جولة يقودها مستثمرون من Coatue والإمارات.
03السياسات والقانون
Meta تؤجل شروط العمل بعد اعتراض الناشرين
أرجأت Meta سريان شروط العمل الجديدة من 30 أكتوبر إلى 20 نوفمبر، عقب اعتراض الناشرين. وقال متحدث باسم الشركة إن التأجيل يتيح وقتاً لشرح التغييرات وكيفية استخدام برامج زحف الويب؛ وأضافت Meta أن أصحاب المحتوى يستطيعون تحديد تفضيلاتهم عبر robots.txt. ويرى خبراء قانونيون أن حذف كلمة «التدريب» من الشروط لا يستبعد فهرسة المحتوى لتدريب الذكاء الاصطناعي.
أرجأت Meta إلى 20 نوفمبر سريان شروط عمل أثارت مخاوف من السماح بفهرسة المواقع الإخبارية لتدريب الذكاء الاصطناعي.
04النماذج
Canva تكشف Craft، نموذجاً يخطط للتصميم قبل توليد الصور
يعتمد Canva Craft نهجاً من مرحلتين: يخطط لعناصر التصميم أولاً، ثم يولّد الصورة. وتقول الشركة إن هذا النهج يهدف إلى تحسين الدقة في الصور المعقدة التي تتطلب نصاً مقروءاً وتحديداً دقيقاً لمواضع العناصر. يدعم النموذج دقة 2K وأكثر من 30 نسبة أبعاد، ويحتل المركز الرابع في تصنيف Design Arena الجماهيري.
أطلقت Canva نموذج الصور بالذكاء الاصطناعي Craft، الذي يخطط لعناصر التصميم أولاً ثم يولّد الصورة.
05المصادر المفتوحة
Berget AI تنشر منهجية مفتوحة لحساب الكربون لكل طلب
نشرت Berget AI منهجية مفتوحة المصدر لحساب انبعاثات الكربون لكل طلب. وتحسب الشركة انبعاثات طلب Kimi K3 نفسه، على الأجهزة ذاتها، بنحو 0.4 غرام من CO₂ في السويد و3.2 غرام في تكساس. وتعتمد المنهجية متوسط انبعاثات شبكة الكهرباء، ولا تشمل آثار تصنيع الرقائق على المياه والطاقة.
وفق حسابات Berget AI، يطلق طلب Kimi K3 نفسه 0.4 غرام من CO₂ في السويد و3.2 غرام في تكساس.
06النماذج
ThinkingCap تقلل رموز التفكير في Gemma-4 بمتوسط 38.9%
أفادت Bottlecap AI بأن إصدار ThinkingCap المشتق من نموذج Google Gemma-4-26B-A4B-it خفّض رموز التفكير بمتوسط 38.9% عبر 12 اختباراً معيارياً. وقاست الشركة تراجعاً متوسطاً في الدقة قدره 0.15 نقطة مئوية؛ وأُجريت التقييمات ضمن بيئة الاختبار الخاصة بها.
أفادت Bottlecap AI بأن ThinkingCap، المبني على Gemma-4-26B-A4B-it، خفّض رموز التفكير 38.9% في المتوسط عبر 12 اختباراً معيارياً، مع تراجع متوسط الدقة 0.15 نقطة مئوية.
موجز التقنية اليومي، كل صباح بالعربية. مجانًا. يمكنك إلغاء الاشتراك في أي وقت.
المصادر واضحة.
تُختار الأخبار من Hacker News، وتُستخدم تقنيات الذكاء الاصطناعي لتلخيص النصوص الأصلية المتاحة وترجمتها. قد تتضمن الملخصات أخطاء؛ راجع المصدر أسفل كل خبر للتفاصيل. يبدأ إعداد العدد يوميًا الساعة 06:55 بتوقيت تركيا (UTC+3)، بهدف نشره قبل 07:00.
يشمل هذا العدد المقالات التي نُشرت على Hacker News في التاريخ الموضح أعلاه.
متوفر الآن على App Store لأجهزة iPhone
ملخّصك اليومي. الآن في جيبك.
اقرأ أو استمع إلى عدد جديد كل صباح مع Kısa على iPhone، واحفظ الأخبار لوقت لاحق وحافظ على سلسلتك.