حقّق نموذج استدلال من OpenAI، دون تدريب خاص في الرياضيات، تقدماً كبيراً في الهندسة التوافقية. لأول مرة منذ ثمانية عقود، تم إثبات وجود عائلة لا نهائية من التكوينات التي تحتوي على الأقل n^(1+δ) زوجاً على مسافة وحدة، مما يدحض حدسية كانت توجه البحث منذ أربعينيات القرن العشرين.
كيف وجد الذكاء الاصطناعي ما فات البشر 🧠
استكشف النموذج مجموعات من النقاط في فضاءات عالية الأبعاد اعتبرها علماء الرياضيات غير منتجة. بتطبيق أنماط بحث غير خاضعة للإشراف، حدد هياكل تولد نمواً متعدد الحدود للأزواج الوحدوية، مع δ ثابت أكبر من الصفر. لا تبطل النتيجة الحدسية السابقة فحسب، بل تفتح طريقاً لبناء أمثلة ملموسة، وهو ما لم تحققه الطرق التقليدية منذ عام 1946.
علماء الرياضيات، الذكاء الاصطناعي سبقكم (دون عناء) 😅
بينما كان البشر يتجادلون حول ما إذا كان الحد هو n^(1+ε) مع ε يقترب من الصفر، جاء الذكاء الاصطناعي وقال: انظروا، أترك لكم δ ثابتاً وعائلة لا نهائية على الطاولة. المضحك أن النموذج ليس عبقرياً في الرياضيات، بل مجرد حلّال للأغراض العامة. الآن على علماء الرياضيات أن يشرحوا لماذا لم يخطر ببالهم ذلك من قبل، أو على الأقل يتظاهروا بأنهم كانوا على وشك اكتشافه.