‏🚀 شکست الگوریتم دایکسترا توسط هوش مصنوعی

‏الگوریتم دایکسترا برای بیش از ۶۵ سال به عنوان استاندارد طلایی در یافتن کوتاه‌ترین مسیر در گراف‌ها شناخته می‌شد. اما حالا تیمی از ایجنت‌های هوش مصنوعی توانسته‌اند این رکورد را جابه‌جا کنند.

‏پروژه Vals AI با به‌کارگیری ۱۰ ایجنت Opus 5.5 و ایجاد بستری برای همکاری آن‌ها، موفق شد در عرض ۱۵ ساعت به الگوریتم جدیدی به نام C-HD دست یابد. این الگوریتم در گراف‌های «تُنک» (Sparse)، یعنی جایی که دایکسترا همچنان پیشتاز بود، عملکرد بهتری از نظر تئوری ارائه می‌دهد.

‏مهم‌ترین نکات درباره این دستاورد:
‏• دستیابی به پیچیدگی زمانی بهبودیافته نسبت به دایکسترا در گراف‌های خاص.
‏• تایید و وریفای رسمی الگوریتم توسط ایجنت‌ها در محیط Lean.
‏• برتری آسنپتوتیک الگوریتم C-HD که با بزرگ‌تر شدن اندازه گراف، کارایی آن افزایش می‌یابد.

‏البته باید توجه داشت که این یک پیشرفت در سطح تئوری است.

شکست الگوریتم دایکسترا: دستیابی هوش مصنوعی به روشی نوین برای کوتاه‌ترین مسیر