خرید آنلاین و حضوری با اسنپ‌پی
در حال بارگذاری…
شبکه اطلاع رسانی طـــــــــــلا، ســکـــــــــــه و ارز
کیان

اثبات ریاضی

OpenAI اثبات‌های ریاضی هوش مصنوعی را به‌جای مجلات علمی در GitHub منتشر کرد
۳۷۲ نتیجه از یک مدل داخلی

OpenAI اثبات‌های ریاضی هوش مصنوعی را به‌جای مجلات علمی در GitHub منتشر کرد

OpenAI مجموعه‌ای از ۳۷۲ نتیجه ریاضی را منتشر کرده که یک مدل پیشرفته داخلی آن را تولید کرده است. این شرکت اثبات‌ها را به‌جای مجلات علمی در GitHub قرار داده و داوری آن‌ها را به‌طور عملی به جامعه متخصصان سپرده است.

ادعای حل یک مسئله هزاره‌ای با هوش مصنوعی، خشم ریاضی‌دان‌ها را برانگیخت
نبرد بر سر تعریف اثبات ریاضی

ادعای حل یک مسئله هزاره‌ای با هوش مصنوعی، خشم ریاضی‌دان‌ها را برانگیخت

یک مدل هوش مصنوعی مدعی شد راه‌حلی برای یکی از سخت‌ترین مسائل حل‌نشده ریاضیات پیدا کرده است. اما واکنش تند برندگان مدال فیلدز نشان می‌دهد اختلاف اصلی نه بر سر درستی جواب، بلکه بر سر معنای «اثبات» در عصر ماشین است.

گزارش‌ بازارها

بیشتر ←