AI اور دنیا کے مشکل مسائل · ریاضی · Microsoft Research · 2026-10-21

ریاضی کے 31 سال پرانے عظیم چیلنج کا حل – KLS مفروضہ

اصل عنوان: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture

محققین نے کنن–لوواش–سیمونووٹس (KLS) مسلئہ اثباتی حل کر لیا، جو 1995 میں پیش کیا گیا تھا اور جسے وسیع پیمانے پر اعلیٰ ابعادی جیومیٹری کے مرکزی غیر حل شدہ سوالات میں سے ایک سمجھا جاتا تھا۔ یہ ثبوت ایک انسانی رہنمائی والے ایجنٹک عمل سے سامنے آیا، جس میں AI نظاموں نے ریاضیاتی امکانات دریافت کیے جبکہ محققین نے تلاش کا جائزہ لیا، اسے چھانٹا اور نئی سمت دی۔ یہ نتیجہ قائم کرتا ہے کہ سادہ فلیٹ کٹس لاگ-کنکیو تقسیمات کے تنگ ترین بوتل نیکس کو طول و عرض سے قطع نظر ایک مقررہ فیکٹر کے اندر ہی پکڑ لیتی ہیں، اور اس کی تصدیق آزاد محققین نے کی، جس کے بعد مشین سے تصدیق شدہ فارمل ویریفیکیشن کی گئی۔

اصل تحریر پڑھیں ↗

تمام آئٹمز →