نحن ننشر مجموعة واسعة من النتائج الرياضية الجديدة التي أنتجها نموذج حدودي داخلي. لقد كنا نستشير المجموعة الاستشارية المستقلة للرياضيات والذكاء الاصطناعي في Institute for Advanced Study لتطوير أفضل الممارسات. لهذا الإصدار، ننشر النتائج في مستودع Git Hub، مع بروتوكولات لمراجعات الأوراق والاستشهادات.
نحن نشارك صياغات رسمية للعديد من البراهين في Lean، وهي لغة برمجة تسمح بفحص البراهين الرياضية بواسطة الكمبيوتر. ننشر أيضًا 10 ملخصات لاستدلال النموذج وتقديرات الحوسبة المنفقة. استخدمت النتيجة المتوسطة ما يعادل حوالي ثلاث ساعات من تفكير Chat GPT Pro.
نريد لهذا التقدم أن يدفع حدود المعرفة البشرية. سنقوم بتمويل سلسلة من ورش العمل والمؤتمرات والبرامج الخاصة حول فهم النتائج الرئيسية التي ينتجها الذكاء الاصطناعي. نحن نعمل على إصدار النموذج الذي أنتج هذه النتائج بشكل مسؤول وسنواصل العمل بناءً على ملاحظات المجتمع.
المصدر: Hacker News · لخّصه HeadlinesBriefing