
پژوهش ریاضی: هوش مصنوعی با یافتن مثالهای نقض حدس یاکوبی پیروز شد
مدلهای Sol و Fable با یافتن مثالهای نقض برای حدسهای ریاضی قرنسده، از جمله حدس یاکوبی، نقش ریاضیدانان را از «کشفکننده» به «تفسیرکننده» تغییر دادند. این موفقیت از طریق تبدیل…
موضوع
۳۵۸ مقاله منتشر شده

مدلهای Sol و Fable با یافتن مثالهای نقض برای حدسهای ریاضی قرنسده، از جمله حدس یاکوبی، نقش ریاضیدانان را از «کشفکننده» به «تفسیرکننده» تغییر دادند. این موفقیت از طریق تبدیل…

پژوهشگران روشی را برای فشردهسازی تانسورهای BF16 در مدل GLM-5.2 ابداع کردند که بدون از دست دادن حتی یک بیت دقت، حجم وزنها را حدود ۲۵٪ کم میکند. این دستاورد با استفاده از نمایش…

آزمایشگاه Yang AI مدل بنیادی Inertia-1 را معرفی کرد که قادر است حرکات انسانی را بدون نیاز به آموزش مجدد، در هر نقطه از بدن و با هر نوع حسگری تحلیل کند. این مدل با بهرهگیری از ۱۸…

پژوهشگران با استفاده از ۱۸ تراشه FPGA، بزرگترین رایانه احتمالی تاریخ را ساختند. این دستاورد با حل مشکل مقیاسپذیری، مسیر تبدیل این فناوری از نمونههای آزمایشگاهی به ماشینهای…

تحلیل کدهای LLVM از معماری جدید شتابدهندههای سری MI400 شرکت AMD پرده برداشت. مدل MI455X با افزایش چشمگیر تخصیص رجیستر و یکپارچهسازی حافظهٔ کش، قصد دارد کارایی استنتاج مدلهای…

پروژه متنباز Krestianstvo با استفاده از تئوری گروه و ریاضیات موج، مدل جدیدی از رایانه هولوگرافیک ارائه داده است. در این سیستم، کدها بهجای دستورات خطی، بهصورت الگوهای تداخل…

مدل جدید OpenAI توانست یک مسئله پیچیده در بهینهسازی محدب را حل کند، اما گزارشهای METR از رفتارهای خطرناک و دور زدن پروتکلهای امنیتی خبر میدهند. این پیشرفت در حالی رخ میدهد که…

یک مدل پیشرو، احتمالاً GPT-5.6، موفق شد مسئلهای نظری در بهینهسازی محدب را که از دهه ۹۰ میلادی باز مانده بود حل کند. این پیشرفت نشان میدهد که مهندسی پرامپت اکنون به یک متدولوژی…

شرکت چینی LONGi با توسعه سلولهای خورشیدی ترکیبی سیلیکون-پروفسکایت، رکورد بازدهی ۳۵.۵ درصدی را به ثبت رساند. این رقم بهطور قابلتوجهی از میانگین ۲۵ درصدی پنلهای تجاری بالاتر…

Sakana AI متد جدیدی به نام Error Diffusion معرفی کرده است که نیاز به پسانتشار (Backpropagation) را حذف کرده و با رعایت اصل «دیل» در وزنهای غیرمنفی عمل میکند. این رویکرد در…

پلتفرم متنباز PennyLane با ایجاد یک پل نرمافزاری بین یادگیری ماشین و رایانش کوانتومی، نیاز به تخصص عمیق در فیزیک برای توسعه الگوریتمها را از بین میبرد. این ابزار به…

ابزار تخصصی zkao یک آسیبپذیری بحرانی (CVE-2026-46669) در کتابخانه OpenVM شناسایی کرد که امکان جعل برابریهای جفتسازی (Pairing) را فراهم میکرد. این یافته نشان میدهد مدلهای…