پژوهش
LeRobotDataset v3.0: دیتاست بزرگپیکربندی جدید برای هوش مصنوعی اعلام شد
معرفی نسخه 3.0 LeRobotDataset، یک فرمت نوین برای ذخیرهسازی و دسترسی به میلیونها لذت روباتیک با استفاده از فایلهای چند قسمتی و دسترسی استریمینگ، سرعت بخشیدن به توسعه مدلهای هوش مصنوعی.
محصولات
هوش مصنوعی با GPT‑OSS: فست ترنسفورمرها جدید و راهکارهای تحویل سریع
بهروزرسانیهای مهم در کتابخانه transformers برای مدلهای GPT‑OSS از OpenAI – کواانتیزهسازی MXFP4، Flash Attention 3 و پاراللسازی Tensor – راهنمای عملی برای توسعهدهندگان و محققان
پژوهش
هوش مصنوعی در اثبات نظریه: Kimina-Prover-RL و تأثیراتش
Kimina-Prover-RL، یک پایپلاین آموزش بازآفرینی در Lean 4، ترکیبی از استدلال ساختارمند و تولید متن است که قابلیتهای جدیدی برای اثبات خودکار در حوزهی هوش مصنوعی ارائه میدهد.