خرید آنلاین و حضوری با اسنپ‌پی
در حال بارگذاری…
شبکه اطلاع رسانی طـــــــــــلا، ســکـــــــــــه و ارز
کیان
وقتی هوش مصنوعی متخصصان را فریب می‌دهد؛ تهدیدی فراتر از اطلاعات نادرست

وقتی هوش مصنوعی متخصصان را فریب می‌دهد؛ تهدیدی فراتر از اطلاعات نادرست

وزارت دادگستری آمریکا به سراغ انویدیا و Hugging Face رفت؛ بررسی احتمال نقض قوانین ضدانحصار در بازار هوش مصنوعی

وزارت دادگستری آمریکا به سراغ انویدیا و Hugging Face رفت؛ بررسی احتمال نقض قوانین ضدانحصار در بازار هوش مصنوعی

چت‌جی‌پی‌تی به پیامک‌های شما آمد؛ دستیار جدید اپن‌ای‌آی معرفی شد

چت‌جی‌پی‌تی به پیامک‌های شما آمد؛ دستیار جدید اپن‌ای‌آی معرفی شد

اپل احراز سن با اسکن چهره را به آیفون اضافه کرد؛ تأیید بالای ۱۸ سال بودن با یک سلفی

اپل احراز سن با اسکن چهره را به آیفون اضافه کرد؛ تأیید بالای ۱۸ سال بودن با یک سلفی

لباس‌ها به نمایشگر لمسی تبدیل می‌شوند؛ ساخت الیاف الکترونیکی که در ماشین لباس‌شویی هم دوام می‌آورند

لباس‌ها به نمایشگر لمسی تبدیل می‌شوند؛ ساخت الیاف الکترونیکی که در ماشین لباس‌شویی هم دوام می‌آورند

قابلیت جدید جمنای معرفی شد؛ یادگیری تعاملی با سفرهای سه‌بعدی و محیط‌های آموزشی فراگیر

قابلیت جدید جمنای معرفی شد؛ یادگیری تعاملی با سفرهای سه‌بعدی و محیط‌های آموزشی فراگیر

آمازون خانواده Echo را متحول کرد؛ ساعت هوشمند، قاب عکس و اسپیکر دوربین‌دار

آمازون خانواده Echo را متحول کرد؛ ساعت هوشمند، قاب عکس و اسپیکر دوربین‌دار

قیمت گوشی هواوی Mate 90 RS Ultimate در ایران و جهان

قیمت گوشی هواوی Mate 90 RS Ultimate در ایران و جهان

گوشی تاشو سامسونگ W27 در چین عرضه شد

گوشی تاشو سامسونگ W27 در چین عرضه شد

سامسونگ در یک فصل ۸۰ میلیارد دلار سود عملیاتی ثبت کرد؛ رکورد تازه

سامسونگ در یک فصل ۸۰ میلیارد دلار سود عملیاتی ثبت کرد؛ رکورد تازه

کلود Anthropic قضیه آخر فرما را در ۱۱ روز با Lean رسمی‌سازی کرد

بازدید ۳۸منبع: فیسیت
کلود Anthropic قضیه آخر فرما را در ۱۱ روز با Lean رسمی‌سازی کرد

Anthropic می‌گوید کلود در ۱۱ روز نخستین اثبات کامل رایانه‌ای قضیه آخر فرما را در Lean نوشت؛ ۱۳ میلیون خط کد و حدود ۲۹۵۰۰ قضیه میانی با Prove2Me.

منبع: فیسیت
اشتراک‌گذاری:

نظرات کاربران

هنوز نظری برای این مطلب ثبت نشده — اولین نفر باشید.