هوش مصنوعی چت جی‌پی‌تی با معرفی مدل پیشرفته آسترا توانست ۱۰ مسئله ریاضی پیچیده را که برخی از آن‌ها برای دهه‌ها بی‌جواب مانده بودند، با موفقیت حل کند.
اوپن‌ای‌آی، پیشرو در توسعه هوش مصنوعی، اخیراً دستاورد بزرگی را در حوزه ریاضیات و علوم کامپیوتر رقم زده است. این شرکت با بهره‌گیری از مدل جدید خود به نام Astra، توانایی‌های چشمگیری در حل مسائل ریاضی پیچیده به نمایش گذاشته است. این مدل توانست چالش‌هایی را پشت سر بگذارد که سال‌ها ذهن محققان را به خود مشغول کرده بود.
دستاورد بزرگ آسترا: حل ۱۰ مسئله ریاضی یک‌دهه‌ای
مدل جدید هوش مصنوعی Astra از اوپن‌ای‌آی، موفق به حل ۱۰ مسئله پیچیده ریاضی و کوانتوم شد که برخی از آن‌ها برای دهه‌ها بی‌جواب مانده بودند. این هوش مصنوعی چت جی‌پی‌تی با دستاورد خود، مرزهای جدیدی در حوزه‌هایی مانند هندسه‌ی ابعاد بالا، نظریه‌ی کدگذاری، جبرهای عملگری و رمزنگاری پساکوانتومی گشود.
از جمله موفقیت‌های این مدل می‌توان به ارائه کران‌های بالای جدید برای چگالی بسته‌بندی کره‌ها و اثبات وجود گروه‌های غیرسوفیک اشاره کرد. هزینه‌ی محاسباتی این فرایند حدود ۲٬۰۰۰ دلار برآورد شده و راه‌حل‌ها پس از کشف، با همکاری متخصصان انسانی و تأیید نرم‌افزار اثبات قضیه‌ی Lean، مستند و ثبت شدند.
