TECHNOLOGY

وصل الذكاء الاصطناعي لأبحاث الرياضيات

PUBLISHED Oct 8, 2026, 3:32 PM ET

Read, Watch or Listen

Media Bias Meter

Sources: 29

Left 14%

Center 76%

Right 10%

Sources: 29

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

By Noormahi M. | JQJO News

Timeline of Events

في 15 يناير 2023 بدأ باحثو OpenAI في تطوير نماذج الاستدلال المتقدم.
في 10 يونيو 2024 بدأت الاختبارات الداخلية لنماذج توليد الرياضيات.
في 20 سبتمبر 2025 تم إنشاء براهين أولية لفرضية شبه ريمان.
في 5 نوفمبر 2025 بدأ التحقق من براهين حدسية الألعاب الفريدة.
في 12 يناير 2026 تم الانتهاء من دمج مثبت النظريات الحاسوبي Lean.
في 18 فبراير 2026 تم توثيق الاختراقات في حد ضرب المصفوفات بالكامل.
في 1 مارس 2026 بدأت الاستعدادات للمستودع للنشر على GitHub.
في 10 مارس 2026 نشرت OpenAI رسميًا 722 ورقة بحثية.
في 11 مارس 2026 بدأت المؤسسات الأكاديمية في التحقق المستقل من البراهين.
في 9 أكتوبر 2026 يواصل المجتمع العلمي الأوسع تقييم الاكتشافات الآلية.
من المتوقع خلال الأشهر القادمة أن يقوم الباحثون بمراجعة جميع الأوراق التي تم إنشاؤها.
من المتوقع خلال العام المقبل أن تتحسن مساعدات إثبات النظريات الآلية بشكل كبير.

News Intelligence

التأثير الفوري للولايات المتحدة: يسرّع جداول البحث الحسابي عبر المؤسسات الأكاديمية الرئيسية في الولايات المتحدة.
التأثير المحتمل طويل المدى للولايات المتحدة: يغير المنهجية الأساسية للاكتشاف الرياضي المعقد على مستوى البلاد.
المجموعات الأكثر تأثرًا: جامعات البحث في الولايات المتحدة، وشركات التكنولوجيا، وأقسام الرياضيات.
أولوية القارئ: إعطاء الأولوية لمستودعات GitHub الرئيسية وتحليلات التحقق الرسمية للمؤسسات.

Media Bias

Articles Published:: 29
Right Leaning:: 3
Left Leaning:: 4
Neutral:: 22
Distribution:: Left 14%, Center 76%, Right 10%

Explain Framing

اليسار: تم تسليط الضوء على الاضطرابات الأكاديمية المحتملة والحاجة إلى الرقابة. الوسط: تم الإبلاغ عن تفاصيل واقعية تتعلق بإصدار مستودع GitHub. اليمين: تم التأكيد على المنافسة التكنولوجية وتداعيات الابتكار التجاري.