AI اور دنیا کے مشکل مسائل ─ ریاضی
AI کے ذریعے آگے بڑھنے والے سائنس اور علم، شعبے کے لحاظ سے
RSS فیڈ · 3 آئٹمز
AI ریمان مفروضے کو حل کرنے کے قریب پہنچ گیا، جو ریاضی کے مشکل ترین مسائل میں سے ایک ہے
اصل عنوان: AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems
OpenAI نے 700 ریاضی کے پری پرنٹس آن لائن پوسٹ کر دیے: ریاضی دان سخت برہم ہیں
اصل عنوان: OpenAI posts 700 maths preprints online: mathematicians are up in arms
OpenAI نے ایک غیر جاری شدہ ماڈل کو سینکڑوں نمایاں ریاضیاتی مسائل پر استعمال کیا اور 6 October کو GitHub پر AI سے تیار کردہ 700 سے زائد پری پرنٹس پوسٹ کیے۔ کچھ ریاضی دانوں نے دیرینہ مسائل کے حل کا خیر مقدم کیا، جبکہ دوسروں نے سوشل میڈیا پر شکایت کی کہ ان سے سبقت لے لی گئی۔ ایک ریاضی دان نے اس سیلاب کو "slopocalypse" قرار دیا، اگرچہ مواد پھر بھی رسمی طور پر درست ثابت ہو سکتا ہے۔
Claude نے ریمان زیٹا فنکشن کے ان صفروں کے تناسب کی دیرینہ زیریں حد کو بہتر بنایا ہے جو ریمان مفروضے پر پورا اترتے ہیں
اصل عنوان: Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis
ریمان مفروضہ، جو ایک حل طلب مسئلہ ہے، کہتا ہے کہ ریمان زیٹا فنکشن کے تمام صفر ایک مخصوص عمودی لکیر پر واقع ہیں۔ اس مسئلے پر کام کرنے کے دوران، Claude کے ایک غیر جاری شدہ تحقیقی ورژن نے اسے ثابت تو نہیں کیا، لیکن ان صفروں کے حصے پر، جو اس شرط پر پورا اترتے ہیں، ایک دیرینہ زیریں حد کو بہتر بنایا، اور اسے 41.6% سے بڑھا کر 67.2% کر دیا۔ Anthropic کے دو ریاضی دانوں نے مقالے کی توثیق کی اور ایک غیر رسمی ماہرانہ نوٹ لکھا، اور Claude نے ایک رسمی طور پر قابلِ تصدیق ثبوت بھی تیار کیا۔ توقع نہیں ہے کہ یہ نتیجہ خود مفروضے کے ثبوت تک لے جائے گا۔