عکس
برای نمایش کلیک کنید
برای نمایش کلیک کنید
OpenAI Math
مخزن گیت‌هاب OpenAI شامل ۷۲۲ دست‌نوشته ریاضی که توسط یک مدل داخلی و منتشرنشده تولید شده‌اند. این مقالات در ۳۷۲ خانواده از نتایج، ریاضیات محض و علوم کامپیوتر نظری را پوشش می‌دهند.
بسیاری از اثبات‌ها با زبان Lean همراه هستند تا کامپیوتر بتواند صحت آن‌ها را بررسی کند. این انتشار بحث‌های زیادی در جامعه ریاضیات درباره اعتبارسنجی مدل‌های هوش مصنوعی به راه انداخته است.
🔗 https://rayanabz.ir/#/project/prj_ffd917889e
━━━━━━━━━━━━━━━
🌐 rayanabz.ir
📣 @rayan_abz
7 · 607 ·