علت بازحل کردن مسائل ریاضی توسط ریاضی‌دانان چیست؟

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

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

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

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

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

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

یکی از معروف‌ترین نمونه‌ها مربوط به قضیه‌ای درباره‌ی اعداد اول می‌شود. اعداد اول تنها بر عدد یک و خودشان تقسیم‌پذیرند؛ مانند ۲، ۳، ۵، ۷ و ۱۱.

بیش از دو هزار سال پیش، اقلیدس ثابت کرد که تعداد اعداد اول بی‌نهایت است. به زبانی ساده، هرچقدر هم اعداد اول را بشماریم، همیشه عدد اول جدیدی وجود خواهد داشت.

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

این اثبات سال‌ها پیش معرفی شد، اما ریاضی‌دانان همچنان روش‌های جدیدی برای دستیابی به همان نتیجه پیدا می‌کنند. طبق تحقیقی که در سال ۲۰۲۳ انجام شد، حدود ۲۰۰ اثبات مختلف برای بی‌نهایت بودن اعداد اول وجود دارد. شاید در ابتدا چنین تلاش‌هایی بی‌ثمر به نظر بیایند، اما تاریخ ریاضیات ما را به چیز دیگری متقاعد می‌کند.

در سال ۱۷۳۷، لئونارد اویلر، ریاضی‌دان مشهور سوئیسی، با استفاده از روشی متفاوت به بررسی همین قضیه پرداخت. او رابطه‌ای بی‌نهایت را با حاصل‌ضربی مرتبط با اعداد اول پیدا کرد.

دستاورد اویلر نه تنها به تأیید دوباره‌ی بی‌نهایت بودن اعداد اول کمک کرد، بلکه روش او درک بهتری از نحوه‌ی توزیع این اعداد ایجاد کرد؛ از جمله این که هرچه به اعداد بالاتر نزدیک‌تر می‌شویم، اعداد اول کمتری داریم.

بیش از یک قرن بعد، این رابطه الهام‌بخش برنهارت ریمان برای مطرح کردن فرضیه‌ی معروف خود شد؛ موضوعی در مورد توزیع اعداد اول که هنوز حل نشده و یکی از مهم‌ترین معماهای ریاضیات به شمار می‌آید.

به این ترتیب، تلاش برای اثبات دوباره‌ی یک قضیه که از زمان اقلیدس شناخته شده بود، به طرح پرسش‌های جدید و پیشرفت سایر شاخه‌های ریاضیات کمک کرد.

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

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

این گونه موارد یادآور این واقعیت هستند که حتی چند اثبات به ظاهر صحیح نیز ممکن است بر اساس فرض یا استدلال مشترکی پایه‌ریزی شده باشند که صحت آن به‌خوبی مورد بررسی قرار نگرفته است.

در سال ۲۰۲۲، اسکات ویتری از دانشگاه استنفورد و سایمون ددئو از دانشگاه کارنگی ملون به بررسی یک مسئله‌ی جالب پرداختند: اگر هر مرحله از یک اثبات ریاضی کمی احتمال خطا داشته باشد، چگونه می‌توان به اثبات‌های طولانی اعتماد کرد؟

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

این وضعیت مشابه پرتاب تاس است. احتمال آوردن عدد یک در هر بار پرتاب تنها یک‌ششم است، اما اگر تاس را بارها پرتاب کنیم، شانس آنکه حداقل یک‌بار عدد یک ظاهر شود، افزایش می‌یابد. پس چرا ریاضی‌دانان می‌توانند به نتایج یک اثبات طولانی اعتماد کنند؟

پژوهشگران این سؤال را با تشبیه اثبات‌های ریاضی به مجموعه‌ای از مسیرهای منطقی پاسخ دادند. در این مدل، هر مرحله به مراحل دیگر مرتبط است و صحت یک نتیجه می‌تواند از چندین مسیر مستقل تأیید شود.

اگر فقط یک مسیر طولانی برای بدست آوردن نتیجه وجود داشته باشد، خطا در یکی از مراحل می‌تواند کل استدلال را زیر سؤال ببرد. اما زمانی که چند مسیر مختلف از یک نتیجه حمایت می‌کنند، وجود خطا در یک مسیر به معنای نادرست بودن تمام استدلال‌ها نخواهد بود.

پژوهشگران نشان داده‌اند که با افزایش ارتباط میان مسیرهای مختلف اثبات، ممکن است اعتماد به درستی نتیجه به‌طور ناگهانی از یک حد مشخص بیشتر شود. آن‌ها این تغییر را «عبور فاز معرفتی» (Epistemic Phase Transition) نامیدند.

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

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

در چنین شرایطی، رسیدن به یک نتیجه به‌تنهایی کافی نیست. ریاضی‌دانان باید بتوانند سلامت استدلال‌ها را تأیید کنند و اطمینان حاصل کنند که نتیجه به‌وسیله‌ی مفروضات غلط یا مراحل نادرست به‌دست نیامده است.

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