گوگل
@rohanpaul_ai
@rohanpaul_aiبچه‌های دیپ‌مایند گوگل و دانشگاه کمبریج یه کار خفن کردن که نشون میده هوش مصنوعی داره قشنگ وارد فاز کشف ناشناخته‌ها میشه
بچه‌های دیپ‌مایند گوگل و دانشگاه کمبریج یه کار خفن کردن که نشون میده هوش مصنوعی داره قشنگ وارد فاز کشف ناشناخته‌ها میشه. اونا یه ایجنت خفن بر پایه جمینای ساختن که خودش رفته سراغ ۱۱ تا ماشین تورینگِ حل‌نشده از مسئله معروف «سگ‌جان» (Busy Beaver) و واسه اولین بار فرمول‌ها و قواعد جدیدی براشون پیدا کرده. روند کارش هم این‌طوری بوده که اول حالت‌های خاص رو تو شبیه‌ساز تست کرده، بعد پیش‌نویس اثبات ریاضی رو نوشته و در نهایت هم تو محیط رسمی Lean، درستی کار رو مو لای درزش نرفته ثابت کرده. در واقع سیستم از حالت رفع تکلیف و جواب دادن به سوال‌های آدمیزاد دراومده و خودش رسماً دست‌به‌کار کشف فرمول‌های جدید شده.
منبع
Rohan Paul@rohanpaul_ai
New Google DeepMind and Cambridge paper shows that an AI agent can discover new math itself, proving exact rules for 11 unsolved Turing machines.
AI can move from answering human-posed math questions to open-ended discovery, shown by a Gemini-based agent that found and Lean-verified new rules for 11 Busy Beaver machines with no prior documented analysis.
It tested edge cases in a simulator, drafts informal proofs, and then proves the rules in the Lean proof checker.
۳۰ مهر ۱۴۰۵مشاهده در X
بیشتر بخوانید
وهاب میررکنی از مهندسای ارشد گوگل خبر داده که تیم‌های پردازش گراف با کمک مدل Gemini 4 Argon و ایجنت‌های Antigravity کاری کردن کارستان و کارهای سنگین چند ماهه در حوزه شبکه و کدهای اختصاصی TPU رو توی چند ساعت جمع کردن
بچه‌های تیم تحقیقاتی گوگل دست به یه حرکت مشتی زدن و پای ایجنت‌های هوش مصنوعی رو مستقیماً به آزمایشگاه‌های زیستی و کنار دست ربات‌ها باز کردن
الکس ایماس همراه رفقای کاردرستش شین لگ و اندرو کو توی گوگل دیپ‌مایند، یه مقاله سنگین و خفن دادن بیرون تا ببینن این هوش جامع مصنوعی (AGI) دقیقاً چطوری قراره دخل و خرج دنیا رو زیر و رو کنه
دیپ‌مایند گوگل دوباره یه گرد و خاکی راه انداخته که هوش مصنوعی‌مون دست‌به‌کار شده و دو تا رخنه اساسی توی سیستم‌های رمزنگاری RSA پیدا کرده؛ ولی بذارید بدون تعارف و بزکِ مارکتینگ ببینیم کف قضیه چیه
نظرها
هنوز نظری نیست.
بخش نظرها فعلاً در دسترس نیست.