یک مدل هوش مصنوعی جدید موفق شده ۱۰ مسئله دشوار در حوزههای ریاضیات و فیزیک کوانتومی را که سالها بدون پیشرفت باقی مانده بودند حل کند؛ دستاوردی که میتواند نقش هوش مصنوعی را از ابزار محاسباتی به دستیار پژوهشگر در علوم بنیادی پررنگتر کند.
به گزارش سیناپرس، مدل هوش مصنوعی Astra از توسعهدهندگان OpenAI موفق شد ۱۰ مسئله دشوار ریاضی و کوانتوم را که حداقل یک دهه بدون پیشرفت مانده بودند، حل کند.
مدل هوش مصنوعی Astra از توسعهدهندگان OpenAI موفق شد ۱۰ مسئله دشوار ریاضی و کوانتوم را که حداقل یک دهه بدون پیشرفت مانده بودند، حل کند. این دستاورد شامل حوزههای متنوعی از جمله هندسه ابعاد بالا، نظریه کدگذاری، پیچیدگی کوانتومی و رمزنگاری شبکهمحور میشود.
محاسبات انجامشده با استفاده از مدل Sol حدود دو هزار دلار هزینه داشته است. متخصصان پس از یافتن پاسخها، با کمک همین مدل مقالات علمی را آماده کردند و صحت استدلالها را در قالب گواهیهای نرمافزاری Lean ثبت کردند.
به گنقل از دانشجو، از جمله نتایج مهم این پژوهش میتوان به ارائه کرانهای جدید برای چگالی بستهبندی کرهها و اثبات قضیه تکرار موازی کوانتومی اشاره کرد.