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