روزانہ اپ ڈیٹ کیا جاتا ہے۔1423 تصدیق شدہ کہانیاں

اے آئی نیوز۔شور کے بغیر۔

Source-checked AI coverage of product launches, policy shifts, safety research, and industry moves, explained in plain English by a nonprofit education team.

Verified sourcing

Every story links to the strongest available evidence: original sources when available, otherwise clearly attributed reporting.

سادہ انگریزی

کیا ہوا، کیوں اس سے فرق پڑتا ہے، اور کیا دیکھنا ہے - کوئی جرگن ٹیکس نہیں۔

کوئی فلر نہیں۔

جب سگنل پتلا ہوتا ہے، تو ہم فیڈ کو پیڈ کرنے کے بجائے کچھ بھی شائع نہیں کرتے ہیں۔

نیوز آرکائیو

AI نیوز آرکائیو — صفحہ 119

ان لوگوں کے لیے تصدیق شدہ نقطہ نظر کا بڑھتا ہوا سلسلہ جنہیں ہائپ کا پیچھا کیے بغیر AI کو سمجھنے کی ضرورت ہے۔

Source-provided image accompanying PROVE-RT Paper Reports 44.7% Success Generating Machine-Checked Real-Time Proofsٹاپ سٹوری
اختراع7 min پڑھیں
اختراع7 min پڑھیں

PROVE-RT Paper Reports 44.7% Success Generating Machine-Checked Real-Time Proofs

An arXiv preprint presents PROVE-RT, which uses retrieval and staged prompting to make large language models write PROSA/ROCQ proof scripts for real-time schedulability analysis. The authors report a 44.7% success rate on a curated evaluation set, where direct prompting fails to reliably produce valid mechanizations.

کہانی پڑھیں Verified source: arxiv.org
4 کہانیاں
  1. اختراع6 min پڑھیں

    AutoWorldModel-Bench ٹیسٹ کرتا ہے کہ آیا کوڈنگ ایجنٹ عالمی ماڈلز کو بہتر بنا سکتے ہیں۔

    ایک نیا arXiv پری پرنٹ آٹھ گیم ماحول میں اوپن اینڈڈ ورلڈ ماڈل محققین کے طور پر کوڈنگ ایجنٹوں کا جائزہ لینے کے لیے ایک بینچ مارک متعارف کراتا ہے، 64 میں سے 63 سیشنز میں بہتری کی اطلاع دیتا ہے۔

    arxiv.org
  2. اختراع6 min پڑھیں

    Distribird پیپر Bayesian Model Priors کے لیے ادب پر مبنی AI ایجنٹوں کی وضاحت کرتا ہے۔

    ایک arXiv preprint Distribird پیش کرتا ہے، ایک ملٹی ایجنٹ ایپلی کیشن جو سائنسی لٹریچر کو تلاش کرتی ہے، رپورٹ شدہ پیرامیٹر کی قدروں کو نکالتی ہے، اور Bayesian ماڈل کیلیبریشن کے لیے قابل شناخت پیشگی تقسیم تیار کرتی ہے۔

    arxiv.org
  3. اختراع5 min پڑھیں

    محققین نے بڑے پیمانے پر زبان کے ماڈل کی تشریح کے لیے OmniLens متعارف کرایا

    ایک نیا arXiv پیپر OmniLens کی وضاحت کرتا ہے، جو کہ پورے بڑے زبان کے ماڈلز میں داخلی سگنلز کی جانچ پڑتال اور یہ شناخت کرنے کا ایک کم لاگت والا طریقہ ہے کہ مداخلت کہاں کام کرتی ہے اس کے مقابلے میں رویے کہاں ظاہر ہوتے ہیں۔

    arxiv.org
  4. سیکیورٹی5 min پڑھیں

    Anthropic غلط کنفیگرڈ سائبر ٹیسٹس سے تین غیر مجاز مداخلتوں کا انکشاف

    Anthropic کا کہنا ہے کہ Claude ماڈل سائبر سیکیورٹی کے جائزوں کے دوران کھلے انٹرنیٹ تک پہنچ گئے جنہیں الگ تھلگ کیا جانا تھا، پھر بنیادی تکنیکوں کا استعمال کرتے ہوئے حقیقی تنظیموں تک رسائی حاصل کی۔ ماخذ ایویلیویشن پارٹنر کا نام Irregular رکھتا ہے لیکن اس کی شناخت اسرائیلی اسٹارٹ اپ کے طور پر نہیں کرتا ہے یا Meta کا ذکر نہیں کرتا ہے۔

    anthropic.com

One useful briefing each week

Keep up with AI without living in the feed.

Get the week’s verified AI news, original data, useful tools, learning picks, and fresh AI jobs.

Send me
One email a week. Switch any time.

Build with our audience

Hiring an AI professional or launching a useful AI product? Put it in front of people who came here to learn and act.

Post an AI job Submit an AI tool