🤖 دستاورد بزرگ OpenAI در حل مسائل کلاسیک ریاضی
🚀 تیم تحقیقاتی OpenAI به‌تازگی نتایج خیره‌کننده‌ای را توسط مدل داخلی خود با نام Astra منتشر کرده است. این مدل توانسته است ده مسئله ریاضی را که دهه‌ها حل‌نشده باقی مانده بودند، با موفقیت حل کند و استدلال‌های خود را به‌صورت رسمی در محیط Lean (یک دستیار اثبات قضایا) فرمالیزه کند.
🔬 این مدل موفق به ثبت دستاوردهای شاخصی در حوزه‌های پیچیده ریاضی شده است که شامل موارد زیر است
🔹 گروه‌های غیر-سوفیک: ساخت اولین نمونه صریح از این گروه‌ها که پرسش دیرینه تقریب‌های جایگشت متناهی را حل می‌کند.
🔹 ابطال حدس صلبیت Connes: ساخت بی‌نهایت گروه غیرایزومورف با ویژگی (T) و جبر فون نویمان یکسان.
🔹 بسته‌بندی کره: بهبود کران کلی چگالی بسته‌بندی در ابعاد بالا پس از سال ۱۹۷۸.
🔹 تکرار موازی کوانتومی: اثبات تکرار موازی نمایی برای تمام بازی‌های کوانتومی دوطرفه درهم‌تنیده.
🔗 openai.com
#Astra_model #Lean_prover
🚀 تیم تحقیقاتی OpenAI به‌تازگی نتایج خیره‌کننده‌ای را توسط مدل داخلی خود با نام Astra منتشر کرده است. این مدل توانسته است ده مسئله ریاضی را که دهه‌ها حل‌نشده باقی مانده بودند، با موفقیت حل کند و استدلال‌های خود را به‌صورت رسمی در محیط Lean (یک دستیار اثبات قضایا) فرمالیزه کند.
🔬 این مدل موفق به ثبت دستاوردهای شاخصی در حوزه‌های پیچیده ریاضی شده است که شامل موارد زیر است
🔹 گروه‌های غیر-سوفیک: ساخت اولین نمونه صریح از این گروه‌ها که پرسش دیرینه تقریب‌های جایگشت متناهی را حل می‌کند.
🔹 ابطال حدس صلبیت Connes: ساخت بی‌نهایت گروه غیرایزومورف با ویژگی (T) و جبر فون نویمان یکسان.
🔹 بسته‌بندی کره: بهبود کران کلی چگالی بسته‌بندی در ابعاد بالا پس از سال ۱۹۷۸.
🔹 تکرار موازی کوانتومی: اثبات تکرار موازی نمایی برای تمام بازی‌های کوانتومی دوطرفه درهم‌تنیده.
🔗 openai.com
📊 Data➕Science 🇮🇷 - هوش مصنوعی و علم داده به فارسی
📩 ارتباط با ما
#Astra_model #Lean_prover
⚠️ هوش مصنوعی در برابر مرزهای امنیت سایبری
شرکت OpenAI در گزارش جدید خود از توقف موقت آموزش مدل‌های نسل آینده خبر داد. این تصمیم به دلیل شناسایی قابلیت‌های بالای مدل جدید یعنی Astra در حوزه حملات سایبری اتخاذ شده است. طبق ارزیابی‌ها، این مدل به مرز «قابلیت سایبری حیاتی» رسیده که ریسک‌های امنیتی بی‌سابقه‌ای را به همراه دارد.
مهم‌ترین اقدامات حفاظتی انجام شده:
* توقف دو هفته‌ای در آموزش یادگیری تقویتی (RL) برای افزایش امنیت محیط‌های تحقیقاتی و تست‌های Red-teaming.
* تشدید سیاست‌های داخلی، شامل ایزوله‌سازی محیط‌های Sandbox و نظارت دقیق بر فرایندهای Reasoning و Tool calls.
* تخصیص ۲۰ درصد توان پردازشی بیشتر به سیستم‌های نظارتی برای بررسی فعالیت‌های مشکوک مدل.
* تمرکز بر هم‌راستایی (Alignment) جهت اطمینان از مطابقت رفتار مدل‌ها با اهداف و نظارت انسانی.
OpenAI اعلام کرده است که تا زمان کسب شواهد قوی‌تر از هم‌راستایی سیستم‌ها، توسعه مدل‌های بزرگ‌تر را با احتیاط و سرعت کمتری ادامه خواهد داد.
#Astra #Alignment
شرکت OpenAI در گزارش جدید خود از توقف موقت آموزش مدل‌های نسل آینده خبر داد. این تصمیم به دلیل شناسایی قابلیت‌های بالای مدل جدید یعنی Astra در حوزه حملات سایبری اتخاذ شده است. طبق ارزیابی‌ها، این مدل به مرز «قابلیت سایبری حیاتی» رسیده که ریسک‌های امنیتی بی‌سابقه‌ای را به همراه دارد.
مهم‌ترین اقدامات حفاظتی انجام شده:
* توقف دو هفته‌ای در آموزش یادگیری تقویتی (RL) برای افزایش امنیت محیط‌های تحقیقاتی و تست‌های Red-teaming.
* تشدید سیاست‌های داخلی، شامل ایزوله‌سازی محیط‌های Sandbox و نظارت دقیق بر فرایندهای Reasoning و Tool calls.
* تخصیص ۲۰ درصد توان پردازشی بیشتر به سیستم‌های نظارتی برای بررسی فعالیت‌های مشکوک مدل.
* تمرکز بر هم‌راستایی (Alignment) جهت اطمینان از مطابقت رفتار مدل‌ها با اهداف و نظارت انسانی.
OpenAI اعلام کرده است که تا زمان کسب شواهد قوی‌تر از هم‌راستایی سیستم‌ها، توسعه مدل‌های بزرگ‌تر را با احتیاط و سرعت کمتری ادامه خواهد داد.
📊 Data➕Science 🇮🇷 - هوش مصنوعی و علم داده به فارسی
📩 ارتباط با ما
#Astra #Alignment
⚡️ پایان همکاری OpenAI و Cursor پس از پیوستن به SpaceX
تغییرات مهمی در دنیای ابزارهای توسعه هوش مصنوعی رخ داده است. شرکت OpenAI رسماً اعلام کرد که در پی تصاحب Cursor توسط شرکت SpaceX، همکاری خود را با این پلتفرم قطع می‌کند.
طبق اعلام رسمی، دسترسی مستقیم Cursor به مدل‌های OpenAI از تاریخ ۱۲ نوامبر متوقف خواهد شد. دلیل اصلی این تصمیم، نگرانی‌های امنیتی و حقوقی OpenAI درباره احتمال دسترسی شرکت xAI (زیرمجموعه ایلان ماسک) به داده‌ها و زیرساخت‌های این مدل‌ها اعلام شده است.
مهم‌ترین نکات این تصمیم:
- پایان دسترسی مستقیم به مدل‌های OpenAI از ۱۲ نوامبر.
- عدم اتصال Cursor به مدل‌های آینده نظیر Astra به دلیل عدم اطمینان از رعایت استانداردهای امنیتی.
- تأکید OpenAI بر اهمیت تجربه کاربران و توسعه‌دهندگانی که در این دوره گذار از پلتفرم Cursor استفاده می‌کنند.
این رخداد نشان‌دهنده پیچیدگی‌های استراتژیک و رقابت‌های سنگین میان شرکت‌های بزرگ حوزه هوش مصنوعی است که حالا توسعه‌دهندگان ابزارهای جانبی را نیز درگیر کرده است.
#SpaceX #Astra
تغییرات مهمی در دنیای ابزارهای توسعه هوش مصنوعی رخ داده است. شرکت OpenAI رسماً اعلام کرد که در پی تصاحب Cursor توسط شرکت SpaceX، همکاری خود را با این پلتفرم قطع می‌کند.
طبق اعلام رسمی، دسترسی مستقیم Cursor به مدل‌های OpenAI از تاریخ ۱۲ نوامبر متوقف خواهد شد. دلیل اصلی این تصمیم، نگرانی‌های امنیتی و حقوقی OpenAI درباره احتمال دسترسی شرکت xAI (زیرمجموعه ایلان ماسک) به داده‌ها و زیرساخت‌های این مدل‌ها اعلام شده است.
مهم‌ترین نکات این تصمیم:
- پایان دسترسی مستقیم به مدل‌های OpenAI از ۱۲ نوامبر.
- عدم اتصال Cursor به مدل‌های آینده نظیر Astra به دلیل عدم اطمینان از رعایت استانداردهای امنیتی.
- تأکید OpenAI بر اهمیت تجربه کاربران و توسعه‌دهندگانی که در این دوره گذار از پلتفرم Cursor استفاده می‌کنند.
این رخداد نشان‌دهنده پیچیدگی‌های استراتژیک و رقابت‌های سنگین میان شرکت‌های بزرگ حوزه هوش مصنوعی است که حالا توسعه‌دهندگان ابزارهای جانبی را نیز درگیر کرده است.
📊 Data➕Science 🇮🇷 - هوش مصنوعی و علم داده به فارسی
📩 ارتباط با ما
#SpaceX #Astra
❤1
🤖 خبرنامه هوش مصنوعی و علم داده 🚀
هفته‌ای پر از نوآوری در دنیای هوش مصنوعی! از دستیارهای شخصی پیشرفته‌تر گرفته تا مدل‌های مولد ویدئو و ابزارهای امنیتی، تازه‌های این هفته را مرور می‌کنیم:
مدل‌های زبانی بزرگ (LLM):
- Siri AI: اپل بتای انگلیسی‌زبان دستیار صوتی خود را با قابلیت درک زمینه شخصی و تعامل بین برنامه‌ای عرضه کرد.
- Gemini 3.8 Live: گوگل دو مدل صوتی با درک بصری و قابلیت فراخوانی ابزار را معرفی کرد که یکی از آن‌ها توانایی استدلال و صحبت همزمان را دارد.
- Qwen3.8-Omni-Flash: مدل علی‌بابا که متن، تصویر، صدا و ویدئو را پردازش کرده و با داشتن زمینه یک میلیون توکنی، قابلیت تفکر، فراخوانی تابع و جستجوی وب را ارائه می‌دهد.
- Jev: مدل TypeSafe که به جای متن، راه‌حل‌های تایپ‌شده همراه با احتمالات را خروجی می‌دهد و تأخیر کمی دارد.
مدل‌های مولد:
- Qwen-Image 2.1: مدلی یکپارچه برای تولید و ویرایش تصاویر با وضوح 2K، پشتیبانی از RGBA و ماسک‌های محلی.
- Vidu S2: ابزاری برای ساخت آواتارهای 720p و ویرایش ویدئو در لحظه، شامل تغییر شخصیت، لباس، پس‌زمینه و سبک.
- Boreal: مدل Creatify برای تولید ویدئو از متن و تصویر، با قیمت تخمینی حدود ۰.۰۱ دلار در ثانیه.
- HiDream O1 Video: مدل image-to-video با API ناهمزمان که می‌تواند ویدئوهایی با طول دلخواه یا ثابت ۱۰ ثانیه‌ای تولید کند.
- Enhance Frame Rate: ابزار Runway برای افزایش نرخ فریم ویدئوهای آماده تا ۱۲۰ فریم بر ثانیه با حفظ وضوح اصلی.
عامل‌ها و محصولات:
- Claude یکپارچه شد: چت، Cowork و Design در Claude ادغام شده و قابلیت‌های ویرایش اسناد و اسلاید با خروجی PDF و PowerPoint اضافه شده است.
- ChatGPT در Office: افزونه‌ای برای Word، Excel و PowerPoint که قابلیت ویرایش فایل و استفاده از زمینه برنامه‌های متصل را دارد.
- Astra for Law: نسخه تخصصی GPT-6 برای حقوق ایالات متحده با ۲۶ ادغام، در حال حاضر برای برخی شرکت‌های حقوقی منتخب در دسترس است.
- عامل‌ها در DaVinci: نسخه ۲۱.۱ Resolve Studio با دستیارهای هوش مصنوعی برای مدیریت مدیا، تدوین و رندر.
امنیت و تحقیقات:
- Claude به هک OpenAI کمک کرد: محققان با استفاده از Claude یک آسیب‌پذیری را کشف کردند که منجر به دسترسی به مخازن داخلی شد (این آسیب‌پذیری‌ها رفع شده‌اند).
- ارزیابی داخلی در Anthropic: شرکت Accenture با دسترسی سطح بالا برای تست نفوذ و ارزیابی امنیتی، با Anthropic همکاری می‌کند.
آخرین نوآوری‌های هوش مصنوعی: دستیارهای شخصی، مدل‌های مولد و ابزارهای امنیتی
#Qwen3_8_Omni_Flash #Astra_for_Law
هفته‌ای پر از نوآوری در دنیای هوش مصنوعی! از دستیارهای شخصی پیشرفته‌تر گرفته تا مدل‌های مولد ویدئو و ابزارهای امنیتی، تازه‌های این هفته را مرور می‌کنیم:
مدل‌های زبانی بزرگ (LLM):
- Siri AI: اپل بتای انگلیسی‌زبان دستیار صوتی خود را با قابلیت درک زمینه شخصی و تعامل بین برنامه‌ای عرضه کرد.
- Gemini 3.8 Live: گوگل دو مدل صوتی با درک بصری و قابلیت فراخوانی ابزار را معرفی کرد که یکی از آن‌ها توانایی استدلال و صحبت همزمان را دارد.
- Qwen3.8-Omni-Flash: مدل علی‌بابا که متن، تصویر، صدا و ویدئو را پردازش کرده و با داشتن زمینه یک میلیون توکنی، قابلیت تفکر، فراخوانی تابع و جستجوی وب را ارائه می‌دهد.
- Jev: مدل TypeSafe که به جای متن، راه‌حل‌های تایپ‌شده همراه با احتمالات را خروجی می‌دهد و تأخیر کمی دارد.
مدل‌های مولد:
- Qwen-Image 2.1: مدلی یکپارچه برای تولید و ویرایش تصاویر با وضوح 2K، پشتیبانی از RGBA و ماسک‌های محلی.
- Vidu S2: ابزاری برای ساخت آواتارهای 720p و ویرایش ویدئو در لحظه، شامل تغییر شخصیت، لباس، پس‌زمینه و سبک.
- Boreal: مدل Creatify برای تولید ویدئو از متن و تصویر، با قیمت تخمینی حدود ۰.۰۱ دلار در ثانیه.
- HiDream O1 Video: مدل image-to-video با API ناهمزمان که می‌تواند ویدئوهایی با طول دلخواه یا ثابت ۱۰ ثانیه‌ای تولید کند.
- Enhance Frame Rate: ابزار Runway برای افزایش نرخ فریم ویدئوهای آماده تا ۱۲۰ فریم بر ثانیه با حفظ وضوح اصلی.
عامل‌ها و محصولات:
- Claude یکپارچه شد: چت، Cowork و Design در Claude ادغام شده و قابلیت‌های ویرایش اسناد و اسلاید با خروجی PDF و PowerPoint اضافه شده است.
- ChatGPT در Office: افزونه‌ای برای Word، Excel و PowerPoint که قابلیت ویرایش فایل و استفاده از زمینه برنامه‌های متصل را دارد.
- Astra for Law: نسخه تخصصی GPT-6 برای حقوق ایالات متحده با ۲۶ ادغام، در حال حاضر برای برخی شرکت‌های حقوقی منتخب در دسترس است.
- عامل‌ها در DaVinci: نسخه ۲۱.۱ Resolve Studio با دستیارهای هوش مصنوعی برای مدیریت مدیا، تدوین و رندر.
امنیت و تحقیقات:
- Claude به هک OpenAI کمک کرد: محققان با استفاده از Claude یک آسیب‌پذیری را کشف کردند که منجر به دسترسی به مخازن داخلی شد (این آسیب‌پذیری‌ها رفع شده‌اند).
- ارزیابی داخلی در Anthropic: شرکت Accenture با دسترسی سطح بالا برای تست نفوذ و ارزیابی امنیتی، با Anthropic همکاری می‌کند.
آخرین نوآوری‌های هوش مصنوعی: دستیارهای شخصی، مدل‌های مولد و ابزارهای امنیتی
📊 Data➕Science 🇮🇷 - هوش مصنوعی و علم داده به فارسی
📩 ارتباط با ما
#Qwen3_8_Omni_Flash #Astra_for_Law