أوبن أيه آي تنشر نتائج نماذجها في حل معضلات علمية
أعلنت أوبن إيه آي ثلاثة اكتشافات تقول إن نماذجها توصلت إليها في الرياضيات وعلوم الحاسوب والفيزياء. وفي الرياضيات، تقول الشركة إن النماذج أثبتت حدسية التنعيم الموضعي في جميع الأبعاد، ونشرت برهانًا بلغة طبيعية وآخر بصيغة Lean. أما في علوم الحاسوب، فقد أثبت النظام خطأ فرضية الزمن الأسي، وتحقق البرهان بصيغة Lean؛ وقد يفتح ذلك أسئلة جديدة عن تسريع مسائل حاسوبية. وتؤجل المجموعة المتعاونة في الفيزياء نشر مخرجات الذكاء الاصطناعي، بينما أُتيح فورًا برهان نتيجة علوم الحاسوب وصيغتها الرسمية.
الحقائق الأساسية
تقول أوبن إيه آي إن برهان نماذجها لحدسية التنعيم الموضعي يمتد إلى جميع الأبعاد، ويترتب عليه حل حدسيتي كاكايا وشتاين للتقييد فيها أيضًا.
«Our models produced a proof of the local smoothing conjecture in every dimension and therefore also resolve the Kakeya conjecture and Stein’s restriction conjecture in all dimensions.»
عرض المصدر ←أثبت نظام أوبن إيه آي خطأ فرضية الزمن الأسي، ثم جرى التحقق من النتيجة بصيغة Lean.
«Surprisingly, our system has recently proved that the ETH is false, a result that was subsequently verified in Lean.»
عرض المصدر ←قررت مجموعة علوم الحاسوب نشر البرهان بلغة طبيعية وصيغته الرسمية بصيغة Lean فورًا، فيما اختارت مجموعة الفيزياء تأجيل نشر مخرجات الذكاء الاصطناعي.
«For the computer science collaboration, the group has decided to make the natural language proof and Lean formalization public immediately, and we are publishing them directly to our GitHub repository. For the physics collaboration, the group has decided to hold off on releasing the AI-produced artifacts and instead work on writing it up themselves.»
عرض المصدر ←
المصادر
شفت معلومة تحتاج تصحيح؟ بلّغنا ونتحقق ونصحّح — سياسة التصحيح
صحّح هذا الخبر