مدل‌ها
هوش مصنوعی در دستانی جدید: Kimi K3.1 Pro و Moonshot در پیشرفت امنیت سایبری
این گزارش، مدل جدید هوش مصنوعی Kimi K3.1 Pro و فناوری Moonshot را معرفی می‌کند؛ این دو نوآوری امنیت سایبری را ارتقا داده و توانایی حملات را به‌طور چشمگیری کاهش می‌دهند.
محصولات
هوش مصنوعی و Kimi K3.1 Pro: راهنمایی برای محافظت در برابر حملات سایبری
Kimi K3.1 Pro، نسخهٔ پیشرفتهٔ هوش مصنوعی، با قابلیت‌های پیشرفتهٔ دفاع سایبری، در کنار فناوری Moonshot، امکان کاهش قابلیت‌های حملات را فراهم می‌کند.
اخبار
هوش مصنوعی Moonshot؛ بازنشانی سهمیه کاربران پس از عرضه پرحاشیه Kimi K3.1
Moonshot پس از مشکلات فنی در عرضه Kimi K3.1 Pro سهمیه کاربران را بازنشانی کرد. جزئیات این تغییرات و واکنش کاربران را بخوانید.
سیاست و قانون
Moonshot محدود می‌کند توان هک مدل Kimi؛ نگرانی از حملات سایبری مبتنی بر هوش مصنوعی
Moonshot با معرفی مدل Kimi، توان هک را محدود کرده و نقش مهم‌ای در مقابله با حملات سایبری هوش مصنوعی ایفا می‌کند. این اقدام، نگرانی جهانی را کاهش می‌دهد.
محصولات
Kimi K3.1 Pro؛ پیروزی بی‌سابقه در هوش مصنوعی چین بر رقابت GPT-6
مدل هوش مصنوعی Kimi K3.1 Pro، قدرتی بی‌همتا در چین، در بنچمارک‌های مختلف از GPT-6 Astra و Claude Fable 5.1 پیشی گرفته و نگاه جدیدی به رقابت جهانی می‌اندازد.
پژوهش
هوش مصنوعی در اثبات نظریه: Kimina-Prover-RL و تأثیراتش
Kimina-Prover-RL، یک پایپلاین آموزش بازآفرینی در Lean 4، ترکیبی از استدلال ساختارمند و تولید متن است که قابلیت‌های جدیدی برای اثبات خودکار در حوزه‌ی هوش مصنوعی ارائه می‌دهد.
پژوهش
هوش مصنوعی در براهین ریاضیات: Kimina-Prover-RL به‌عنوان چراغ نیک‌خورده
کامیاب‌ترین پیشرفت در زمینهٔ آموزش ماشین برای اثبات قضایا: Kimina-Prover-RL، یک پایپلاین ارزان و متن‌باز برای Lean 4 که امکان بهبود اتوماسیون در ریاضیات را دارد.
پژوهش
هوش مصنوعی در ریاضیات: Kimina-Prover و جستجوی RL در زمان اجرا
Kimina-Prover، یک الگوریتم هوش مصنوعی مبتنی بر جستجوی RL در زمان اجرا، می‌تواند مدل‌های بزرگ یادگیری رسمی را بهینه کند و خطاهای ریاضی را اصلاح نماید.