یک پزشک خودآموخته و یک جلسه ۱۶ ساعته هوش مصنوعی، یکی از مسائل حل نشده ریاضیات کاربردی را حل کردند.
به طور خلاصه
یک جراح مغز و اعصاب پکنی استفاده کرد GPT-5۰.۶ برای اثبات یک حدس ریاضی ۲۰ ساله، که نشاندهندهی تغییر در این است که چه کسی میتواند تحقیق تولید کند - و آن را تأیید کند.
شانمو جین، محقق فوق دکترا و رزیدنت جراحی مغز و اعصاب در بیمارستان کالج پزشکی پکینگ یونیون در پکن، حدس کروزیکس را اثبات کرده است - مسئلهای در تحلیل ماتریس که بیش از دو دهه حل نشده بود. این استدلال قطعی از یک دانشکده ریاضیات بیرون نیامده است: بلکه طی یک دوره ۱۶ ساعته خودآموز ... GPT-5.6 سول داخل ChatGPT حالت کار، که توسط یک دستورالعمل با دقت مهندسی شده که خود جین طراحی کرده است، هدایت میشود.
جین از طریق یک مسیر غیرخطی به این مسئله رسید. پیشینه کارشناسی او در رشته زمینشناسی بود؛ او بعداً مدرک پزشکی گرفت و دانش ریاضی خود را از طریق مطالعه خودآموز، که در ابتدا با تحقیق در مورد سونوگرافی ترانس کرانیال انگیزه گرفته بود، افزایش داد. حدس کروزیکس، که در سال ۲۰۰۴ فرموله شد، مربوط به رابطه بین نرم طیفی یک ماتریس و حداکثر یک چندجملهای در محدوده عددی آن است - یک ناحیه محدب فشرده از صفحه مختلط که بیشتر از مقادیر ویژه یک ماتریس، رفتار آن را در بر میگیرد. حل آن کاربردهای مستقیمی در تجزیه و تحلیل توابع ماتریس، حلکنندههای تکراری مانند GMRES و روشهای گویای کریلوف دارد.
جین به جای اینکه مدل را به صورت تعاملی فعال کند، یک جلسه خودکار طولانی را با استفاده از معماری اعلانی که از یکی از آنها اقتباس شده بود، اجرا کرد. OpenAI برای یک نتیجه ریاضی قبلی، حدس پوشش دوگانه چرخه، توسعه داده شده بود. این تنظیمات، دسترسی مدل به اینترنت را مسدود میکرد. این مدل، زیرعاملهای رقابتی را مستقر میکرد که وظیفه داشتند به طور مستقل استراتژیهای اثبات مختلف را توسعه داده و تحت فشار قرار دهند، با دستورالعملهای صریح در برابر همگرایی زودرس و الزام به ابطال استدلالهای کاندید فقط از طریق مثالهای نقض ملموس. این مدل طوری هدایت شده بود که تا زمانی که یک اثبات کامل از بررسی خصمانه داخلی جان سالم به در ببرد، ادامه یابد. پیشچاپ حاصل، که در ۲۷ ژوئیه ۲۰۲۶ منتشر شد، شامل متن کامل، نسخههای خطی پیشنویس متوالی، رسمیسازی ناب و حسابرسی اصل موضوع است.
تایید همسالان و این سوال که چه کسی الان ریاضی میخواند؟
این اثبات توسط ریاضیدان دانشگاه کرنل، الکس تاونزند، تحلیلگر عددی، آن گرینباوم، و خود میشل کروزیکس - نویسنده اصلی این حدس - بررسی و تأیید شده است. بررسی رسمی همتا در حال انجام است. هشت روز پس از انتشار نسخه اولیه، ریاضیدانان امیل لوریس و فلیکس شونینگر یک اثبات پنج صفحهای مستقل با استفاده از روشی متفاوت منتشر کردند که نظریه پتانسیل دو لایه کلاسیک را با لم اختلال برای 2-اتساع ترکیب میکند. جین از نتیجه موازی به عنوان مکملی برای کار خودش استقبال کرد.
این ماجرا، تغییر ساختاری در تحقیقات ریاضی را آشکار میکند که نادیده گرفتن آن دشوار است. وقتی یک مسئله که از سال ۲۰۰۴ مطرح بوده، توسط یک پزشک خودآموخته با استفاده از یک ابزار هوش مصنوعی مصرفی حل میشود، موانع تولید نتایج جدید به طور قابل توجهی کاهش مییابد - در حالی که تخصص مورد نیاز برای تأیید آن نتایج به طور متناسب متمرکزتر و ارزشمندتر میشود.
برای حوزه هوش مصنوعی، این مورد، نمایش ملموسی از آنچه مدلهای زبان مرزی میتوانند در صورت داشتن وظایف مستقل ساختاریافته و زمان محاسبه کافی انجام دهند، ارائه میدهد. اینکه آیا جامعه ریاضی زیرساخت لازم برای جذب حجم نتایجی که ممکن است در پی داشته باشد را دارد یا خیر، همچنان یک سوال بیپاسخ است.
رفع مسئولیت
در خط با دستورالعمل های پروژه اعتماد، لطفاً توجه داشته باشید که اطلاعات ارائه شده در این صفحه به عنوان مشاوره حقوقی، مالیاتی، سرمایه گذاری، مالی یا هر شکل دیگری در نظر گرفته نشده است و نباید تفسیر شود. مهم است که فقط در موردی سرمایه گذاری کنید که توانایی از دست دادن آن را دارید و در صورت شک و تردید به دنبال مشاوره مالی مستقل باشید. برای کسب اطلاعات بیشتر، پیشنهاد می کنیم به شرایط و ضوابط و همچنین صفحات راهنمایی و پشتیبانی ارائه شده توسط صادرکننده یا تبلیغ کننده مراجعه کنید. MetaversePost متعهد به گزارش دقیق و بی طرفانه است، اما شرایط بازار بدون اطلاع قبلی ممکن است تغییر کند.
درباره نویسنده
آلیسا، یک روزنامه نگار اختصاصی در MPost، متخصص در ارزهای دیجیتال، هوش مصنوعی، سرمایهگذاری و حوزه گسترده... Web3. او با نگاهی دقیق به روندها و فناوریهای نوظهور، پوشش جامعی را برای اطلاعرسانی و مشارکت خوانندگان در چشمانداز همیشه در حال تحول مالی دیجیتال ارائه میکند.
مقالات بیشتر
آلیسا، یک روزنامه نگار اختصاصی در MPost، متخصص در ارزهای دیجیتال، هوش مصنوعی، سرمایهگذاری و حوزه گسترده... Web3. او با نگاهی دقیق به روندها و فناوریهای نوظهور، پوشش جامعی را برای اطلاعرسانی و مشارکت خوانندگان در چشمانداز همیشه در حال تحول مالی دیجیتال ارائه میکند.
