AI رپورٹس · OpenAI · 2026-10-06 · بلاگ / تبصرہ
ریاضی میں AI کی پیش رفت کا اشتراک
اصل عنوان: Sharing AI progress in mathematics
OpenAI نے ایک اندرونی فرنٹیئر ماڈل کے ذریعے ریاضی کے کھلے مسائل پر نئے نتائج شائع کیے ہیں۔ وہ Lean پروف کی باضابطہ شکلیں اور تحقیقی تفصیلات GitHub پر بھی شیئر کر رہا ہے۔