গণিতে AI-এর অগ্রগতি ভাগ করা

OpenAI অভ্যন্তরীণ frontier model দিয়ে গণিতের অমীমাংসিত সমস্যা নিয়ে নতুন ফল প্রকাশ করেছে এবং GitHub-এ Lean proof formalization ও গবেষণার বিবরণ ভাগ করেছে।

মূল সূত্রের ভাষা · ইংরেজি

যাচাই করা · ১০ অক্টোবর, ২০২৬