[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"news-5009778":3},{"id":4,"lead":5,"dasteavalTitle":6,"content":7,"summarizedTitle":6,"summarizedContent":5,"tags":8,"mainCategoryId":10,"sourceName":37,"sourceLogo":38,"publishedDate":39,"originUrl":40,"thumbnail":41,"reactions":42,"mainCategory":43},5009778,"\u003Cul>\n  \u003Cli>🤖 مدل هوش مصنوعی «آسترا» ۱۰ مسئله پیچیده ریاضی و کوانتوم را حل کرد.\u003C\u002Fli>\n  \u003Cli>📈 مسائل حل‌شده بیش از یک دهه در جامعه علمی لاینحل باقی مانده بودند.\u003C\u002Fli>\n  \u003Cli>💰 هزینه محاسباتی این دستاورد علمی حدود ۲ هزار دلار برآورد شده است.\u003C\u002Fli>\n  \u003Cli>✅ دقت استدلال‌های مدل توسط نرم‌افزار اثبات قضیه «Lean» تأیید شد.\u003C\u002Fli>\n  \u003Cli>🌐 این موفقیت در حوزه‌های هندسه ابعاد بالا و پیچیدگی کوانتومی ثبت شد.\u003C\u002Fli>\n\u003C\u002Ful>","هوش مصنوعی «آسترا» ۱۰ مسئله لاینحل ریاضی و کوانتوم را حل کرد","\u003Carticle>\n  \u003Cp>توسعه‌دهندگان اوپن‌ای‌آی به دستاورد علمی بزرگی در زمینه‌ی ریاضیات و علوم کامپیوتر دست یافته‌اند. مدل هوش مصنوعی جدید با نام \u003Cstrong>آسترا\u003C\u002Fstrong>، موفق شد ۱۰ مسئله‌ی ریاضی را که حداقل به مدت یک دهه هیچ پیشرفتی در حل آن‌ها حاصل نشده بود، با موفقیت حل کند.\u003C\u002Fp>\n  \n  \u003Ch2>حوزه‌های تحت پوشش دستاورد علمی\u003C\u002Fh2>\n  \u003Cp>مسائل حل‌شده توسط این مدل هوش مصنوعی، طیف گسترده‌ای از علوم پایه را در بر می‌گیرند که شامل موارد زیر است:\u003C\u002Fp>\n  \u003Cul>\n    \u003Cli>هندسه‌ی ابعاد بالا و ترکیبیات مفرط\u003C\u002Fli>\n    \u003Cli>نظریه‌ی کدگذاری و رمزنگاری شبکه‌محور\u003C\u002Fli>\n    \u003Cli>پیچیدگی مدارهای محاسباتی و کوانتومی\u003C\u002Fli>\n    \u003Cli>نظریه‌ی گروه‌ها و جبرهای عملگری\u003C\u002Fli>\n  \u003C\u002Ful>\n\n  \u003Ch2>فرآیند اثبات و هزینه‌های محاسباتی\u003C\u002Fh2>\n  \u003Cp>این نتایج ارزشمند با استفاده از نسخه‌ی داخلی مدل آسترا به دست آمده است. هزینه‌ی محاسباتی توکن‌های مورد نیاز برای یافتن پاسخ این مسائل بر اساس نرخ رابط برنامه‌نویسی کاربردی (API) مدل Sol، در مجموع حدود \u003Cstrong>دو هزار دلار\u003C\u002Fstrong> برآورد می‌شود.\u003C\u002Fp>\n  \n  \u003Cblockquote>\n    پس از کشف راه‌حل‌ها با هوش مصنوعی، متخصصان انسانی به همراه همین مدل پیش‌نویس مقالات علمی را آماده کردند و در نهایت، مدل توانست صحت هر استدلال را در قالب گواهی‌های نرم‌افزار اثبات قضیه‌ی \u003Cem>Lean\u003C\u002Fem> تأیید و ثبت کند.\n  \u003C\u002Fblockquote>\n\n  \u003Ch2>دستاورد‌های کلیدی در جامعه ریاضی\u003C\u002Fh2>\n  \u003Cp>برخی از مهم‌ترین نتایج حاصل از این پژوهش عبارتند از:\u003C\u002Fp>\n  \u003Ctable>\n    \u003Ctr>\n      \u003Cth>حوزه\u003C\u002Fth>\n      \u003Cth>دستاورد\u003C\u002Fth>\n    \u003C\u002Ftr>\n    \u003Ctr>\n      \u003Ctd>هندسه\u003C\u002Ftd>\n      \u003Ctd>ارائه کران‌های بالای جدید برای چگالی بسته‌بندی کره‌ها\u003C\u002Ftd>\n    \u003C\u002Ftr>\n    \u003Ctr>\n      \u003Ctd>نظریه گروه‌ها\u003C\u002Ftd>\n      \u003Ctd>اثبات وجود گروه‌های غیرسوفیک\u003C\u002Ftd>\n    \u003C\u002Ftr>\n    \u003Ctr>\n      \u003Ctd>کوانتوم\u003C\u002Ftd>\n      \u003Ctd>اثبات قضیه‌ی تکرار موازی برای بازی‌های کوانتومی دو نفره\u003C\u002Ftd>\n    \u003C\u002Ftr>\n  \u003C\u002Ftable>\n\u003C\u002Farticle>",[9,16,21,25,29,33],{"id":10,"name":11,"slug":12,"tagType":13,"createdAt":14,"updatedAt":15,"deletedAt":12},2,"تکنولوژی",null,0,"2024-11-27T13:47:27.935Z","2024-11-27T13:47:28.130Z",{"id":17,"name":18,"slug":12,"tagType":19,"createdAt":20,"updatedAt":20,"deletedAt":12},135,"هوش مصنوعی",1,"2024-12-21T06:10:53.712Z",{"id":22,"name":23,"slug":12,"tagType":19,"createdAt":24,"updatedAt":24,"deletedAt":12},905,"علم و فناوری","2025-05-01T16:54:13.529Z",{"id":26,"name":27,"slug":12,"tagType":19,"createdAt":28,"updatedAt":28,"deletedAt":12},3139,"ریاضیات","2025-05-04T00:10:23.212Z",{"id":30,"name":31,"slug":12,"tagType":19,"createdAt":32,"updatedAt":32,"deletedAt":12},3948,"کوانتوم","2025-05-04T22:12:07.283Z",{"id":34,"name":35,"slug":12,"tagType":19,"createdAt":36,"updatedAt":36,"deletedAt":12},27787,"اوپن‌ای‌آی","2025-07-14T12:48:07.979Z","تجارت نیوز","https:\u002F\u002Fs3.dasteaval.news\u002Fdasteaval\u002Flogos\u002Ftejaratnews-com.png","2026-08-02T07:01:49.000","https:\u002F\u002Ftejaratnews.com\u002F%d9%87%d9%88%d8%b4-%d9%85%d8%b5%d9%86%d9%88%d8%b9%db%8c-%db%b1%db%b0-%d9%85%d8%b3%d8%a6%d9%84%d9%87-%d9%85%d9%87%d9%85-%d8%b1%db%8c%d8%a7%d8%b6%db%8c-%d9%88-%da%a9%d9%88%d8%a7%d9%86%d8%aa%d9%88%d9%85","https:\u002F\u002Fs3.dasteaval.news\u002Fdasteaval\u002Fnews-medias\u002Fnews-media_1785673200393.jpg",{"counts":12,"selected":12},{"id":10,"name":11,"logo":44,"bgColor":45,"description":46},"technology","#ECE0FC","جدیدترین تحولات تِک رو اینجا دنبال کن!"]