OpenAI

OpenAI تكشف عن أكثر من 700 ورقة بحثية في الرياضيات

تواصل OpenAI توسيع استخدام الذكاء الاصطناعي في الرياضيات، بعدما كشفت عن 722 ورقة بحثية ناتجة عن نموذج داخلي لم يتم إطلاقه للعامة، تتضمن مئات النتائج التي تقول الشركة إنها تحل أو تتقدم في مسائل رياضية مفتوحة.

تفاصيل الخبر

تمثل المجموعة الجديدة خطوة لافتة في أبحاث الرياضيات المدعومة بالذكاء الاصطناعي، إذ جمعت OpenAI النتائج في 372 مجموعة بحثية، مع التركيز على مسائل رياضية يصعب حلها بالطرق التقليدية.

  • نشرت OpenAI نتائج 722 ورقة بحثية رياضية أُنجزت باستخدام نموذج داخلي غير متاح للعامة.
  • جرى تنظيم الأوراق في 372 مجموعة من النتائج التي تقول الشركة إنها تتناول مسائل رياضية مفتوحة أو تحقق تقدمًا فيها.
  • من أبرز النتائج المعلنة برهان لما يسمى فرضية ريمان شبه (quasi-Riemann hypothesis)، وهي نسخة أضعف من فرضية ريمان الشهيرة المرتبطة بتوزيع الأعداد الأولية.
  • تتضمن المجموعة 162 ورقة كُتبت نتائجها الرئيسية باستخدام Lean، وهي لغة وأداة تسمح للحاسوب بالتحقق من خطوات البرهان الرياضي.
  • تختلف هذه النتائج عن تجربة سابقة لحل معادلات Navier–Stokes، والتي احتاجت إلى تشغيل نحو 10 آلاف وكيل ذكاء اصطناعي.
  • تقول OpenAI إن معظم النتائج الجديدة احتاجت إلى مطالبة واحدة فقط، بمتوسط نحو 3 ساعات من الحوسبة عبر ChatGPT Pro.
  • أثارت هذه النتائج ردود فعل قوية داخل مجتمع الرياضيات، إذ وصف Levent Alpöge، عالم الرياضيات في Anthropic، التطور بأنه لحظة بالغة الأهمية في تاريخ الرياضيات.
  • في المقابل، أبدى بعض علماء الرياضيات استياءهم من طريقة نشر النتائج وحجمها، خصوصًا مع الحديث عن وعود سابقة بتوزيع الإصدارات على فترات زمنية أطول.
  • تثير المجموعة الجديدة تساؤلات حول مدى قدرة الذكاء الاصطناعي على تسريع البحث الرياضي وتقليل الوقت اللازم للوصول إلى نتائج جديدة.

الأهداف المستقبلية

تسعى OpenAI من خلال هذه الأبحاث إلى اختبار قدرة نماذج الذكاء الاصطناعي على التعامل مع مسائل رياضية متقدمة، ومن أبرز الأهداف المستقبلية:

  • تسريع اكتشاف نتائج وبراهين رياضية جديدة.
  • مساعدة الباحثين في التعامل مع مسائل رياضية مفتوحة ومعقدة.
  • زيادة الاعتماد على أدوات التحقق الآلي مثل Lean لضمان صحة البراهين.
  • تقليل الوقت والحوسبة اللازمة للوصول إلى نتائج رياضية متقدمة.
  • تطوير نماذج قادرة على العمل بصورة أكثر استقلالية في البحث العلمي.
  • توسيع استخدام الذكاء الاصطناعي في مجالات علمية تتجاوز الرياضيات.
  • دراسة العلاقة بين زيادة القدرة الحاسوبية وسرعة تحقيق الاكتشافات العلمية.

توضح نتائج OpenAI الجديدة أن الذكاء الاصطناعي أصبح يدخل بصورة أعمق في البحث الرياضي، مع نشر 722 ورقة بحثية تتضمن مئات النتائج التي تقول الشركة إنها تحقق تقدمًا في مسائل مفتوحة. وبينما ينظر بعض الباحثين إلى هذه التطورات باعتبارها تحولًا مهمًا في طريقة إجراء الأبحاث، تظل الحاجة إلى التحقق المستقل من النتائج ومناقشة منهجية نشرها أمرًا أساسيًا قبل تقييم تأثيرها العلمي على المدى الطويل.

مقالات مشابهة