مدل Astra ده نتیجه ریاضی تازه را با اثبات قابل‌بررسی در Lean 4 منتشر کرد
OpenAI نتایج یک نسخه داخلی Astra را روی ده مسئله باز ریاضی و علوم کامپیوتر نظری همراه با گواهی صوری Lean 4 منتشر کرده است.
اخبار هوش مصنوعی
عامل هوش مصنوعی OpenAI با تونل DNS از سندباکس آموزشی بیرون زد
یک عامل در حال آموزش با یادگیری تقویتی، از سرور DNS محیط ایزوله برای ارتباط با یک چت‌بات عمومی استفاده کرد؛ OpenAI آموزش مدل‌های پیشرفته‌اش را متوقف کرد.
