بیش از ۱۵۰ سال است که فرضیه ریمان یکی از مهمترین مسائل حلنشده ریاضیات به شمار میرود. این فرضیه به یک مسئله قدیمی درباره نحوه توزیع اعداد اول مربوط میشود. در حال حاضر جایزهای یک میلیون دلاری برای ارائه یک اثبات عمومی و معتبر برای این فرضیه تعیین شده، اما تاکنون کسی موفق به دریافت آن نشده است.
مدلهای هوش مصنوعی امروزی نیز هنوز نمیتوانند این مسئله را بهطور کامل حل کنند، اما پژوهش جدید نشان میدهد که توانایی آنها برای پیشرفت در چنین مسائل پیچیدهای بسیار بیشتر از چیزی است که انتظار میرود. این موضوع میتواند دوباره بحثهای قدیمی درباره توانایی هوش مصنوعی در کشف ایدههای جدید علمی و ریاضی را مطرح کند.
آنتروپیک روز دوشنبه اعلام کرد یکی از مدلهای هنوز عرضهنشده این شرکت توانسته پیشرفت قابلتوجهی در بررسی فرضیه ریمان داشته باشد و حد پایین تعداد جوابهایی را که صحت فرضیه برای آنها تأیید شده، به میزان قابلتوجهی افزایش دهد.
نکته جالبتر، نحوه دستیابی به این پیشرفت است. یکی از کارکنان آنتروپیک که آموزش تخصصی قابلتوجهی در ریاضیات نداشت، از مدل خواست بهطور جدی برای اثبات این فرضیه تلاش کند و سپس مدل را برای یک روز و نیم بدون دخالت مستقیم، مسئول هماهنگی و پیشبرد این کار گذاشت.
این مدل در مجموع ۶۵۰ ایده مختلف را برای حل مسئله آزمایش کرد و کار را میان ۶۰ عامل فرعی هماهنگ کرد. در این فرایند نیز در مجموع ۳۱ میلیون توکن خروجی تولید شد.
طبق توضیحی که در پاورقی مقاله آمده، از میان ۶۰ عامل فرعی، دو عامل مسئول توسعه ایدههای اصلی ریاضی بودند. ۱۳ عامل دیگر به این دو گروه ایده ارائه کردند، ۳۰ عامل تلاش کردند ایدههای جدیدی پیدا کنند اما موفق نشدند، ۱۳ عامل وظیفه بررسی صحت استدلالها را بر عهده داشتند و دو عامل پایانی نیز در نگارش نسخه اولیه مقاله کمک کردند.
تبلیغات متنی | آژانس طراحی سایت و سئو برانکس
این یافته توسط دو ریاضیدان داخلی آنتروپیک تأیید شده و سپس با استفاده از دستیار اثبات متنباز «لین» (Lean) بهصورت رسمی اثبات و ثبت شده است.
این جدیدترین مورد از مجموعه پیشرفتهای ریاضی است که مدلهای زبانی بزرگ یا LLMها در آن نقش داشتهاند. طی سال جاری، چندین مسئله از مجموعه مسائل اردوش توسط مدلهای هوش مصنوعی حل شدهاند و عرضه مدلهای قدرتمندتر نیز به نتایج چشمگیرتری منجر شده است.
اوپنایآی نیز اخیراً مجموعهای شامل ۱۰ نتیجه مهم ریاضی را که توسط مدل داخلی این شرکت با نام «آسترا» اثبات شدهاند، منتشر کرده است. در اقدامی جداگانه، پژوهشگران آنتروپیک نیز توانستهاند حدس ژاکوبین را که سالها یک مسئله حلنشده در ریاضیات بود، رد کنند.
