اوپن اے آئی کا نیا ماڈل اسٹرا 10 لمبے عرصے سے حل نہ ہونے والے ریاضی کے مسائل حل کرتا ہے

Beating مانیٹرنگ کے مطابق، OpenAI نے اپنا پہلا رسمی طور پر اعلان کیا گیا اہم ماڈل Astra۔ اندر کا ورژن 10 لمبے عرصے سے حل نہ ہونے والے ریاضی اور تھیوریٹیکل کمپیوٹر سائنس کے مسائل پر نئے نتائج حاصل کر چکا ہے۔ ان مسائل کے بنیادی نتائج کم از کم 10 سال تک ترقی نہیں ہوئی، اور زیادہ تر کی حالت اس سے بھی زیادہ پسماندہ تھی۔ ان میں سے کچھ مسائل کو براہ راست حل یا مسترد کر دیا گیا۔ Astra نے پہلی بار غیر sofic گروپ کی تعمیر کی، جس نے گروپ تھیوری میں ایک مرکزی کھلا مسئلہ حل کر دیا؛ اس نے Connes rigidity کے خیال کو مسترد بھی کیا اور تین Erdős مسائل کو حل کیا۔ باقی کاموں میں گولوں کی پیکنگ، کوڈنگ تھیوری، کوانٹم پیچیدگی اور پوسٹ-کوانٹم کرپٹوگرافی سے متعلق مسائل کے لیے نئے اوپر اور نیچے کے حدود اور مشکل ثابت کرنے کے نتائج شامل ہیں۔ OpenAI کا کہنا ہے کہ Astra نے ان 10 نتائج تک پہنچنے کے لیے جتنے Token استعمال کیے، ان کا Sol API قیمت کے حساب سے تخمینہ 2000 ڈالر ہے۔ یہ ریاضیاتی استدلال Astra نے تخلیق کیے۔ انسانوں نے بعد میں انہیں تحقیقی مقالوں میں ترتیب دینے میں مدد کی، اور ماڈل نے ہر ثبوت کو Lean سرٹیفکیٹ میں تبدیل کر دیا، جس سے کمپیوٹر مرحلہ وار جانچ سکتا ہے کہ استدلال درست ہے یا نہیں۔ OpenAI نے مقالات، ثبوت سرٹیفکیٹس اور ماڈل کے استدلال عمل کو علنا کر دیا ہے۔