شرکت چینی دیپسیک مدل هوش مصنوعی Prover-V2 را برای حل مسائل پیچیده ریاضی و اثباتهای رسمی معرفی کرد.
به گزارش تکناک، آزمایشگاه هوش مصنوعی چینی دیپسیک نسخه جدیدی از مدل هوش مصنوعی خود با نام Prover-V2 را منتشر کرد. این مدل بهطور ویژه برای حل اثباتهای ریاضی و قضایا طراحی شده است.
تککرانچ مینویسد نسخه جدید Prover دیپسیک بههمراه نسخهای تقطیرشده عرضه شده و ظاهراً برپایه مدل V3 این شرکت توسعه یافته است. مدل تازه ۶۷۱ میلیارد پارامتر دارد و از معماری ترکیبی MoE (مخفف Mixture-of-Experts) بهره میبرد. در این نوع معماری، وظایف پیچیده به بخشهای کوچکتر تقسیم میشوند و هر بخش به یک مؤلفه متخصص و متمرکز سپرده میشود تا فرایند حل مسئله بهینه شود.
پارامترها در مدلهای هوش مصنوعی معیار مهمی برای سنجش توانایی درک و حل مسائل هستند. مدل Prover-V2 نیز از این نظر ارتقای چشمگیری یافته و تمرکز آن همچنان بر اثباتهای رسمی ریاضی و استدلال منطقی باقی مانده است. نسخه قبلی این مدل در ماه آگوست منتشر شده بود و بهعنوان مدلی متنباز در اختیار جامعه تحقیقاتی قرار گرفت.
علاوهبر این، به گزارش خبرگزاری رویترز دیپسیک در ماه فوریه در حال بررسی جذب سرمایه خارجی برای نخستین بار بوده است. این شرکت اخیراً نسخه بهروزشدهای از مدل عمومی V3 را نیز منتشر کرده است و انتظار میرود بهزودی مدل R1 هم بهروزرسانی شود که بر استدلال و تواناییهای تحلیلی متمرکز است.
دیپسیک با این اقدام گامی مهم برای تقویت توانمندیهای هوش مصنوعی در حوزه ریاضیات برداشته و توجه جامعه علمی و تحقیقاتی را به خود جلب کرده است.
