هوش مصنوعی OpenAI مسئله فاصله واحد را پس از یک قرن حل کرد و حدس اردوش را ابطال نمود

حل مسئله فاصله واحد توسط هوش مصنوعی OpenAI؛ زلزله‌ای در دنیای ریاضیات

مدل هوش مصنوعی توسعه‌یافته توسط OpenAI موفق شد بدون هیچ دخالت انسانی، یکی از مشهورترین مسائل حل‌نشده ریاضیات یعنی «مسئله فاصله واحد» را در مدت ۳۲ ساعت و با هزینه تنها ۱۰۰۰ دلار حل کند. این دستاورد نه‌تنها فرضیه ۸۰ ساله پل اردوش، ریاضیدان افسانه‌ای را رد کرد، بلکه به اعتقاد برندگان مدال فیلدز، نقطه عطفی در تاریخ ریاضیات مبتنی بر هوش مصنوعی محسوب می‌شود.

به گزارش خبرنگار مهر، حل مسئله فاصله واحد توسط هوش مصنوعی زلزله‌ای در دنیای ریاضیات به پا کرده است. OpenAI اعلام کرد که یکی از مدل‌های داخلی این شرکت توانسته است بدون دریافت داده‌های اختصاصی از ریاضیدانان و صرفاً با اتکا به توانایی‌های استدلالی خود، اثباتی علمی و آکادمیک برای این مسئله تاریخی تولید کند. وال‌استریت ژورنال گزارش داده که OpenAI برای افرادی که در تحلیل عددی تخصص ندارند، یافته‌های این پژوهش را همراه با یک گزارش بررسی ۱۹ صفحه‌ای که توسط ریاضیدانان شناخته‌شده تهیه شده، منتشر کرده است.

حل مسئله فاصله واحد توسط هوش مصنوعی؛ تحسین برندگان مدال فیلدز

حل مسئله فاصله واحد توسط هوش مصنوعی واکنش‌های پرشوری از سوی بزرگ‌ترین ریاضیدانان جهان برانگیخته است. پروفسور نوگا آلون از دانشگاه پرینستون گفت: «هوش مصنوعی موفق شد به نتیجه‌ای دست پیدا کند که تعداد زیادی از پژوهشگران توانمند انسانی پیش از این تلاش کرده بودند اما ناکام مانده بودند.» دانشیار دنیل لیت از دانشگاه تورنتو نیز آن را «نخستین نمونه از یک نتیجه علمی که به‌صورت خودمختار توسط هوش مصنوعی تولید شده» توصیف کرد.

حل مسئله فاصله واحد توسط هوش مصنوعی OpenAI؛ زلزله‌ای در دنیای ریاضیات
حل مسئله فاصله واحد توسط هوش مصنوعی OpenAI؛ زلزله‌ای در دنیای ریاضیات

اما مهم‌ترین ارزیابی از آنِ پروفسور تیموتی گاورز، برنده مدال فیلدز (معتبرترین جایزه ریاضیات) از کالج دو فرانس است. او تأکید کرد: «هیچ تردیدی وجود ندارد که حل مسئله فاصله واحد نقطه عطفی در ریاضیات مبتنی بر هوش مصنوعی است. اگر این مقاله توسط یک انسان نوشته شده بود و برای نشریه Annals of Mathematics ارسال می‌شد، بدون تردید پذیرش آن را توصیه می‌کردم. هیچ‌یک از اثبات‌هایی که تاکنون توسط هوش مصنوعی تولید شده‌اند به این سطح نزدیک نشده بودند.» گاورز هشدار داد که حتی اگر فناوری هوش مصنوعی در همین سطح فعلی باقی بماند، «رقابت انسان‌ها با هوش مصنوعی در حل مسائل ریاضی در آینده بسیار دشوار خواهد شد.»

مسئله فاصله واحد چیست و چرا ۸۰ سال ذهن ریاضیدانان را مشغول کرده بود؟

مسئله فاصله واحد که حدود ۸۰ سال پیش توسط پل اردوش، یکی از پرکارترین و تأثیرگذارترین ریاضیدانان تاریخ، مطرح شد، به زبان ساده می‌پرسد: «اگر تعداد n نقطه روی یک صفحه قرار داده شوند، حداکثر چند جفت نقطه می‌توانند دقیقاً به فاصله یک واحد از یکدیگر قرار داشته باشند؟»

اردوش در سال ۱۹۴۶ نشان داد که چیدمان نقاط در قالب یک شبکه یا ماتریس، محدودیت مشخصی ایجاد می‌کند. او فرض کرد که هیچ آرایش هندسی دیگری نمی‌تواند عملکردی بهتر از این ساختار ارائه دهد. این فرضیه بعدها با عنوان «حدس اردوش» شناخته شد. اردوش برای حل این مسئله جایزه ۵۰۰ دلاری تعیین کرده بود و آن را در دسته مسائل «بلوط» (مسائل عمیق، بنیادی و الهام‌بخش برای ایجاد شاخه‌های جدید دانش) طبقه‌بندی می‌کرد.

چگونه هوش مصنوعی OpenAI حدس اردوش را رد کرد؟

حل مسئله فاصله واحد توسط هوش مصنوعی به این صورت انجام شد که مدل OpenAI موفق شد یک آرایش هندسی جایگزین پیدا کند که تعداد بیشتری جفت نقطه با فاصله دقیقاً یک واحد تولید می‌کند. به عبارت دیگر، این مدل با ارائه یک نمونه نقض‌کننده، موفق شد حدس تاریخی اردوش را ابطال کند. این دستاورد نه‌تنها یک راه‌حل جدید ارائه داد، بلکه اثبات کرد فرضیه‌ای که نزدیک به یک قرن معتبر فرض می‌شد، نادرست است.

دو نکته کلیدی درباره اهمیت این موفقیت:

  • زمان و هزینه: OpenAI اعلام کرد این مسئله تنها در مدت ۳۲ ساعت و با هزینه‌ای حدود ۱۰۰۰ دلار توسط مدل هوش مصنوعی حل شده است؛ در مقایسه با دهه‌ها تلاش پژوهشگران انسانی و هزینه‌های بسیار بالاتر.
  • استقلال کامل: مدل بدون دریافت هیچ راهنمایی از ریاضیدانان و صرفاً با توانایی استدلال ذاتی خود به این نتیجه رسید.

افق جدید ریاضیات با هوش مصنوعی

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

مجله اینترنتی جیجا

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *