الذكاء الاصطناعي٧ أكتوبر ٢٠٢٦
OpenAI تنشر 372 برهانًا رياضيًا مولدًا بالذكاء الاصطناعي
نشرت OpenAI على GitHub مجموعة تضم ٣٧٢ نتيجة رياضية أنتجها نموذج ذكاء اصطناعي داخلي، وتقول إن كل نتيجة تحل مسألة مفتوحة أو تدفع العمل نحو حلها. تشمل المجموعة تحسينات لخوارزميات حاسوبية ونتائج مرتبطة بفرضية ريمان، فيما أُرفق عدد من البراهين بصيغ يمكن التحقق منها آليًا بلغة Lean. وبلغ متوسط الحوسبة لكل نتيجة نحو ٣ ساعات من قدرة ChatGPT Pro Thinking.
الحقائق الأساسية
تضم المجموعة ٣٧٢ نتيجة رياضية جديدة مولّدة بنموذج داخلي.
«OpenAI has published 372 new mathematical results generated by an internal frontier model.»
عرض المصدر ←استغرق إنتاج كل نتيجة نحو ٣ ساعات من الحوسبة في المتوسط.
«On average, each result consumed roughly three hours' worth of ChatGPT Pro Thinking compute.»
عرض المصدر ←يمكن التحقق آليًا من كثير من البراهين المكتوبة بصيغ بلغة Lean.
«Many of the proofs come with formalizations in Lean, a programming language built for machine-checkable mathematical proofs.»
عرض المصدر ←
المصادر
شفت معلومة تحتاج تصحيح؟ بلّغنا ونتحقق ونصحّح — سياسة التصحيح
صحّح هذا الخبر