هابی‌تکستHUBBYTEXT اپ کانال اختصاصی بساز
آی‌تی و برنامه‌نویسی

رسمی‌سازی قضیه آخر فرما

محققان شرکت آنتروپیک موفق شدند با استفاده از هوش مصنوعی کلود، اولین اثبات کامل و قابل بررسی کامپیوتری برای «قضیه آخر فرما» را ارائه دهند. این فرآیند که در زبان برنامه‌نویسی Lean انجام شده، طی ۱۱ روز و با فعالیت تقریباً خودگردان هوش مصنوعی صورت گرفته است. کلود در این مسیر ۱۳ میلیون خط کد نوشته و ۲۹٬۵۰۰ قضیه میانی را اثبات کرده است. این دستاورد بزرگ، فرآیند اثبات ریاضیاتی که پیش‌تر توسط اندرو وایلز در سال ۱۹۹۵ انجام شده بود، اکنون به شکلی خودکار و قابل بازبینی توسط کامپیوتر درآمده است. کوین بازارد، ریاضی‌دان برجسته، این موفقیت را گامی حیاتی برای آینده ریاضیات و قابلیت بررسی سریع نتایج جدید توسط هوش مصنوعی توصیف کرد. این روش برخلاف کارهای قبلی، بر جنبه تایید و صحت‌سنجی دقیق تمرکز دارد.
منبع: Hacker News

خبرهای مرتبط RELATED

آی‌تی و برنامه‌نویسی
شرکت هوش مصنوعی «micro1» ۱۲.۵ میلیون دلار برای خرید اسناد شرکت هواپیمایی «Spirit Aviation» پیشنهاد داده است، که ۲.۵ میلیون دلار بیشتر از پیشنهاد گوگل است. این اسناد شامل ۵۰۰ میلیون آیتم مایکروسافت تیمز، ۱۰۰ میلیون ایمیل و ۱۶ میلیون جلسه چت مشتری است. «micro1» پیشنهاد کرده است که یک ناظر مستقل توسط مشاوران «Spirit» انتخاب شود. گوگل نیز ۱۰ میلیون دلار برای خرید این اسناد پیشنهاد داده است و ادعا می‌کند که هیچ اطلاعات شخصی دریافت نخواهد کرد.
منبع: The Next Web
آی‌تی و برنامه‌نویسی
شرکت Nscale، بزرگ‌ترین زیرساخت هوش مصنوعی اروپا، در حال مذاکره برای جذب سرمایه‌ای تا سقف ۳٫۵ میلیارد دلار پیش از عرضه عمومی در بازار آمریکا است. این مبلغ شامل ۱٫۵ میلیارد دلار اوراق قرضه قابل تبدیل به رهبری Third Point و حدود ۲ میلیارد دلار سرمایه‌گذاری از سوی انویدیا می‌شود. Nscale با داشتن قراردادهایی به ارزش تقریبی ۱۰۳ میلیارد دلار، از جمله یک قرارداد ۴۵ میلیارد دلاری با Anthropic، رشد چشمگیری داشته است. این شرکت که دو سال پیش تأسیس شده، قصد دارد در نیویورک لیست شود. همچنین این شرکت پیش‌بینی می‌کند درآمد سالانه آن به حدود ۱۸٫۱ میلیارد دلار برسد.
منبع: The Next Web
آی‌تی و برنامه‌نویسی
یک وب‌سایت دولتی ایالات متحده آمریکا تنها چند ساعت پس از انتشار یک مقاله حاوی پچ امنیتی برای آسیب‌پذیری معروف «روبی آن ریلز»، مورد حمله سایبری قرار گرفت. این رویداد بار دیگر اهمیت سرعت عمل در به‌روزرسانی سیستم‌ها و ریسک‌های امنیتی پیش رو را برجسته کرد. جزئیات این حادثه در وبلاگ ریتا و پلتفرم‌های تخصصی هک و برنامه‌نویسی بازتاب یافت. متخصصان امنیت سایبری بارها نسبت به سوءاستفاده سریع هکرها از آسیب‌پذیری‌های افشا شده هشدار داده‌اند. این حمله نشان می‌دهد که مهاجمان سایبری به محض انتشار وصله‌های امنیتی، از کدهای مخرب برای نفوذ به سامانه‌های آسیب‌پذیر استفاده می‌کنند. مدیران سیستم باید پیش از سوءاستفاده مهاجمان، سامانه‌های خود را ایمن‌سازی کنند.
منبع: Hacker News
آی‌تی و برنامه‌نویسی
شرکت مایکروسافت در تاریخ ۴ سپتامبر در پرونده دعوای حق نشر هوش مصنوعی در نیویورک درخواست صدور رای خلاصه داد. این شرکت اعلام کرد که مدل کوپایلوت تنها در ۲۴ مورد از میان ۸.۲ میلیون گفت‌وگو، بخش‌هایی از کتاب‌ها را بازتولید کرده است که معادل ۰.۰۰۰۲۹ درصد می‌شود. این پرونده بخشی از روند حقوقی گسترده‌ای در دادگاه فدرال منهتن به ریاست قاضی سیدنی استاین است. از سوی دیگر، مایکروسافت دو روز پیش از آن فروش مدل قدرتمند GPT-6 Astra را از طریق پلتفرم فاندری با قیمت ۱۰ دلار به ازای هر میلیون توکن ورودی آغاز کرده بود. شرکت اوپن‌آی این مدل را از نظر امنیت سایبری در سطح بحرانی ارزیابی کرده است، در حالی که قوانین اروپا معیارهای متفاوتی برای ارزیابی خطرات سیستماتیک مدل‌های هوش مصنوعی دارد.
منبع: The Next Web
آی‌تی و برنامه‌نویسی
سهم‌های تسلا حدود ۶ درصد کاهش یافت پس از انتشار به‌روزرسانی بد Cybercab و پس از آنکه اداره امنیت جاده‌های ملی (NHTSA) تحقیقاتی را در مورد روش تأیید شرکت برای خودروهای بدون چرخ‌دنده، پدال و آینه آغاز کرد. تسلا خود را تأیید کرده و از درخواست مجوز برای استثناء استفاده نکرده بود. در حالی که Zoox از آمازون در ژوئیه مجوز محدود برای خودروهای خود بدون چرخ‌دنده دریافت کرد. NHTSA حالا بررسی می‌کند که تسلا چگونه از استانداردهای ایمنی فدرال برای تا ۱۰۰۰ دستگاه Cybercab پیروی کرده است. این خودرو هیچ چرخ‌دنده، پدال یا آینه ندارد و تسلا برای استثناء از این استانداردها درخواستی نداد. تسلا در لاس وگاس برای ۵۰۰۰ تاکسی رباتیک درخواست داد و مجوز برای ۱۰ دستگاه دریافت کرد. NHTSA پیشنهاد حذف نیاز به پدال فrena برای خودروهای خودکار را داده است که ممکن است در سال جاری تصویب شود.
منبع: The Next Web
آی‌تی و برنامه‌نویسی
اتحادیه اروپا ChatGPT را به عنوان موتور جستجو بزرگ در قانون خدمات دیجیتال (DSA) طبقه‌بندی کرده است. این طبقه‌بندی OpenAI را به مسئولیت‌های شفافیت و کاهش ریسک با جریمه‌های تا ۶ درصد از درآمد جهانی خود می‌بندد. این طبقه‌بندی فقط بخش‌های جستجو ChatGPT را پوشش می‌دهد و گفتگوها با کاربران از آن خارج است. برخی از مسئولان اروپا می‌گویند ChatGPT «بیش از یک موتور جستجو» است و خطرات مرتبط با آن در قانون DSA پوشش کامل ندارد.
منبع: The Next Web
📲 کانال اختصاصی علایق خودت را رایگان بساز