ریاضیدان دانشگاه هاروارد با کمک هوش مصنوعی نادرستی حدس جاکوبی را اثبات کرد
«لوونت آلپوگه»، ریاضیدان دانشگاه هاروارد، با بهرهگیری از مدل هوش مصنوعی «Claude Fable 5» متعلق به شرکت «Anthropic»، موفق شد مسئله مشهور حدس جاکوبی را که قدمت آن به سال 1939 بازمیگردد، نقض کند. این دستاورد بزرگ در تاریخ 19 جولای 2026 جامعه ریاضیات را شگفتزده کرد؛ زمانی که وی اعلام کرد این معمای 87 ساله در واقع نادرست است. متخصصان این رویداد را دشوارترین مسئله ریاضی میدانند که تاکنون به کمک هوش مصنوعی حل شده است.
حدس جاکوبی نخستین بار توسط «اوت-هاینریش کلر» مطرح شد. این فرضیه بیان میکرد که یک نگاشت چندجملهای هندسی با دترمینان جاکوبی ثابت و غیرصفر، همواره باید دارای یک معکوس چندجملهای باشد. از آنجا که این ایده بسیار منطقی به نظر میرسید، نسلهای مختلفی از پژوهشگران برای حدود یک قرن تلاش کردند تا درستی آن را اثبات کنند، اما تمامی این تلاشها با شکست مواجه شد. در حالی که انسانها به دنبال یافتن اثبات بودند، مدل شرکت «Anthropic» به جای ارائه یک راهحل پیچیده تئوری، یک استثنای نقضکننده را کشف کرد.
این سیستم پردازشی پیشرفته یک معادله 216 کاراکتری را به عنوان مثال نقض در بعد 3 پیدا کرد. این ساختار ریاضی با وجود داشتن دترمینان ثابت منفی 2، سه ورودی کاملا متفاوت را به یک خروجی یکسان نگاشت میکند. به دلیل این خروجیهای تکراری، امکان بازگرداندن فرمول به حالت اولیه وجود ندارد. ابطال حدس جاکوبی در بعد 3، به طور خودکار نادرست بودن آن را در تمامی ابعاد بالاتر نیز تایید میکند.
«لوونت آلپوگه» اشاره کرده است که این کشف تاریخی را هنگام تماشای مسابقه فینال جام جهانی انجام داده و از این ابزار هوشمند تشکر کرده است. ریاضیدانان مستقل اکنون این پاسخ 216 کاراکتری را تایید کردهاند. این پیشرفت چشمگیر پس از آن رخ میدهد که در ماه می 2026 یک مدل از شرکت «OpenAI» توانست مسئله 80 ساله فاصله واحد «پل اردیش» را نقض کند و مسیر تازهای را در تحقیقات علمی باز کند.
