چین ائتلافی از بیش از ۱۰۰۰ ریاضی‌دان تشکیل می‌دهد تا کاربرد هوش مصنوعی را در ریاضیات گسترش دهد. این تصمیم پس از ادعای OpenAI درباره حل مسئله‌ای مرتبط با معادلات ناویر–استوکس گرفته شد.
OpenAI مجموعه‌ای از ۳۷۲ نتیجه ریاضی را منتشر کرده که یک مدل پیشرفته داخلی آن را تولید کرده است. این شرکت اثبات‌ها را به‌جای مجلات علمی در GitHub قرار داده و داوری آن‌ها را به‌طور عملی به جامعه متخصصان سپرده است.
یک مدل هوش مصنوعی مدعی شد راه‌حلی برای یکی از سخت‌ترین مسائل حل‌نشده ریاضیات پیدا کرده است. اما واکنش تند برندگان مدال فیلدز نشان می‌دهد اختلاف اصلی نه بر سر درستی جواب، بلکه بر سر معنای «اثبات» در عصر ماشین است.
۲۵ برنده مدال فیلدز از جمله ترنس تائو هشدار دادند که رقابت شرکت‌های هوش مصنوعی بر سر ادعای برتری در حل مسائل ریاضی، به اعتبار پژوهش‌های علمی آسیب می‌زند. این هشدار در شرایطی مطرح شد که شرکت‌های فناوری موفقیت مدل‌های خود در آزمون‌های ریاضی را به‌عنوان معیار برتری تبلیغ می‌کنند.
OpenAI مدعی شد با هماهنگی هزاران عامل هوش مصنوعی، بخشی از معادلات ناویه-استوکس را که نزدیک به ۹۰ سال حل‌نشده باقی مانده بود، در ۸۸ ساعت پاسخ داده است. این ادعا هنوز از مسیر داوری علمی مستقل عبور نکرده و در میان ریاضی‌دانان با تردید همراه شده است.
یک مدل هوش مصنوعی منتشرنشده از شرکت آنتروپیک در بررسی فرضیه ریمان، یکی از هفت مسئله جایزه‌دار هزاره در ریاضیات، به پیشرفتی قابل‌توجه دست یافته است. این خبر بار دیگر پرسش درباره توان هوش مصنوعی در کشف ایده‌های تازه علمی را در کانون توجه قرار داده است.
یک نسخه معرفی‌نشده از هوش‌مصنوعی کلود، به گفته منابع نزدیک به این پروژه، در مسیر حل فرضیه ریمان -یکی از پیچیده‌ترین مسائل حل‌نشده ریاضیات از سال ۱۸۵۹- به پیشرفتی قابل‌توجه دست یافته است. اگر این ادعا در مجامع علمی تأیید شود، می‌تواند نشانه جهشی تازه در توان استدلالی هوش مصنوعی باشد.
تراژدی منابع مشترک چیست؟تراژدی منابع مشترک وضعیتی است که در آن هر فرد برای سود خودش از منبعی همگانی مانند مرتع، آب یا ذخایر ماهی بیش از اندازه برداشت می‌کند و سرانجام آن منبع برای همه از دست می‌رود.
صندوق اعتماد چیست؟
برنامه نجات دارایی‌های مشکل‌دار (TARP) چیست؟
توماس مالتوس کیست؟
طبقه‌بندی مالیاتی چیست؟
مفهوم بازگشتی چیست؟
SWOT چیست؟
علوم اجتماعی چیست؟
سیستم بانکداری سایه چیست؟
