وأطلق المعهد مجموعة كبيرة من البحوث الرياضية التي ينتجها نموذج داخلي للمبادرة، بما في ذلك العمل بشأن المشاكل التي تحدى الرياضيين المهنيين لسنوات.
The company announced the release on October 6, saying the results cover a broad range of mathematics and are being published openly for scrutiny by researchers.
المجموعة العامة تحتوي على 722 مخطوطة مُنظمة إلى 372 عائلة ذات نتائج ذات صلة، وفقاً لجماعة المطورين وقد انبثق العمل من تقييم ينطوي على زهاء 000 4 مشكلة رياضية.
The Verge reports that the collection spans hundreds of mathematical results generated by an unreleased border model. ولكن النشر لا يعني أن كل مطالبة ينبغي أن تعامل على الفور على أنها حقيقة رياضية ثابتة. وسيحتاج الباحثون إلى فحص الأدلة وتحديد أهمية ورواية النتائج الفردية.
وتتمثل إحدى السمات الهامة بوجه خاص في أن المعهد قد قدم إضفاء الطابع الرسمي على العديد من الأدلة باستخدام لغة ليان، وهي لغة برمجة تتيح فحص الأدلة الرياضية بواسطة الحاسوب. تقول الشركة أنه سيتم إضافة إجراءات رسمية إضافية عبر الزمن
وكشفت منظمة " فتح آي " أيضاً عن مقياس مذهل للحوسبة المعنية. وفي المتوسط، تتطلب كل نتيجة حسابا يعادل ثلاث ساعات تقريبا من طراز ChatGPT محترف التفكير باستخدام النموذج الداخلي.
الإفراج يتّبع إدعاءات مأساوية متزايدة حول قدرة (آي) على المساهمة في الرياضيات In September, OpenAI said the same broader research effort had resolved more than 100 longstanding open problems, prompting the company to work with an independent group of prominent mathematicians on how such discoveries should be reviewed and reported.
ويشمل هذا الفريق الاستشاري الرياضيين من مؤسسات من بينها ستانفورد وهارفارد وأكسفورد وكامبريدج وبيركلي ومعهد الدراسات المتقدمة. دوره ليس فقط لتأييد عمل "إف بي آي" ولكن لإسداء المشورة بشكل مستقل بشأن الأهمية ومعايير البحث والإفصاح المسؤول
والسؤال الأكبر الآن يتجاوز ما إذا كان بإمكاني الإجابة عن أسئلة رياضيات صعبة.
وإذا تحقق الرياضيون المستقلون في نهاية المطاف من أجزاء هامة من هذا العمل، فإن الحدود الجديدة قد تتمثل في ما إذا كان بإمكان منظمة العفو الدولية أن تكتشف روتينيا الرياضيات التي لا يعرفها البشر بالفعل.