رفتن به محتوای اصلی
کوهستان
داغ‌ترین
ادغام هوش مصنوعیانتخابات پارلمانیامنیت زنجیره تامینایمونوتراپی سرطانسرکوب فعالان مدنیسرمایه‌گذاری خارجیقانون آلودگی فرامرزیامنیت خلیج فارسدیپلماسی منطقه‌ایزیرساخت هوش مصنوعیلجستیک دیجیتالاحکام امنیتیسخت‌افزار هوش مصنوعیکمک‌های بشردوستانهتوسعه تجدیدپذیرها

مدل «آسترا»ی OpenAI ده مسئله حل‌نشده ریاضی را با هزینه ۲۰۰۰ دلار حل و اثبات‌های رسمی آن را منتشر کرد: روند کامل رویداد

همهٔ گزارش‌های این خبر در حال توسعه، از نخستین تا تازه‌ترین.

«مدل «آسترا»ی OpenAI ده مسئله حل‌نشده ریاضی را با هزینه ۲۰۰۰ دلار حل و اثبات‌های رسمی آن را منتشر کرد: روند کامل رویداد» را در اپ کوهستان دنبال کنید تا از خبرهای تازه‌اش باخبر شوید. دریافت اپ

  1. مدل «آسترا»ی OpenAI ده مسئله حل‌نشده ریاضی را با هزینه ۲۰۰۰ دلار حل و اثبات‌های رسمی آن را منتشر کرد

    مدل آتی «آسترا»ی OpenAI به طور خودکار ۱۰ مسئله باز ریاضی را که دهه‌ها حل نشده بودند، حل کرده و برای اثبات کار خود، گواهی‌های «لین ۴» (Lean 4) قابل بررسی توسط ماشین ارائه داده است.

  2. ادعای OpenAI: هوش مصنوعی معمای جایزه هزاره ناویر-استوکس را در ۸۸ ساعت حل کرد؛ آغاز یک دعوای علمی

    گزارش‌ها حاکی از آن است که یک مدل منتشرنشده از OpenAI اثباتی تاییدشده برای یک معمای ۹۰ ساله در دینامیک سیالات ارائه کرده است؛ دستاوردی که به یک مناقشه بر سر حق تقدم با ریاضیدانان مستقل دامن زده است.

  3. تشکیل گروه مشورتی مستقل ریاضیات توسط OpenAI پس از ادعای حل بیش از ۱۰۰ مسئله حل‌نشده با هوش مصنوعی

    پس از ادعای حل مسئله جایزه هزاره ناویر-استوکس، شرکت OpenAI اعلام کرد که مدل داخلی آن بیش از ۱۰۰ مسئله دیرینه ریاضی دیگر را نیز حل کرده است.