✨ بــسم الله الرحــمن الرحــیم ✨
- دانش تنها چیزی که نمیتونن ازت بگیرن پس یادبگیر -
اینجا قرار هست ما کنار همدیگه هر چیزی به دست میاریم به اشتراک بزاریم چون مدیون نسل گذشته ایم ...
ارتباط با ما :
https://t.me/dvhost_cloud?direct
Post #886
345
🧠 هوش OpenAI رفته سراغ حل مسائل باز ریاضی!!
شرکت OpenAI یک ریپوی جدید به اسم «Math» منتشر کرده که داخلش نتایج یک مدل داخلی و هنوز منتشرنشده این شرکت روی مسائل تحقیقاتی ریاضی قرار گرفته. 🤯
یعنی مسائلی که هنوز جواب یا اثبات پذیرفتهشدهای برای اونها وجود نداشته.
📚 فعلاً داخل این مجموعه:
• ۷۲۲ مقاله و دستنوشته ریاضی
• ۳۷۲ خانواده از نتایج مختلف
• اثباتهای رسمی با Lean برای بخشی از نتایج
• خلاصهای از روند استدلال مدل برای تعدادی از مسائل
شرکت OpenAI یک ریپوی جدید به اسم «Math» منتشر کرده که داخلش نتایج یک مدل داخلی و هنوز منتشرنشده این شرکت روی مسائل تحقیقاتی ریاضی قرار گرفته. 🤯
بین سؤالهایی که به مدل داده شده، «مسائل باز ریاضی» هم وجود داشته؛
یعنی مسائلی که هنوز جواب یا اثبات پذیرفتهشدهای برای اونها وجود نداشته.
📚 فعلاً داخل این مجموعه:
• ۷۲۲ مقاله و دستنوشته ریاضی
• ۳۷۲ خانواده از نتایج مختلف
• اثباتهای رسمی با Lean برای بخشی از نتایج
• خلاصهای از روند استدلال مدل برای تعدادی از مسائل
https://github.com/openai/math




