الذكاء الاصطناعي ومشكلات العالم الصعبة ─ الرياضيات

الذكاء الاصطناعي يقترب من حل فرضية ريمان، إحدى أصعب مسائل الرياضيات

العنوان الأصلي: AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems

اقرأ المصدر الأصلي ↗🔗 مشاركة الرابط

OpenAI تنشر 700 ورقة أولية في الرياضيات على الإنترنت: الرياضيون في حالة غضب

العنوان الأصلي: OpenAI posts 700 maths preprints online: mathematicians are up in arms

استخدمت OpenAI نموذجًا غير مُطلق على مئات المسائل الرياضية البارزة، ونشرت أكثر من 700 ورقة أولية مولّدة بالذكاء الاصطناعي على GitHub في 6 October. رحّب بعض الرياضيين بحلول مسائل قائمة منذ زمن طويل، بينما اشتكى آخرون على وسائل التواصل الاجتماعي من سبقهم إلى النتائج. ووصف أحد الرياضيين هذا الفيض بأنه "slopocalypse"، رغم أن المحتوى قد يثبت مع ذلك صحته من الناحية الصورية.

اقرأ المصدر الأصلي ↗🔗 مشاركة الرابط

حسّن Claude حدًا أدنى قائمًا منذ زمن طويل لنسبة أصفار دالة زيتا لريمان التي تحقق فرضية ريمان

العنوان الأصلي: Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis

تنص فرضية ريمان، وهي مسألة لم تُحل بعد، على أن أصفار دالة زيتا لريمان تقع جميعها على خط رأسي معيّن. وأثناء محاولة حل المسألة، لم يتمكن إصدار بحثي غير منشور من Claude من إثباتها، لكنه حسّن حدًّا أدنى قائمًا منذ زمن طويل لنسبة الأصفار التي تحقق هذه الخاصية، فرفعه من 41.6% إلى 67.2%. وقد تحقق رياضيان من Anthropic من صحة الورقة وكتبا مذكرة خبراء غير رسمية، كما أنتج Claude برهانًا قابلًا للتحقق الصوري. ولا يُتوقع أن تؤدي هذه النتيجة إلى إثبات الفرضية نفسها.

اقرأ المصدر الأصلي ↗🔗 مشاركة الرابط