
مثالهای نقض در برابر اثباتهای مفهومی در مدلهای زبانی
تحلیل پیشرفتهای اخیر OpenAI نشان میدهد مدلهای زبانی برای یافتن مثالهای نقض و اثباتهای وجودی از طریق آزمون و خطای سریع بهینه شدهاند. این مدلها بهجای استدلال مفهومی عمیق، بر…
موضوع
۳۰۷ مقاله منتشر شده

تحلیل پیشرفتهای اخیر OpenAI نشان میدهد مدلهای زبانی برای یافتن مثالهای نقض و اثباتهای وجودی از طریق آزمون و خطای سریع بهینه شدهاند. این مدلها بهجای استدلال مفهومی عمیق، بر…

یک چارچوب جدید با جایگزینی روشهای سنتی تاگوچی با بهینهسازی مبتنی بر مدلهای زبانی، هزینه آزمایشات صنعتی را از ۸۰۰ هزار ین به ۳ هزار ین رساند. این متد با تبدیل طراحی محصول به یک…

بهروزرسانی جدید pg_clickhouse با انتقال زیرپرسوجوهای پیچیده مستقیماً به ClickHouse، گلوگاههای پردازشی را از بین برده است. این تغییر معماری باعث شد زمان اجرای برخی پرسوجوهای…

یک مدل آزمایشی از شرکت آنتروپیک با استفاده از یک سامانه چندعاملی، موفق شد کران پایین راهکارهای فرضیه ریمان را افزایش دهد. این دستاورد حاصل بررسی ۶۵۰ ایده مختلف طی ۳۶ ساعت محاسبات…

زبان Mojo با انتشار نسخه ۱.۰ از فاز بتای ناپایدار خارج شد تا زیرساختی ثابت برای توسعه سیستمهای هوش مصنوعی فراهم کند. این بهروزرسانی ریسک تغییرات ناگهانی در نحو زبان را حذف کرده…

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

مدل منتشرنشدهٔ Astra توانسته است ۱۰ مسئلهٔ پیچیده ریاضی را که دههها ریاضیدانان را به چالش کشیده بود، حل کند. این دستاورد در حالی رخ داده که بحثهای شدیدی دربارهٔ سرقت اعتبار علمی…

شرکتهای داروسازی در حال جایگزینی سیلوهای داده با یک لایه هوشمند یکپارچه هستند. این تغییر اجازه میدهد هماهنگی میان کشف دارو، آزمایشهای بالینی و اجرای تجاری بهصورت لحظهای صورت…

پژوهشگران با استفاده از مدلهای محاسباتی هوش مصنوعی، شبکهای گسترده از ۷۶۶ ژن مرتبط با اسکیزوفرنی را شناسایی کردند. این کشف دیدگاه علمی را از جهشهای تکگانه به سمت یک شبکه…

پژوهشگران هوش مصنوعی در دانشگاهها بهدلیل هزینههای سرسامآور سختافزاری و بسته بودن مدلهای پیشرو، دسترسی خود به لبهٔ تکنولوژی را از دست دادهاند. این وضعیت منجر به چرخش…

پروژه VectorWare با پیادهسازی قابلیت SIMD قابلحمل Rust روی سختافزار GPU، نیاز به نوشتن کدهای اختصاصی برای هر معماری را از بین برد. این دستاورد اجازه میدهد یک کد با کارایی…

یک نسخه پژوهشی از مدل Claude موفق شد یکی از قدیمیترین مسائل نظری عدد را با افزایش کران پایین تابع زتای ریمان از ۴۱.۶٪ به ۶۷.۲٪ به پیش ببرد. این مدل هرچند فرضیه ریمان را بهطور…