کلود فیبل یک مثال نقض برای حدس ژاکوبین تولید کرد

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

اکنون مدل هوش مصنوعی کلود فیبل از Anthropic ادعا می‌کند که یک مثال نقض یافته که این حدس را رد می‌کند. این ادعا در پلتفرم X (توییتر سابق) ظاهر شد و فوراً به Hacker News سرایت کرد، جایی که میان ریاضیدانان، محققان هوش مصنوعی و علاقه‌مندان به فناوری بحث‌های پرشوری برانگیخت. با ۲۶۸ امتیاز و بیش از ۱۵۲ نظر، میزان مشارکت نشان می‌دهد که این ادعا چقدر توجه جامعه را به خود جلب کرده است.

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

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