دانیل لیت: ضرورت تغییر هدف دکترا از رساله به دفاع شفاهی
دانیل لیت استدلال می‌کند که با ظهور هوش مصنوعی فوق‌بشری در اثبات قضایا، تولید متن ریاضی دیگر نشانه تخصص انسانی نیست. او پیشنهاد می‌دهد هدف دکترا از «نوشتن رساله» به «اثبات درک…
۱۴ دقیقه خواندن۱
موضوع
محاسبات علمی
۳۵۸ مقاله منتشر شده
پروژه Fly.exe: شبیه‌سازی ۱۶۵ هزار نورون مگس روی یک کارت گرافیک
پروژه متن‌باز Fly.exe موفق شد ساختار کامل عصبی یک مگس نر را با ۱۶۵ هزار نورون روی یک کارت گرافیک شبیه‌سازی کند. این سیستم در یک محیط بسته، واکنش‌های رفتاری مگس‌ها را در پاسخ به…
۱۳ دقیقه خواندن۲
اتحاد ابررایانه‌های بریتانیا و آمریکا برای تسریع طراحی نیروگاه‌های گداخت هسته‌ای
سازمان انرژی اتمی بریتانیا و آزمایشگاه PPPL آمریکا با ادغام ابررایانه‌های SUNRISE و STELLAR-AI، زیرساختی مشترک برای آموزش مدل‌های هوش مصنوعی ایجاد کردند. هدف این همکاری، کاهش چرخه…
۵ دقیقه خواندن۱
آیا مدل‌های زبانی پیشرفته توانایی حل مسائل باز ریاضی را دارند؟
آیوش باتیجا و پرینس روهاتگی با ترکیب مدل‌های زبانی پیشرفته، مسئله‌ای باز در نظریه چندجمله‌ای‌های لورنتزی را حل کردند. این دستاورد ۷۵ صفحه‌ای نشان می‌دهد که هوش مصنوعی چگونه سد…
۱۶ دقیقه خواندن
«پایش پیش‌بینانه»؛ راهکار جدید Apache IoTDB برای نگهداری تجهیزات هسته‌ای
یک معماری داده جدید با ترکیب ذخیره‌ساز سری زمانی Apache IoTDB و مدل‌های بنیادی Timer، پیش‌بینی خرابی تجهیزات در نیروگاه‌های هسته‌ای را ممکن کرده است. این سامانه برای حفظ امنیت،…
۵ دقیقه خواندن۱
OpenAI: ۱۰ هزار عامل هوش مصنوعی مسئله ناویر-استوکس را حل کردند
یک سیستم متشکل از ۱۰ هزار عامل هوش مصنوعی با همکاری موازی، راهکاری برای مسئله پیچیده دینامیک سیالات ناویر-استوکس ارائه داد. این دستاورد هم‌زمان با موج انتشار مدل‌های بهینه از…
۷ دقیقه خواندن۲
ارزیابی انسانی؛ تنها معیار قابل‌اتکا برای همراستاسازی مدل‌های زبانی
معیارهای خودکار مانند BLEU در تشخیص ظرافت‌های معنایی ناتوان‌اند و ریسک توهم مدل را بالا می‌برند. PixelBank تبیین می‌کند که چگونه قضاوت انسانی از طریق مقایسه‌های زوجی، شکاف میان…
۹ دقیقه خواندن
۵ نوآور زیر ۳۵ سال با ترکیب هوش مصنوعی و ویرایش ژنی زیست‌شناسی را بازنویسی
مجله MIT Technology Review از پنج پژوهشگر جوان معرفی کرد که با استفاده از ویروس‌های طراحی‌شده توسط هوش مصنوعی و بازبرنامه‌ریزی سلولی، در حال درمان بیماری‌های نادر و معکوس کردن…
۳ دقیقه خواندن
پروتکل‌های یادگیری ماشین نویز داده‌های سن پیربیولوژیک را حذف کردند
پروتکل‌های جدید یادگیری ماشین با جایگزینی فرمول‌های خطی، سیگنال‌های واقعی پیری را از نویزهای آزمایشگاهی در تست‌های اپی‌ژنتیک تفکیک می‌کنند. این سیستم‌ها با استفاده از رگرسیون منظم…
۴ دقیقه خواندن
۱۰ هفته‌ای که دهه‌ها تلاش علمی در ریاضی و رمزنگاری را به صفر رساند
بین مه ۲۰۲۶ و جولای ۲۰۲۶، مدل‌های هوش مصنوعی گره‌های ۸۷ ساله ریاضی را گشودند و استانداردهای رمزنگاری پساکوانتومی را شکستند. این سرعت در پیشرفت علمی، چارچوب‌های امنیتی و…
۷ دقیقه خواندن۱
پلتفرم K Pro با ترکیب داده‌های بیمار و آزمایشگاه، اهداف دارویی AI را اعتبارسنجی
شرکت Owkin پلتفرم K Pro را برای تبدیل پیش‌بینی‌های هوش مصنوعی به واقعیت‌های پزشکی معرفی کرد. این سامانه با ادغام داده‌های چندوجهی بیماران و تست‌های آزمایشگاهی، فرآیند کشف دارو را…
۹ دقیقه خواندن
درون استراتژی OpenAI؛ اولویت دادن به ایمنی بر بهینه‌سازی ریاضیات
مدل جدید OpenAI با حل ۱۰۶ مسئله باز ریاضی، رتبه اول محک ErdosBench را به دست آورد. نکته غافلگیرکننده این است که این شرکت عمداً از بهینه‌سازی تخصصی ریاضیات پرهیز کرده تا روی…
۳ دقیقه خواندن