هفته گذشته، دی سی کامیکس جزئیات بیشتری را در مورد کمیک های Absolute آینده خود فاش کرد که هدف آن معرفی مجدد شخصیت های کلاسیک دی سی با منشاء و تنظیمات جدید است. در حالی که این به طور متعارف ربطی به Darkseid دارد، جذابیت بزرگ ظاهر جدید برای بتمن (شیب!)، سوپرمن (موهای بلند!) و Wonder Woman (شمشیر!) است.

این شوالیه تاریکی است که بیشترین ابروها را بالا برده است، زیرا اغلب بروس هیکلی لاغرتر از ماموت غول پیکر بتمن مطلق دارد. در جریان پانل امروز در کامیک کان سن دیگو، اسنایدر جزئیات جدیدی درباره او و نیک دراگوتا به اشتراک گذاشت. بتمن مطلق این کمیک در ماه اکتبر منتشر خواهد شد. اگر بیشتر از قد بلند هستید، اسنایدر فاش کرد که این نسخه از بروس 6/8 اینچ و 250 پوند وزن دارد و در اوایل دهه 20 زندگی خود است و به مبارزه با جرم و جنایت می پردازد. و به جای تظاهر به یک فرد اجتماعی ثروتمند، او یک مهندس شهر برای گاتهام خواهد بود. او همچنین صاحب یک بولداگ فرانسوی خواهد شد!

اسنایدر وقتی این کتاب را “اختراع مجدد” شخصیت نامید، شوخی نکرد. اگرچه او جزئیات کمی از داستان ارائه کرد، اما همچنین فاش کرد که شرور اصلی کتاب (حداقل در حال حاضر) بلک ماسک خواهد بود و آلفرد پنی‌ورث شخصیت اصلی کتاب خواهد بود. اگرچه او هنوز پیر است، این آلفرد (یا بهتر است بگوییم “پنی”) مطلقاً پیشخدمت نبوده و نبوده است. در عوض، او یک جاسوس سابق MI-6 و “نگهبان امپراتوری سابق” است که آنقدر خسته نیست که نتواند با بتمن در این زمینه شریک شود.

پس از اسنایدر، جیسون آرون در مورد او و رافا سندووال صحبت کرد سوپرمن مطلق پس از اینکه اسنایدر در مورد انتقال از مارول به دی سی با او تماس گرفت، آرون تصمیم گرفت که «واقعاً می‌خواهد» بازی مرد فولادی را انجام دهد و نسخه جدیدی از این شخصیت را ساخت. او اطمینان داد که هدفش تغییر قلب قهرمان نیست، بلکه “به مفاهیم اصلی (او) نگاه کند و بپرسد اگر امروز خلق می شد چه شکلی بود.” این سوپرمن جدید سیستم کلاسیک حمایت از خانواده کنت خود، قلعه تنهایی را ندارد و او تقریباً بی خانمان است. برای هارون، جذابیت بزرگ جهان مطلق این است که تثلیث بسیار از یکدیگر جدا شده اند. او گفت: «کارها آنطور که قرار بود پیش نرفت. “اگر از من بپرسید، سوپرمن را کمی منزوی، کمی عصبانی… و کمی ، کرد.” »

در نهایت، کلی تامپسون و هیدن شرمن زن شگفت انگیز مطلق شرمن گفت، طرفداران دایانا را به عنوان “آخرین آمازون و اولین ابرقهرمان” خواهند دید. از میان این سه نفر، او با خالکوبی های بازو و شمشیر بزرگش جالب ترین ظاهر را دارد. او علاوه بر اینکه یک جنگجو است، به معنای واقعی کلمه یک جادوگر جهنمی است که “تا دندان مسلح” است. (…) او مانند آتش در زیر است. گویی این کافی نبود، ، سیاه استخوانی او با بال ها ممکن است این معامله را قطعی کند. معامله با این دایانا و درگیری هایی که او با آن روبرو خواهد شد در حال حاضر مخفی است.

علاوه بر تثلیث، چهارمی نیز وجود دارد مطلق کتاب در راه در اوایل سال 2025، جف لمیر و نیک روبلز ارائه خواهند شد فلاش مطلق در سراسر جهان، اگرچه پانل جزئیاتی فراتر از وجود خود ارائه نکرد:

اوایل سال آینده در دسترس است! طرفداران فلش، برخیز!@thedcnation @DCOfficial #SDCC24 #SDCC #کمیک #کتاب های طنز #فلش #فلاش #فلش مطلق https://t.co/dKHOFMuzKT pic.twitter.com/VE4Rh2voXp

— AIPT@SDCC (@AIPTcomics) 25 جولای 2024

(توسط PopVerse)

آیا می خواهید در مورد io9 بیشتر بدانید؟ ببینید چه زمانی می‌توانید آخرین نسخه‌های منتشر شده از مارول، جنگ ستارگان و پیشتازان فضا، آینده دنیای DC در فیلم و تلویزیون و هر آنچه را که باید درباره آینده Doctor Who بدانید، انتظار داشته باشید.

در طول تولید، سریال تغییر کرد و تکامل یافت. همانطور که باید باشد. حتی عنوان آن نیز متفاوت است. دارت اکنون است فنجان چایدلایل این امر برای به اشتراک گذاشتن بسیار آشکار است، اما چند قسمت اول را تماشا کنید و همه فاش خواهند شد. واقعیت این است که سریال اکنون چیز خودش است: یک معمای جعبه پازل، یک هیجان انگیز نفس گیر، یک نمیتونم ولی مجبورم یک داستان ترسناک، یک درام خانوادگی، یک حماسه علمی تخیلی را تماشا کنید – البته از نوع سوراخ کلید.

اما به همان اندازه که من امیدوارم منحصر به فرد، عجیب و شگفت انگیز است فنجان چای تنها کاری که باید انجام دهید این است که لایه‌ها، شخصیت‌ها، موقعیت‌ها و اسطوره‌ها را جدا کنید و به پشت هیجان‌ها، لرز‌ها، چرخش‌های سنجاق سر نگاه کنید. باعث می شود شما نفس بکشید آشکار کرد. همه اینها را انجام دهید و در اعماق وجودتان خواهید دید فنجان چای هنوز هم تا حد زیادی بر روی شانه های دارت.همانطور که باید باشد.

چندین سال قبل از اینکه ChatGPT شروع به پخش مطالب بیهوده کند، گوگل نوع بسیار متفاوتی از برنامه هوش مصنوعی به نام AlphaGo را توسعه داده بود که با تمرین خستگی ناپذیر بازی رومیزی Go را با مهارتی فوق بشری یاد گرفت.

محققان این شرکت به تازگی مطالعه‌ای منتشر کرده‌اند که قابلیت‌های یک مدل زبان بزرگ (هوش مصنوعی در پشت ربات‌های چت امروزی) را با قابلیت‌های AlphaZero، جانشین AlphaGo که قادر به بازی در شطرنج است، ترکیب می‌کند تا اثبات‌های ریاضی بسیار ظریف را حل کند.

خلاقیت جدید فرانکشتاینی آنها به نام AlphaProof، توانایی خود را با مقابله با چندین مشکل از المپیاد بین‌المللی ریاضیات (IMO) 2024 نشان داد، رقابتی معتبر برای دانش‌آموزان دبیرستانی.

AlphaProof از مدل زبان Gemini برای تبدیل سوالات ریاضی با فرمول طبیعی به زبان برنامه نویسی به نام Lean استفاده می کند. این ماده آموزشی را برای الگوریتم دوم فراهم می‌کند که از طریق آزمون و خطا، نحوه یافتن شواهدی را که می‌توان صحت آن را تأیید کرد، یاد می‌گیرد.

اوایل سال جاری، Google DeepMind از الگوریتم ریاضی دیگری به نام AlphaGeometry رونمایی کرد که همچنین یک مدل زبان را با رویکرد هوش مصنوعی متفاوت ترکیب می‌کند. AlphaGeometry از Gemini برای تبدیل مسائل هندسی به قالبی استفاده می کند که می تواند توسط برنامه ای که عناصر هندسی را کنترل می کند، دستکاری و آزمایش کند. گوگل همچنین امروز نسخه جدید و بهبود یافته AlphaGeometry را معرفی کرد.

محققان دریافتند که دو برنامه ریاضی آنها می تواند برای پازل های IMO و همچنین یک مدال نقره اثبات کند. از مجموع شش مسئله، AlphaProof دو مسئله جبر و یک مسئله تئوری اعداد را حل کرد، در حالی که AlphaGeometry یک مسئله هندسه را حل کرد. این برنامه ها یک مشکل را در عرض چند دقیقه برطرف کردند، اما چندین روز طول کشید تا برخی دیگر حل شوند. Google DeepMind میزان قدرت محاسباتی خود را برای حل این مشکلات نشان نداده است.

Google DeepMind رویکرد مورد استفاده برای AlphaProof و AlphaGeometry را “عصب نمادین” می نامد زیرا آنها یادگیری ماشینی خالص یک شبکه عصبی مصنوعی، فناوری که زیربنای جدیدترین پیشرفت های هوش مصنوعی است، با زبان برنامه نویسی معمولی ترکیب می کنند.

دیوید سیلور، محقق گوگل، که رهبری کار روی AlphaZero را بر عهده داشت، می‌گوید: «ما در اینجا دریافتیم که می‌توان رویکردی را که بسیار موفق بوده و ابزارهایی مانند AlphaGo را با مدل‌های زبان بزرگ ترکیب کرد و چیزی بسیار قدرتمند تولید کرد. سیلور می‌گوید که تکنیک‌های نشان‌داده‌شده با AlphaProof، در تئوری، باید به سایر حوزه‌های ریاضیات نیز گسترش یابد.

در واقع، این تحقیق چشم‌انداز مقابله با بدترین گرایش‌های مدل‌های اصلی زبان‌شناختی را با استفاده از منطق و استدلال به شیوه‌ای پایه‌تر باز می‌کند. به همان اندازه که مدل‌های زبانی عالی می‌توانند معجزه‌آسا باشند، اغلب برای درک ریاضیات پایه یا حل مسائل منطقی تلاش می‌کنند.

در آینده، روش عصبی نمادین می‌تواند به سیستم‌های هوش مصنوعی اجازه دهد تا سؤالات یا وظایف را به قالبی تبدیل کنند که بتوان در مورد آن به روشی استدلال کرد که نتایج قابل اعتمادی تولید کند. OpenAI نیز بر روی چنین سیستمی با نام رمز “Strawberry” کار خواهد کرد.

با این حال، سیستم‌هایی که امروز معرفی شدند، همانطور که سیلور اذعان می‌کند، یک محدودیت کلیدی دارند. راه‌حل‌های ریاضی یا درست یا نادرست هستند و به AlphaProof و AlphaGeometry اجازه می‌دهند پاسخ صحیح را پیدا کنند. بسیاری از مشکلات دنیای واقعی (به عنوان مثال، یافتن مسیر ایده آل برای سفر) راه حل های ممکن زیادی دارند و تشخیص اینکه کدام یک ایده آل است می تواند دشوار باشد. سیلور می‌گوید راه‌حل سؤالات مبهم‌تر ممکن است این باشد که یک مدل زبان‌شناختی تلاش کند تا تعیین کند که چه چیزی یک پاسخ «خوب» در طول آموزش است. او می‌گوید: طیف وسیعی از راه‌حل‌های مختلف وجود دارد که می‌توان آنها را امتحان کرد.

سیلور همچنین مراقب است که تأکید کند Google DeepMind قرار نیست ریاضیدانان را بیکار کند. او می گوید: “هدف ما ارائه سیستمی است که بتواند هر چیزی را ثابت کند، اما این پایان کار ریاضیدانان نیست.” بسیاری از ریاضیات در مورد طرح مسائل و یافتن سؤالات جالب برای پرسیدن است. این می تواند ابزار دیگری در نظر گرفته شود، درست مانند یک قانون اسلاید، ماشین حساب یا ابزار محاسبه. »

به روز شده در 24/07/25 در ساعت 13:25 به وقت شرقی: این داستان به‌روزرسانی شده است تا مشخص شود که AlphaProof و AlphaGeometry چه تعداد از مشکلات را برطرف کرده‌اند.

Google Maps ویژگی‌های جدیدی را در هند با استفاده از هوش مصنوعی ارائه می‌کند تا به رانندگان کمک کند تا به راحتی از طریق پل‌های هوایی و جاده‌های باریک در پرجمعیت‌ترین کشور جهان، با جاده‌های بزرگ با موانع و پل‌های روگذر متعدد برای مقابله با ترافیک عبور کنند.

روز پنجشنبه، گوگل اعلام کرد که یک مدل هوش مصنوعی به طور خاص برای جاده های هند توسعه داده است که می تواند عرض جاده ها را با استفاده از تصاویر ماهواره ای و داده های نمای خیابان تخمین بزند. این مدل همچنین اطلاعاتی مانند نوع جاده، فاصله بین ساختمان‌ها، پوشش درختان، تیرها و فاضلاب را در نظر می‌گیرد تا به رانندگان کمک کند از جاده‌های باریک اجتناب کنند.

ویژگی های ناوبری

وقتی کاربر حالت چهار چرخ را در حین پیمایش انتخاب می‌کند، Google Maps مسیرها را نمایش می‌دهد و از جاده‌های باریک اجتناب می‌کند. با این حال، گوگل گفت این به روز رسانی همچنین به دوچرخه سواران در حالت دو چرخ و عابران پیاده در حالت پیاده روی کمک می کند تا با خیال راحت در جاده های باریک هند حرکت کنند.

گاهی اوقات هنوز باید از یک جاده باریک عبور کنید، به خصوص اگر مقصد شما در یک خیابان باریک باشد. برای این منظور، Google Maps افسانه هایی را به ناوبری اضافه کرده است تا به شما در مورد بخش های باریک پیش رو هشدار دهد.

گوگل اعلام کرد که ویژگی جاده‌های باریک در ابتدا در هشت شهر برای دستگاه‌های اندرویدی عرضه می‌شود و به زودی در iOS نیز عرضه خواهد شد.

علاوه بر توانایی اجتناب از جاده‌های باریک، Google Maps جهت‌های پروازی را در تجربه ناوبری ادغام کرده است تا به کاربران اجازه دهد پروازهای آینده را در طول مسیر خود ببینند و تصمیم بگیرند که آیا می‌خواهند از قبل از نمای کلی عبور کنند.

تا پیش از این، Google Maps به رانندگان می‌گفت که برای سوار یا خارج شدن از پل، «از یک سطح شیب دار استفاده کنند»، اما این اصطلاح معمولاً در هند استفاده نمی‌شود. علاوه بر این، نقشه ها همچنین پیشنهاد کردند که رانندگان از “جاده (نام جاده)” استفاده کنند. با این حال، در هند، رانندگان ممکن است نام جاده را ندانند، یا به طور برجسته نمایش داده نشود، که منجر به سردرگمی بیشتر می شود. در این مورد، دستورالعمل واضحی مانند “پل را بردارید” نشانه بهتری است.

Flyover Calls در 40 شهر در سراسر هند برای ناوبری چهار چرخ و دو چرخ برای دستگاه‌های Android و Android Auto اجرا خواهد شد. گوگل گفت که این ویژگی به زودی در CarPlay اپل نیز در دسترس خواهد بود.

علاوه بر این، Google Maps، بیش از پنج سال پس از راه‌اندازی اولیه خود در ایالات متحده در سال 2018، ایستگاه‌های شارژ EV را در هند اضافه کرده است. Google با ارائه‌دهندگان ایستگاه‌های شارژ EV و جمع‌آوری‌کننده‌هایی مانند ElectricPe، Ather Energy، Kazam و Statiq برای نمایش اطلاعات در مورد آن شریک شده است. بیش از 8000 ایستگاه شارژ در Google Maps در هند.

کاربران هنگام جستجوی ایستگاه های شارژ در Google Maps، اطلاعاتی مانند انواع دوشاخه های پشتیبانی شده در ایستگاه های موجود را مشاهده خواهند کرد.

شایان ذکر است که این اولین بار است که Google Maps ایستگاه های شارژ خودروهای برقی دو چرخ را نشان می دهد، زیرا عرضه جهانی برای خودروهای چهار چرخ بوده است، با توجه به اینکه خودروهای دو چرخ برقی بر خودروهای برقی بازار هند تسلط دارند.

حمل و نقل عمومی

گوگل اعلام کرد با شبکه باز هند برای تجارت دیجیتال (ONDC)، یک شبکه زیرساخت منبع باز، و Namma Yatri، یک برنامه سواری با پشتیبانی گوگل برای یک تجربه رزرو قطار محلی، اتوریکشاو و سواری مترو همکاری می کند.

این هفته، این شرکت امکان رزرو بلیط مترو در کوچی و چنای را مستقیماً در رابط Google Maps از طریق ادغام Namma Yatri در اختیار کاربران قرار می دهد. کاربران پس از پرداخت بلیط خود را به صورت کد QR دریافت خواهند کرد. گوگل اضافه کرد که به مرور زمان شهرهای دیگر و حالت های حمل و نقل اضافی را اضافه خواهد کرد.

قابل ذکر است که از Google Maps برای نمایش قیمت تاکسی های Uber و Ola در هنگام ورود کاربران به مقصد استفاده می شد. با این حال، این ویژگی در نهایت متوقف شد. این شرکت گفت که همکاری با Namma Yatri و ONDC یک ادغام عمیق‌تر بود و این ویژگی باقی ماند.

گوگل همچنین اضافه کرد که “قطار من کجاست؟” “، که در سال 2018 به دست آورد، برای ردیابی قطار در هند بیش از 100 میلیون کاربر فعال در ماه دارد.

در اوایل سال جاری، گوگل فهرست‌های مکان انتخابی را در شهرهای منتخب در سراسر ایالات متحده و کانادا راه‌اندازی کرد. این شرکت اکنون این ویژگی را با مشارکت Magicpin و NDTV Food به هند می آورد. از این هفته، کاربران می توانند این لیست ها را در بنگلور، دهلی، بمبئی، گوا، حیدرآباد، پونا، احمدآباد، چنای، کلکته و جیپور مشاهده کنند. وقتی کاربران عباراتی مانند «بهترین کافه‌های با منظره اقیانوس در گوا» یا «بهترین مکان‌های صبحانه در بمبئی» را جستجو می‌کنند، Google Maps این فهرست‌ها را نمایش می‌دهد.

این شرکت همچنین اعلام کرد که رابط کاربری خود را نیز به‌روزرسانی کرده است تا کاربران بتوانند از طریق نمادهای لمسی در Android، iOS، Android Auto و Apple CarPlay گزارش دهندگان حوادثی مانند تصادفات، کاهش سرعت، کارهای ساختمانی، بسته شدن خطوط، وسایل نقلیه از کار افتاده و اشیاء در جاده را آسان‌تر کنند. .