یہ زبان مشین کے ذریعے ترجمہ کی گئی ہے اور کسی انسان نے اس کا جائزہ نہیں لیا۔

مصنوعی ذہانت · مضمون

OpenAI کی بڑے پیمانے پر ریاضی کے اشاعت سے تعلیمی ریاضی دانوں میں کیریئر کا خوف

اشاعت:

An office building at 1515 Third Street in the Mission Bay neighborhood of San Francisco, California. At the time this photo was taken, this building was home to the headquarters of OpenAI. Photographed by user Coolcaesar on June 15, 2025.
تصویر: Coolcaesar · CC BY 4.0 · Wikimedia Commons

مختصراً

6 اکتوبر 2026 کو، OpenAI نے 722 AI سے تیار کردہ مخطوطات شائع کیے جو 372 مسائل کے خاندانوں میں منظم تھے، جن میں Navier-Stokes Millennium Prize سوال پر ایک متنازع دعویٰ شامل تھا۔ Fields Medalist ہیوگو ڈومینل-کوپن نے کہا کہ انہوں نے اپنے 16 تحقیقی سوالات ان مقالات میں پائے جانے پر رویا، اسے اپنے شعبے کی تباہی قرار دیتے ہوئے، جبکہ ریاضی دانوں کے ایک گروپ نے اپنے ساتھیوں سے OpenAI کے ساتھ کام کرنا بند کرنے کی اپیل کی۔

یہ نسخہ اصل متن (English) کا مشینی ترجمہ ہے۔ اصل متن پڑھیں

6 اکتوبر 2026 کی شام کو، OpenAI نے ایک عوامی ریپوزٹری کھولی جس میں 722 ریاضیاتی مخطوطات تھے، جو 372 مسائل کے خاندانوں میں منظم تھے، ایک غیر جاری شدہ اندرونی ماڈل سے تیار کردہ، ٹیکنالوجی آؤٹ لیٹ Unite.AI کے مطابق۔ کمپنی نے کہا کہ اس نے نظام کو تقریباً 4،000 کھلے مسائل دیے ہیں اور صرف وہ ذیلی سیٹ شائع کیا ہے جو اسے جاری کرنے کے قابل سمجھا، جو الجبرا، عدد نظریہ، ٹوپولوجی، نظریاتی کمپیوٹر سائنس اور ریاضیاتی منطق میں پھیلا ہوا ہے۔

OpenAI نے کیا جاری کیا

Unite.AI نے رپورٹ دی کہ اندرونی ماڈل پر تربیت 28 اگست 2026 کو شروع ہوئی، تشخیص کی تاریخ 1 ستمبر کو شروع کی گئی۔ ماڈل نے کہا جاتا ہے کہ ایک Lean-رسمی شدہ ثبوت تیار کیا گیا جو Navier-Stokes تنہائی کے سوال کو حل کرتا ہے — Clay Mathematics Institute کے سات Millennium Prize مسائل میں سے ایک — تقریباً 5 ستمبر کے ارد گرد، OpenAI نے 8 ستمبر کو اس نتیجے کا اعلان کیا۔ کمپنی نے کہا کہ وہ منسلک $1 ملین انعام کی کوشش نہیں کریں گے۔ Fortune نے رپورٹ دیا کہ OpenAI نے 6 اکتوبر کے بیچ تین دوسرے Millennium Prize مسائل پر جزوی پیش رفت کا دعویٰ کیا ہے بغیر انہیں مکمل طور پر حل کیے۔

ہر مخطوطہ مشین کی توثیق کے ساتھ نہیں آیا۔ Unite.AI نے نوٹ کیا کہ بہت سے، لیکن تمام نہیں، مقالات Lean proof assistant میں رسمی نمائندگیوں میں شامل تھے، جو خودکار طور پر ہر منطقی مرحلے کو چیک کرتا ہے؛ غیر رسمی نتائج پوشیدہ غلطیوں کے زیادہ خطرے کا سامنا کرتے ہیں۔ Fortune نے رپورٹ دیا کہ 8 اکتوبر تک، OpenAI نے پہلے سے کم از کم تین شائع شدہ حل واپس لے لیے ہیں جب غلطیاں پائی گئیں۔

ایک Fields Medalist کہتے ہیں کہ اس نے رویا

یہ اشاعت کچھ محققین پر ذاتی طور پر اثر ڈالی۔ فرانسیسی آؤٹ لیٹ SenePlus نے رپورٹ دیا کہ ہیوگو ڈومینل-کوپن، جو 2022 میں statistical physics میں مرحلہ تبدیلی کے کام کے لیے Fields Medal جیتے، نے پایا کہ ان کے اپنے 16 کھلے تحقیقی سوالات OpenAI کے دعویٰ کردہ مسائل میں شامل تھے، یہ کہہ رہے ہیں کہ کمپنی نے اپنی تحقیق کی اس لائن کو مؤثر طریقے سے ختم کر دیا ہے۔ انہوں نے کہا کہ وہ منگل، 6 اکتوبر کی رات میں 7 اکتوبر تک رویا، اس حد تک کہ اپنی بیٹی کو جگایا۔

یہ ہماری سرگرمی کی تباہی ہے۔

— ہیوگو ڈومینل-کوپن، 2022 Fields Medalist، SenePlus کے حوالے سے

SenePlus کے مطابق، ڈومینل-کوپن نے 8 اکتوبر کو فرانسیسی ریاضی سوسائٹی کے ذریعے منعقد کردہ ایک ویڈیو کانفرنس میں بحث کی کہ ایک محقق کا مقصد صرف نظریات ثابت کرنا نہیں ہے بلکہ دوسری انسانوں کے لیے سمجھ پیدا کرنا ہے۔ انہوں نے کہا کہ وہ ابتدائی کیریئر کے ریاضی دانوں کی سب سے زیادہ فکر کرتے ہیں، جن کے بارے میں انہیں ڈر ہے کہ ان پر سب سے زیادہ اثر ہوگا کیونکہ خیالات اور جزوی نتائج کو ساتھیوں میں چلانے کی غیر رسمی ثقافت ٹوٹ جاتی ہے اگر ریاضی دان مسابقتی دبائو سے باہر کام کرنا شروع کریں۔

ریاضی دان واپسی کرتے ہیں

اس اشاعت نے Association for Human Mathematics (AHM) کے ایک کھلے بیان کو متحرک کیا، ایک گروپ جس کی Communications Working Group اسے 7 اکتوبر کو ریاضی دان Terence Tao کے بلاگ پر مہمان درج کے طور پر شائع کیا۔ بیان میں کہا گیا تھا کہ ریاضی دانوں نے اس کام کی طلب نہیں کی تھی اور OpenAI نے Advisory Group on Mathematics and Artificial Intelligence سے پہلے کی رہنمائی کو نظر انداز کیا تھا، ایک آزاد ادارہ جو اس بات پر مشورہ دیتا ہے کہ AI کمپنیوں کو ریاضیاتی دعویوں کو کیسے آزمانا اور شائع کرنا چاہیے، AHM بیان کے مطابق۔ بیان نے ایک بار میں 700 سے زیادہ فائلیں جاری کرنے کو OpenAI کے وسائل کے پیمانے کی عکاسی کے طور پر بیان کیا نہ کہ احتیاط سے علمی جائزہ کی۔

Fortune نے رپورٹ دیا کہ Terence Tao، Mastodon پر لکھتے ہوئے، نے کہا کہ یہ واقعہ اس کی نام سے پکارے جانے والے Math 1.0 کے اختتام کو نشان زد کرتا ہے، یہ بحث کرتے ہوئے کہ مسائل تیزی سے بڑھتے ہوئے AI صارفین کے ذریعے حل ہو رہے ہیں جن کی وسیع شعبے میں کوئی دلچسپی نہیں ہے اور یہ کہ نظم کو مسئلہ حل کرنے کے بجائے exposition اور community-building پر زیادہ قیمت دینے کی ضرورت ہے۔ New York University کے ریاضی دان Tristan Buckmaster، جنہوں نے Navier-Stokes کام کے بارے میں پہلے سے سروکار اٹھائے تھے، Fortune کے حوالے سے New York Times سے کہا کہ انہیں شک ہے کہ کچھ شائع شدہ نتائج دوسرے ریاضی دانوں کے پچھلے کام کو مکمل کرنے تک بڑھاتے ہیں بغیر مناسب سہرا کے۔

Columbia University کے ریاضی دان Peter Woit، اپنے بلاگ Not Even Wrong پر لکھتے ہوئے، اشاعت کو خراب طریقے سے منظم کے طور پر بیان کیا اور کہا OpenAI نے مشاورتی گروپ کی سفارشوں کو نظر انداز کیا تھا اس سے پہلے نتائج میں سے حل کرنے کی ذمہ داری ریاضیات کمیونٹی کے پاس منتقل کی۔ Woit نے مقالات کے پیچھے نظام کو ایک ماڈل کے طور پر شناخت دی جسے انہوں نے 'Astra' کہا۔ اس کے پوسٹ پر تبصروں میں کہا گیا کہ بہت سارے AI-تیار کردہ ثبوت تکنیکی طور پر گہرے تھے لیکن بہت کم ریاضیاتی intuition یا نیا نظری تفہم پیش کیے، یہاں تک کہ اگر درست ہوں۔

ایک نیا لڑائی نہیں

OpenAI اور ریاضی دانوں کے درمیان رگڑ اکتوبر اشاعت سے پہلے ہے۔ TechCrunch نے رپورٹ دیا کہ اکتوبر 2025 میں، OpenAI کے نائب صدر Kevin Weil نے ایک دعویٰ شائع کیا — اور بعد میں حذف کیا — کہ GPT-5 نے 10 پہلے سے حل شدہ Erdős مسائل میں حل تلاش کیے ہیں اور 11 دوسروں پر پیش رفت کی۔ Thomas Bloom، جو عوامی Erdős Problems database کو برقرار رکھتے ہیں، نے کہا کہ یہ framing انتہائی گمراہ کن تھی، یہ وضاحت دیتے ہوئے کہ اس کی سائٹ پر 'open' نشان زد مسائل صرف مطلب دیتے ہیں کہ وہ شائع شدہ حل سے بے خبر تھے، نہ کہ کوئی موجود ہے؛ انہوں نے کہا کہ GPT-5 موجودہ حوالے تلاش کیے ہیں جو وہ miss کیے تھے۔ OpenAI محقق Sebastien Bubeck نے بعد میں تسلیم کیا کہ ماڈل صرف شائع شدہ ادب میں موجودہ حل تلاش کیے تھے بجائے نئے دریافت کے، اگرچہ انہوں نے کہا کہ یہ ابھی بھی قیمت رکھتا ہے۔

سمرتھک کہتے ہیں کہ شعبہ موافق ہو سکتا ہے

ہر ریاضی دان نے اشاعت کو بحران کے طور پر سلوک نہیں کیا۔ Fortune نے University of Toronto کے ریاضی دان Dan Litt کو حوالہ دیتے ہوئے کہا کہ وہ ریاضیات کے لیے مجموعی طور پر اس ترقی کو مثبت سمجھتے ہیں، لیکن یہ انتباہ کے ساتھ کہ معاشرے کو اس بات کی ضرورت ہے کہ انسانی ریاضی دانوں کو مالیہ جاری رکھیں تاکہ اس کے نتیجے میں شعبے کو ادارہ جاتی حمایت میں خسارہ نہ ہو۔ Litt نے یہ بھی نوٹ کیا کہ OpenAI کے پاس اپنے تمام نتائج کو روایتی مقالات کے طور پر لکھنے کے لیے کافی ریاضی دان نہیں ہیں، جو انہوں نے کہا کہ اشاعت کے پیمانے اور رفتار کی وضاحت کرنے میں معاون ہے، معافی کے بغیر۔

OpenAI–ریاضیات تنازعہ کی timeline
تاریخواقعہذریعہ
19 اکتوبر 2025Kevin Weil کی Erdős-مسائل پوسٹ Thomas Bloom کے ذریعے متنازعTechCrunch
28 اگست–1 ستمبر 2026اندرونی ماڈل کھلے مسائل پر تربیت اور تشخیصUnite.AI
5 ستمبر 2026Navier-Stokes نتیجہ اندرونی طور پر تیار شدہUnite.AI
8 ستمبر 2026Navier-Stokes Millennium Prize دعویٰ عوامی طور پر اعلان شدہUnite.AI
6 اکتوبر 2026722 مخطوطات / 372 مسائل کے خاندان عوامی طور پر جاریUnite.AI, Woit
7 اکتوبر 2026Association for Human Mathematics بیان شائعTerence Tao کا بلاگ
8 اکتوبر 2026تین نتائج واپس لے لیے گئے؛ Duminil-Copin کی تبصرے فرانسیسی ریاضی سوسائٹی سیشن میںFortune, SenePlus

سوالات

OpenAI نے 6 اکتوبر 2026 کو بالکل کیا جاری کیا؟
ایک عوامی ریپوزٹری 722 AI-تیار کردہ ریاضی مخطوطات کے ساتھ، 372 مسائل کے خاندانوں میں منظم، ایک غیر جاری شدہ اندرونی ماڈل سے تیار اور الجبرا سے ریاضیاتی منطق تک شعبوں کو نمائندگی کرتے ہوئے، Unite.AI کے مطابق۔
کیا OpenAI نے واقعی Navier-Stokes Millennium Prize مسئلہ حل کیا؟
OpenAI کے اندرونی ماڈل نے تقریباً 5 ستمبر 2026 کو Navier-Stokes تنہائی کے سوال پر ایک نتیجہ تیار کیا، Clay Mathematics Institute کے سات Millennium Prize مسائل میں سے ایک، کمپنی نے 8 ستمبر کو اسے عوامی طور پر اعلان کیا اور کہا کہ $1 ملین انعام کی کوشش نہیں کریں گے؛ Fortune نے رپورٹ دیا کہ کمپنی نے اکتوبر اشاعت میں تین دوسرے Millennium Prize مسائل پر صرف جزوی پیش رفت کا دعویٰ کیا بغیر انہیں مکمل طور پر حل کیے۔
Hugo Duminil-Copin نے کیوں کہا کہ اس نے رویا؟
SenePlus کے مطابق، Fields Medalist نے پایا کہ ان کے 16 اپنے کھلے تحقیقی سوالات OpenAI کے ماڈل کے ذریعے مسائل میں شامل تھے، جسے انہوں نے ایک لائن کو مؤثر طریقے سے اپنی تحقیق کو ختم کرتے ہوئے بیان کیا اور اس کے الفاظ میں، ہماری سرگرمی کی تباہی۔
کیا OpenAI کے تمام ریاضی کے ثبوت درست ہیں؟
نہیں۔ Unite.AI نے رپورٹ دیا کہ بہت سے لیکن تمام نہیں مخطوطات میں Lean-رسمی (مشین-چیک کردہ) ثبوت شامل ہیں، اور Fortune نے رپورٹ دیا OpenAI نے پہلے سے 8 اکتوبر 2026 تک کم از کم تین شائع شدہ نتائج واپس لے لیے ہیں جب غلطیاں پائی گئیں۔
کیا ریاضیات کمیونٹی اشاعت کی مخالفت میں متحد ہے؟
نہیں۔ Association for Human Mathematics نے ریاضی دانوں سے OpenAI کے ساتھ کام کرنا بند کرنے کی اپیل کی، اور Terence Tao اور Peter Woit جیسی شخصیات نے اشاعت کی نقاد کی، لیکن University of Toronto کے ریاضی دان Dan Litt نے Fortune سے کہا کہ وہ اس ترقی کو مجموعی طور پر شعبے کے لیے مثبت سمجھتے ہیں۔

دنیا اسے کیسے بیان کر رہی ہے

ذرائع

  1. Unite.AI — OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model
  2. Fortune — OpenAI publishes solutions to more than 370 outstanding math challenges. Math may never be the same
  3. SenePlus — Quand l'IA résout les problèmes, que reste-t-il aux mathématiciens ?
  4. Terence Tao's blog — AHM Statement on OpenAI's October 6 Release of Mathematical Documents
  5. Not Even Wrong (Peter Woit) — Slopocalypse
  6. TechCrunch — OpenAI's embarrassing math

یہ تحریر مصنوعی ذہانت سے تیار کی گئی اور اشاعت سے پہلے ذرائع کی خودکار جانچ سے گزری۔ اگر آپ کو کوئی غلطی نظر آئے تو تصحیح کی درخواست کریں۔ تصحیح یا جواب کی درخواست · ہم کیسے کام کرتے ہیں

متعلقہ تحریریں