🔺 شگفتی ریاضیات و هوش مصنوعی: کشف متقارن‌ترین و پیچیده‌ترین نمودارهای ون تاریخ

🔹 همه ما از دوران مدرسه با «نمودارهای ون» آشنا هستیم؛ دو یا سه دایره هم‌پوشان که برای نشان دادن اشتراک و تفریق میان مجموعه‌ها رسم می‌شوند. اما در دنیای ریاضیات گسسته، طراحی این نمودارها با تقارن چرخشی برای تعداد بالاتری از مجموعه‌ها، چالشی دیرینه بوده است. اکنون یک مهندس نرم‌افزار با هدایت هوش مصنوعی و رایانش ابری، موفق به کشف نمودارهای ون متقارنی با ۱۷ و ۱۹ منحنی شده است؛ سازه‌هایی شبیه به توری‌های ظریف گیپور که تقارن و پیچیدگی خیره‌کننده‌ای دارند.

❕ چرا رسم این نمودارها یک شاهکار ریاضی محسوب می‌شود؟
یک نمودار ون باید تمام حالت‌های ممکن هم‌پوشانی را نشان دهد؛ یعنی برای ۱۹ مجموعه، صفحه باید به ۲ به توان ۱۹ (بیش از ۵۲۴ هزار) ناحیه کاملاً مجزا و مرتبط تقسیم شود. همچنین در ریاضیات اثبات شده که چنین نمودارهایی تنها زمانی تقارن چرخشی کامل پیدا می‌کنند که تعداد مجموعه‌ها یک «عدد اول» باشد. علاوه بر این، نمودارهای جدید «ساده» هستند، یعنی در هیچ نقطه‌ای بیش از دو منحنی با یکدیگر تقاطع ندارند. پیش از این، رکورد بزرگ‌ترین نمودار ون متقارن و ساده به سال ۲۰۱۴ و عدد ۱۳ محدود شده بود و حل مراتب بالاتر به دلیل پیچیدگی سرسام‌آور هندسی غیرممکن به نظر می‌رسید.

🔹 کریس دزوبا، توسعه‌دهنده‌ای که این کشف را انجام داده، ریاضی‌دان حرفه‌ای نیست. او با ایجاد بستری برای همکاری دو مدل هوش مصنوعی پیشرفته، از آن‌ها خواست الگوریتمی برای پیمایش فضاهای هندسی پیچیده طراحی کنند. این مدل‌ها الگوریتمی نوآورانه برای گشت تصادفی روی کره‌های چهارگوش‌بندی‌شده توسعه دادند که در نهایت به کشف ۴ نمودار با ۱۷ منحنی و ۹ نمودار با ۱۹ منحنی منجر شد.

❕ مهار توهم هوش مصنوعی با اثبات صوری در Lean 4
بزرگ‌ترین چالش در به‌کارگیری هوش مصنوعی در علوم پایه، خطر خطا و توهم الگوریتم است. برای اطمینان از اینکه خطوط پیچیده این نمودارها با یکدیگر تداخل نکرده و تمام نیم‌میلیون ناحیه به درستی تشکیل شده‌اند، پژوهشگران نتایج را وارد نرم‌افزار «لین ۴» (Lean 4) کردند؛ یک سیستم فوق‌العاده سخت‌گیر اثبات قضیه در علوم کامپیوتر که استدلال‌های ریاضی را به صورت نمادین و بدون کوچک‌ترین خطا ارزیابی می‌کند. با تأیید این سیستم، صحت ریاضی این نمودارها به طور قطعی اثبات شد.

🔹 این دستاورد نه تنها از نظر بصری یکی از زیباترین جلوه‌های پیوند ریاضیات و هنر رایانه‌ای به شمار می‌رود، بلکه الگویی الهام‌بخش از توانمندی پژوهشگران آزاد در عصر هوش مصنوعی است؛ جایی که ترکیب الگوریتم‌های زایشی با ابزارهای راستی‌آزمایی دقیق، مرزهای دیرپای دانش نظری را به جلو می‌راند.

[منبع]
🆔 @Science_Focus
#ریاضیات #هوش_مصنوعی #نمودار_ون #هندسه #ترکیبیات #هنر_محاسباتی