کم سے کم 15 ماہ پہلے ایک اسٹینفورڈ سے ڈراپ آؤٹ نے قائم کیا گیا ایک اسٹارٹ اپ دعویٰ کرتا ہے کہ اس نے وہ کام کر لیا ہے جو عام طور پر انسانی ریاضیدانوں کو دہائیوں لگتے ہیں: ایک AI سسٹم کا استعمال کرتے ہوئے ریاضی کے متعدد حل نہ ہو سکے والے مسائل کو حل کرنا، اور پھر اپنے کام کو اکادمیک اداروں کی طرف سے قبول کروانا۔
اکسیوم میتھ، پالو الٹو واقع ایک کمپنی جس کی قیادت بانی کرینا ہانگ کر رہی ہے، کا کہنا ہے کہ اس کا اکسیوم پروور سسٹم پہلے حل نہ ہونے والے کم از کم چار ریاضیاتی مسائل کو حل کر چکا ہے۔ ثبوت فروری 2026 میں arXiv پر شائع کیے گئے، لیکن مئی 2026 کے آخر تک، کوئی بھی پیئر ریویو جرنل کی شائع شدہ تصدیق نہیں ہوئی ہے — ایک امتیاز جسے مضمون کا فریم ورک چھپا رہا ہے۔
اکسیوم نے دراصل کیا حل کیا
اکسیوم پروور کے ذریعے حل کیے گئے مسائل عام تمرینات نہیں ہیں۔ اس کے نتائج میں الجبرائی جیومیٹری میں اہم حدسیات اور فیل کی حدس، جو سرینواسا رامانجن کے کام سے منسلک ہے، کے حل شamil ہیں۔ حل شدہ مسائل میں سے ایک 20 سال پرانی نظریہ اعداد کی حدس ہے۔
کم از کم ایک ثبوت ماندہ ریاضیدانوں کے ساتھ تعاون سے حاصل ہوا، صرف مشین کی پیداوار نہیں۔
کمپنی Lean ثبوت مددگار کے ذریعہ فارمل ویریفیکیشن استعمال کرتی ہے۔ اس کے بجائے کہ وہ ایسا متن تیار کرے جو ثبوت کی طرح دکھائی دے اور امید کرے کہ یہ درست ہوگا، AxiomProver وہ ثبوت پیدا کرتا ہے جن کی منطقی درستگی ہر مرحلے پر مکینیکل طور پر چیک کی جاتی ہے۔ یہ فارمل ویریفیکیشن لیئر وہ چیز ہے جو اس کام کو اعتماد فراہم کرتی ہے جو عام بڑے زبان ماڈل کے آؤٹ پٹس میں نہیں ہوتا۔
پیسہ اور اس کے پیچھے کی ٹیم
اکسیوم میتھ نے مینلو وینچرز کی قیادت میں سیریز اے فنڈنگ میں 200 ملین ڈالر جمع کر لیے، جس سے اس کی پوسٹ مونی ویلیویشن 1.6 ارب ڈالر ہو گئی۔ اس سے پہلے کے بیج انویسٹمنٹس میں 64 ملین ڈالر شامل تھے، جس سے کل معلوم فنڈنگ 264 ملین ڈالر ہو گئی۔ ہانگ نے مارچ 2025 میں اس کاروبار کو شروع کرنے کے لیے سٹینفورڈ میں جوائنٹ جے ڈی/فیل ڈی پروگرام چھوڑ دیا۔
کین اونو، جو رامانوجن کی ورثہ اور ماڈیولر فارمز پر کام کے لیے مشہور عددی نظریہ دان ہیں، ایکسیوم میتھ میں ایک بنیادی ریاضیدان کے طور پر شامل ہو گئے۔
ای آئی اور ریاضی کا بڑا منظر
اکسیوم میتھ خالی ماحول میں کام نہیں کر رہا۔ گوگل کا ڈیپ مائنڈ ریاضیاتی استدلال میں، خاص طور پر اپنے ایلفا پروف سسٹم کے ساتھ، آگے بڑھ رہا ہے۔
ریاضیدانوں کے لیے معاہدہ یہ ہے کہ وہ اپنے پیپرز کو جب تک ان کا جائزہ لیا جاتا ہے، arXiv پر پریپرینٹس شائع کرتے رہیں، جس عمل میں ماہوں یا حتیٰ کہ سالوں لگ سکتے ہیں۔ فروری 2026 کے arXiv پوسٹس اب ایکسپرٹس کی نگرانی کے تحت ہیں، اور مئی 2026 کے آخر تک کوئی م-peer reviewed شائع شدہ تحریریں تصدیق نہیں ہوئی ہیں۔