ریاضی میں AI کی پیش رفت کا اشتراک

OpenAI ایک داخلی frontier model سے ریاضی کے کھلے مسائل کے نئے نتائج شائع کرتا ہے اور Lean proof formalizations اور تحقیق کی تفصیلات GitHub پر شیئر کرتا ہے۔

اصل ماخذ کی زبان · انگریزی

جانچا گیا · 10 اکتوبر، 2026