موضوع
۸۲ مقاله منتشر شده
با کاهش هزینه تولید کد توسط هوش مصنوعی، گلوگاه توسعه از «نوشتن» به «تأیید» تغییر کرده است. اکوسیستم جدیدی از ابزارهای TypeScript در حال ظهور است تا با تبدیل مفروضات ذهنی به قوانین…
ترنس تائو، ریاضی‌دان برجسته، هشدار می‌دهد که تولید انبوه اثبات‌ها توسط هوش مصنوعی می‌تواند توانایی انسان در بازبینی و درک منطق ریاضی را از بین ببرد. او معتقد است اولویت باید از…
لایه امنیتی Correctover با بازرسی لحظه‌ای فراخوانی‌های ابزاری، مانع از تزریق دستورات مخرب و افشای اعتبارنامه‌ها می‌شود. این سیستم با معرفی یک استاندارد ۷-بعدی، امنیت عامل‌ها را از…
گوتام کورلام، مهندس ارشد Sonar، استدلال می‌کند که سرعت تولید کد توسط AI باعث افزایش فشار بر فرآیند اعتبارسنجی شده است. او راهکاری ترکیبی از تحلیل‌های قطعی (Deterministic) و…
ابزار متن‌باز lucasartsifier با استفاده از تحلیل استاتیک، وضعیت‌های «سافت‌لاک» یا بن‌بست‌های منطقی را در بازی‌های قدیمی سیرا شناسایی و اصلاح می‌کند. این سیستم بدون تغییر در…
پروتکل Elara سیستمی را پیاده کرده است که در آن اقدامات عامل‌های هوش مصنوعی به‌جای ادعاهای متنی، به صورت سوابق امضاشده و قابل‌راستی‌آزمایی روی زنجیره ثبت می‌شوند. نتایج ممیزی‌های…
تمرکز فعلی امنیت هوش مصنوعی بر شناسایی و مجوزهاست، اما ایمنی ابزارهایی که عامل‌ها به آن‌ها متصل می‌شوند نادیده گرفته شده است. رویکرد جدید، اعتماد به فروشنده را با اثبات‌های امنیتی…
سامانه AxiomProver موفق شد یکی از پیچیده‌ترین نتایج نظریه اعداد را به‌صورت رسمی و ماشین‌خوان بازسازی کند. این دستاورد نشان‌دهنده گذار هوش مصنوعی از حل مسائل کوتاه مسابقاتی به…
یک بررسی عملی نشان می‌دهد که مدل‌های زبانی با وجود سرعت بالا در پیشنهاد ورودی‌های تست، بدون یک سیستم نظارت سخت‌گیرانه، خروجی‌های بی‌فایده تولید می‌کنند. از ۸۷ بذر پیشنهادی برای یک…
پژوهشگران ابزار TNODEV را معرفی کردند؛ نخستین راستی‌آزمای رسمی و «صحیح» برای معادلات دیفرانسیل عصبی (Neural ODEs) که از یک حلقه‌ی پالایش تکرارشونده برای افزایش دقت استفاده می‌کند.…