‏اثبات حدس ریاضی KLS با کمک هوش مصنوعی

‏محققان مایکروسافت به همراه همکاران خود موفق به حل حدس KLS شدند؛ مسئله‌ای در هندسه و احتمالات که از سال ۱۹۹۵ تاکنون حل‌نشده باقی مانده بود. این حدس بیان می‌کند که برای توزیع‌های احتمالی با ابعاد بالا، بهترین برشِ «تخت» (صفحه) حداکثر با یک ثابت جهانی از بهترین برش با هر شکل دلخواه متفاوت است.

‏در این پژوهش، مدل‌های هوش مصنوعی با بررسی بیش از ۱۰۰ رویکرد مختلف، به محققان در انجام محاسبات و اعتبارسنجی استدلال‌ها کمک کردند. بر اساس گزارش مایکروسافت، تلاش برای حل این مسئله بدون هدایت انسانی و با همان بودجه پردازشی، به نتیجه نرسیده بود.

‏این دستاورد با چند روش مکمل تأیید شده است که مهم‌ترین آن‌ها عبارتند از:
‏* انتشار اثبات‌های مستقل و موازی توسط گروه‌های دیگر.
‏* فرمالیزه‌سازی و تأیید محاسباتی بخشی از اثبات با استفاده از Lean 4.

‏این هم‌افزایی میان روش‌های سنتی ریاضی و ابزارهای هوش مصنوعی، مبانی نظری جدیدی برای الگوریتم‌های نمونه‌برداری و بهینه‌سازی فراهم کرده است.

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما

#KLS_conjecture #Lean_4