AI بالعربي – متابعات
أعلنت شركة “OpenAI” أن أحد نماذجها الجديدة المتخصصة في الاستدلال المنطقي نجح في إنتاج برهان رياضي أصلي، يدحض فرضية هندسية شهيرة بقيت دون حل منذ عام 1946.
وترتبط الفرضية بعالم الرياضيات المجري بول إيردوس، أحد أبرز الأسماء في تاريخ الرياضيات الحديثة.
ويأتي الإعلان بعد جدل سابق حول ادعاءات مشابهة، قالت فيها الشركة إن نموذجًا سابقًا حقق تقدمًا في مسائل رياضية غير محلولة.
“OpenAI” تؤكد اختلاف الإنجاز الجديد
قالت “OpenAI” إن الإعلان الحالي يختلف عن واقعة سابقة، أثارت انتقادات واسعة داخل الأوساط العلمية والتقنية.
فقبل عدة أشهر، ذكر كيفن وايل، نائب الرئيس السابق في “OpenAI”، أن نموذج “GPT-5” حل 10 مسائل غير محلولة من مسائل إيردوس.
كما قال إن النموذج أحرز تقدمًا في 11 مسألة أخرى.
لكن مراجعات لاحقة أوضحت أن النموذج لم يقدم حلولًا جديدة.
بل أعاد إنتاج حلول منشورة سابقًا في الأدبيات الرياضية.
تقييمات مستقلة من علماء رياضيات
أوضحت “OpenAI” أنها دعمت الإعلان الجديد بتقييمات مستقلة من علماء رياضيات بارزين.
وشملت التقييمات أسماء مثل Noga Alon وMelanie Wood وThomas Bloom.
وكان توماس بلوم قد انتقد سابقًا تصريحات وايل، ووصفها بأنها تحمل مبالغة واضحة.
وترى الشركة أن وجود مراجعات مستقلة يمنح الإعلان الجديد وزنًا علميًا أكبر من الادعاءات السابقة.
فرضية هندسية من عام 1946
تقول “OpenAI” إن المسألة تعود إلى فرضية هندسية طرحها بول إيردوس عام 1946.
واعتقد علماء الرياضيات طوال نحو 80 عامًا أن أفضل الحلول الممكنة تشبه الشبكات المربعة تقريبًا.
لكن النموذج الجديد توصل إلى عائلة جديدة من التركيبات الرياضية.
وتحقق هذه التركيبات نتائج أفضل من التصورات التقليدية التي اعتمد عليها الباحثون لعقود طويلة.
نموذج استدلال عام وليس أداة متخصصة
أكدت “OpenAI” أن البرهان لم يأت من نظام صُمم خصيصًا لحل المسألة.
وقالت إن النموذج المستخدم هو نموذج استدلال عام جديد.
ويعني ذلك أن النموذج لم يعتمد فقط على قواعد مهيأة لمشكلة رياضية محددة.
بل استطاع التعامل مع سلسلة طويلة ومعقدة من خطوات التفكير.
لماذا يعد هذا الإعلان مهمًا؟
ترى “OpenAI” أن أهمية الإنجاز لا تتوقف عند حل مسألة رياضية فقط.
بل تكمن في قدرة الذكاء الاصطناعي على ربط أفكار من تخصصات مختلفة.
كما تكشف عن تحسن قدرة النماذج على التفكير المنطقي طويل المدى.
وقد تؤثر هذه القدرات في مجالات مثل الأحياء والفيزياء والهندسة والطب.
جدل مستمر حول دور الذكاء الاصطناعي في العلم
يفتح الإعلان الجديد بابًا واسعًا للنقاش حول دور الذكاء الاصطناعي في البحث العلمي.
فبينما يرى مؤيدون أن هذه النماذج قد تساعد العلماء على اكتشاف حلول غير متوقعة، يحذر آخرون من المبالغة في تقييم قدراتها.
ويظل التحقق العلمي المستقل شرطًا أساسيًا لتأكيد أي إنجاز في الرياضيات.
فالبرهان الرياضي لا يكتسب قيمته إلا بعد مراجعته بدقة من متخصصين.
توماس بلوم يعلق على الإنجاز
قال عالم الرياضيات توماس بلوم إن الذكاء الاصطناعي يساعد الباحثين على استكشاف الرياضيات بصورة أعمق.
وأضاف أن صرح الرياضيات الذي بناه العلماء عبر قرون ربما لا يزال يخفي عجائب غير مكتشفة.
ويعكس هذا التصريح اتجاهًا متزايدًا نحو استخدام الذكاء الاصطناعي كأداة مساعدة للبحث، لا كبديل عن العلماء.
AI بالعربي – متابعات
أعلنت شركة “OpenAI” أن أحد نماذجها الجديدة المتخصصة في الاستدلال المنطقي نجح في إنتاج برهان رياضي أصلي، يدحض فرضية هندسية شهيرة بقيت دون حل منذ عام 1946.
وترتبط الفرضية بعالم الرياضيات المجري بول إيردوس، أحد أبرز الأسماء في تاريخ الرياضيات الحديثة.
ويأتي الإعلان بعد جدل سابق حول ادعاءات مشابهة، قالت فيها الشركة إن نموذجًا سابقًا حقق تقدمًا في مسائل رياضية غير محلولة.
“OpenAI” تؤكد اختلاف الإنجاز الجديد
قالت “OpenAI” إن الإعلان الحالي يختلف عن واقعة سابقة، أثارت انتقادات واسعة داخل الأوساط العلمية والتقنية.
فقبل عدة أشهر، ذكر كيفن وايل، نائب الرئيس السابق في “OpenAI”، أن نموذج “GPT-5” حل 10 مسائل غير محلولة من مسائل إيردوس.
كما قال إن النموذج أحرز تقدمًا في 11 مسألة أخرى.
لكن مراجعات لاحقة أوضحت أن النموذج لم يقدم حلولًا جديدة.
بل أعاد إنتاج حلول منشورة سابقًا في الأدبيات الرياضية.
تقييمات مستقلة من علماء رياضيات
أوضحت “OpenAI” أنها دعمت الإعلان الجديد بتقييمات مستقلة من علماء رياضيات بارزين.
وشملت التقييمات أسماء مثل Noga Alon وMelanie Wood وThomas Bloom.
وكان توماس بلوم قد انتقد سابقًا تصريحات وايل، ووصفها بأنها تحمل مبالغة واضحة.
وترى الشركة أن وجود مراجعات مستقلة يمنح الإعلان الجديد وزنًا علميًا أكبر من الادعاءات السابقة.
فرضية هندسية من عام 1946
تقول “OpenAI” إن المسألة تعود إلى فرضية هندسية طرحها بول إيردوس عام 1946.
واعتقد علماء الرياضيات طوال نحو 80 عامًا أن أفضل الحلول الممكنة تشبه الشبكات المربعة تقريبًا.
لكن النموذج الجديد توصل إلى عائلة جديدة من التركيبات الرياضية.
وتحقق هذه التركيبات نتائج أفضل من التصورات التقليدية التي اعتمد عليها الباحثون لعقود طويلة.
نموذج استدلال عام وليس أداة متخصصة
أكدت “OpenAI” أن البرهان لم يأت من نظام صُمم خصيصًا لحل المسألة.
وقالت إن النموذج المستخدم هو نموذج استدلال عام جديد.
ويعني ذلك أن النموذج لم يعتمد فقط على قواعد مهيأة لمشكلة رياضية محددة.
بل استطاع التعامل مع سلسلة طويلة ومعقدة من خطوات التفكير.
لماذا يعد هذا الإعلان مهمًا؟
ترى “OpenAI” أن أهمية الإنجاز لا تتوقف عند حل مسألة رياضية فقط.
بل تكمن في قدرة الذكاء الاصطناعي على ربط أفكار من تخصصات مختلفة.
كما تكشف عن تحسن قدرة النماذج على التفكير المنطقي طويل المدى.
وقد تؤثر هذه القدرات في مجالات مثل الأحياء والفيزياء والهندسة والطب.
جدل مستمر حول دور الذكاء الاصطناعي في العلم
يفتح الإعلان الجديد بابًا واسعًا للنقاش حول دور الذكاء الاصطناعي في البحث العلمي.
فبينما يرى مؤيدون أن هذه النماذج قد تساعد العلماء على اكتشاف حلول غير متوقعة، يحذر آخرون من المبالغة في تقييم قدراتها.
ويظل التحقق العلمي المستقل شرطًا أساسيًا لتأكيد أي إنجاز في الرياضيات.
فالبرهان الرياضي لا يكتسب قيمته إلا بعد مراجعته بدقة من متخصصين.
توماس بلوم يعلق على الإنجاز
قال عالم الرياضيات توماس بلوم إن الذكاء الاصطناعي يساعد الباحثين على استكشاف الرياضيات بصورة أعمق.
وأضاف أن صرح الرياضيات الذي بناه العلماء عبر قرون ربما لا يزال يخفي عجائب غير مكتشفة.
ويعكس هذا التصريح اتجاهًا متزايدًا نحو استخدام الذكاء الاصطناعي كأداة مساعدة للبحث، لا كبديل عن العلماء.
