AI-translated from English; not yet reviewed by a fluent editor.

# علامت کی غلطی کے باعث OpenAI نے ریاضی کے تین مسودے واپس لیے

> OpenAI نے علامت کی غلطی کے باعث ریاضی کے تین مسودے واپس لیے۔ نوٹس ثبوت کے ناکام مرحلے کی نشاندہی کرتے ہیں، سابقہ PDF محفوظ رکھتے ہیں اور دعووں کو ثابت نہیں کرتے۔

By BIG CHANGE Editorial

Published: 2026-10-08T16:17:52.496Z
Updated: 2026-10-08T22:15:14.321Z
Canonical: https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error

![A plain wall-mounted blackboard bears a single minus sign over a faint, partly erased plus-shaped chalk mark; a small eraser rests on its attached ledge.](https://bigchange.ai/api/media/file/openai-math-sign-correction-hero-v1.png)
AI-generated conceptual illustration by BIG CHANGE. The board and marks are symbolic; no real proof, source document, repository, review or theorem validation is depicted.

پہلے مقالے کے ثبوت میں علامت کی غلطی ملنے کے بعد OpenAI نے اپنے عوامی ریاضیاتی مجموعے سے باہم متعلق تین مسودے واپس لے لیے۔ کمپنی کی ذخیرۂ کوڈ کی تاریخ [repository history](https://github.com/openai/math/blob/main/history.md)7 اکتوبر کے اندراج میں مزید 14 مسودوں کی نظرثانی اور مزید 13 میں حوالہ جات کی تازہ کاری بھی درج کرتی ہے۔ تینوں واپسی نوٹس کی تاریخ 6 اکتوبر ہے۔ وہ ثبوت میں کمی کی نشاندہی کرتے ہیں، ریاضیاتی بیانات کی تردید نہیں۔

## بڑی تبدیلی

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

## ثبوت کہاں رکا

واپس لیا گیا پہلا مقالہ، “  *Algebraicity of Weil classes on split abelian eightfolds*”، مخصوص ابیلیائی اقسام کے تناظر میں الجبریت کا نتیجہ قائم کرنے کا دعویٰ کرتا تھا۔ اس کا [withdrawal notice](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md) نوٹس مقالے کے اپنے علامت دار دوہری نقاط کے طریقۂ کار کے مطابق مسئلہ بیان کرتا ہے۔ ثبوت کا آغاز تعداد سے ہوا `-m`، جہاں `m` مثبت ہے۔ اس نے ہر `m` معکوس استحکامی سراغ کو علامت `+1` دی، جس سے تعداد صفر تک منسوخ ہوتی دکھائی دی۔ OpenAI اب کہتا ہے کہ معیاری کسپ کی دو شاخوں کے ماخذی رخ مخالف ہونے کے باعث ہر سراغ کی علامت `-1` ہے۔ اس وضاحت کے مطابق تعداد `-2m` بنتی ہے، صفر نہیں۔

اس مرحلے پر استعمال ہونے والا منسوخی کا قضیہ علامت دار دوہری نقاط کی صفر تعداد کا تقاضا کرتا ہے۔ OpenAI کے مطابق، اس لیے ثبوت بعد کی سمتی جراحی اور سرایت شدہ برین کی تعمیر کی تائید نہیں کرتا اور نہ ہی مقالے کا دعویٰ کردہ قضیہ قائم کرتا ہے۔ نوٹس یہ **نہیں** کہتا کہ قضیے کا بیان غلط ہے۔

باقی دونوں نوٹس اس کمی کو اسی تعمیر کے ایک اطلاق سے جوڑتے ہیں۔ OpenAI کہتا ہے کہ [*Algebraicity of Kuga–Satake Correspondences for K3 Surfaces*](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Kuga-Satake-Correspondences-for-K3-Surfaces-October-3-2026/README.md) میں دعویٰ کردہ الجبریت کا قضیہ غیر ثابت شدہ ہے۔ [*The rational Hodge conjecture for products of K3 surfaces*](https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-products-of-K3-surfaces-October-4-2026/README.md) کے بارے میں نوٹس بھی یہی کہتا ہے کہ اس مقالے کا پروجیکٹو K3 سطحوں کی حاصل ضرب سے متعلق قضیہ ثابت نہیں۔ تاریخی فائل انہی تین مسودوں کا نام لیتی ہے؛ نوٹس مجموعے کے غیر متعلق نتائج کو واپس لیا ہوا قرار نہیں دیتے۔

ہر نوٹس واپسی سے پہلے کے PDF سے جوڑتا ہے، ذخیرے کی نظرثانی `adc7f1241b42e322a6451854ab7e4b4c146bf78a` پر۔ BIG CHANGE نے تینوں نوٹس کے روابط اور محفوظ شدہ PDF کے مقامات دیکھے۔ یہ عوامی دستاویزات کا معائنہ تھا، دلائل کی ریاضیاتی جانچ یا Lean میں ثبوت کی پڑتال نہیں۔

## وسیع تر نظرثانی، محدود تر نتائج

اسی [October 7 history entry](https://github.com/openai/math/blob/main/history.md)7 اکتوبر کی تاریخی انٹری میں OpenAI مزید 14 مسودوں کی نظرثانی کا ذکر کرتا ہے۔ کمپنی کئی شعبوں میں ثبوتوں کی اصلاح اور بیانات، مفروضوں اور انحصارات میں تبدیلیوں کے ساتھ ایک پرانے حوالہ کی تصحیح بیان کرتی ہے۔ اس انٹری کے مطابق مزید 13 مسودوں میں متعلقہ نظرثانی شدہ ایڈیشنوں کے حوالہ جات تازہ کیے گئے۔ OpenAI چھ اضافی رسمی تصدیقات کی بھی اطلاع دیتا ہے، جس سے رسمی شکل دیے گئے سرفہرست نتائج کی تعداد 719 میں سے 300، یعنی تقریباً 42% ہو گئی۔

یہ اعداد ذخیرے کی تازہ کاری کے بارے میں OpenAI کی رپورٹ بیان کرتے ہیں۔ یہ نظرثانی شدہ دلائل کی صحت نہیں ناپتے اور نہ دکھاتے ہیں کہ رسمی شکل دیے گئے مسودے کے ہر دعوے کی جانچ ہوئی ہے۔ ذخیرے کا [README](https://github.com/openai/math) خود کہتا ہے کہ مجموعے میں مختلف توثیقی مراحل کے کام شامل ہیں اور خبردار کرتا ہے کہ بعض غیر رسمی نتائج میں مسائل ہو سکتے ہیں۔ اس رپورٹنگ کے دوران ہمیں اس مخصوص علامتی غلطی اور اس پر منحصر ثبوتوں کا بروقت آزاد ریاضیاتی جائزہ نہیں ملا۔

6 اکتوبر کی اشاعت سے AI کے تیار کردہ مسودوں کا ایک بڑا مجموعہ عوام کے سامنے آیا۔ ہماری سابقہ [repository inspection](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) بتاتی ہے کہ کسی نسخے کو کیسے مقرر کیا جائے اور مسودے کو اس کے رسمی ثبوتی مواد سے کیسے الگ سمجھا جائے؛ ہماری [opinion on research-review capacity](https://bigchange.ai/blog/ai-research-discovery-review-capacity) اس حجم کی اشاعت کا جائزہ لینے کے لیے درکار کام پر بحث کرتی ہے۔ واپسی کا نیا ریکارڈ اس فرق کو برقرار رکھنے کی ٹھوس وجہ دیتا ہے۔ ان تین مقالوں کے لیے OpenAI نے ناکام ثبوتی مرحلے کی نشاندہی کی اور سابقہ PDF دستیاب رکھے۔ مستقبل کا کوئی ثبوت ان بیانات میں سے کسی کو قائم کرے گا یا نہیں، یہ کھلا ریاضیاتی سوال ہے۔

## ذرائع اور مزید مطالعہ

OpenAI کی [repository history](https://github.com/openai/math/blob/main/history.md) 7 اکتوبر 2026 کے اندراج میں تین واپسیوں، 14 مسودوں کی نظرثانی، 13 متعلقہ حوالہ جاتی تازہ کاریوں اور رسمی تصدیقات کی تعداد درج کرتی ہے۔ [Weil-class](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md)، [ اور ](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Kuga-Satake-Correspondences-for-K3-Surfaces-October-3-2026/README.md) and [ کے انفرادی نوٹس دعوے میں بیان کردہ کمی کی وضاحت، واپسی کی تاریخ 6 اکتوبر درج اور مقررہ نظرثانی کے محفوظ PDF سے منسلک کرتے ہیں۔ یہ OpenAI کے ریکارڈ ہیں: کمپنی نے کیا بتایا اس کا براہ راست ثبوت، آزادانہ ثبوتی جائزہ نہیں۔](https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-products-of-K3-surfaces-October-4-2026/README.md) notices explain the claimed gaps, label the withdrawals October 6 and link archived PDFs at a fixed revision. These are OpenAI's records; they are direct evidence of what the company disclosed, not independent proof review.

OpenAI کا [October 6 announcement](https://openai.com/index/sharing-ai-progress-in-mathematics/) مجموعے کے ابتدائی اجرا اور منصوبہ بند اضافوں کی وضاحت کرتا ہے۔ BIG CHANGE نے 8 اکتوبر کو موجودہ تاریخ، تین نوٹس اور ان کے محفوظ شدہ روابط دیکھے۔ ہم نے Lean نہیں چلایا، ہر نظرثانی شدہ مسودہ نہیں دیکھا اور ریاضی کی آزادانہ تصدیق نہیں کی۔

## Sources

- [OpenAI ریاضی ذخیرے کی تاریخ](https://github.com/openai/math/blob/main/history.md) — علامت کی غلطی، تین واپسیوں، چودہ نظرثانیوں، متعلقہ حوالہ جات کی تازہ کاری اور اضافی رسمی تصدیقات کے بارے میں OpenAI کی وضاحت۔
- [OpenAI ریاضی ذخیرہ](https://github.com/openai/math) — متاثرہ مسودوں کے نوٹس، محفوظ شدہ نسخوں اور نظرثانی کے میٹاڈیٹا کا جائزہ لیں؛ یہ دستاویزات کی حالت بتاتے ہیں، ریاضیاتی صحت نہیں۔
- [ریاضی میں AI کی پیش رفت کا اشتراک](https://openai.com/index/sharing-ai-progress-in-mathematics/) — صرف ابتدائی مجموعے کا پس منظر؛ اس کے وسیع دعووں کو توثیق کے طور پر نہ دہرائیں.