OpenAI میگوید مدل هوش مصنوعیاش فرضیه زمان نمایی را رد کرده است
این یکی خیلی بزرگ است، یا اگر از بررسی دقیق جان سالم به در ببرد، خیلی بزرگ خواهد شد. OpenAI میگوید یک مدل داخلی، فرضیه زمان نمایی را رد کرده است، حدسی در مورد اینکه ارضاپذیری بولی چقدر سخت است که صدها مقاله علوم کامپیوتر بیسروصدا بر آن استوارند. این مدل تقریباً ده روز پیش رد آن را پیدا کرد، OpenAI روز بعد آن را در Lean تأیید کرد، و هم متن و هم اثبات Lean اکنون در GitHub قرار دارند.
این تغییر، کمی غیرمعمول است. دو نفر از کسانی که در وهله اول ETH را پیشنهاد دادند، یعنی راسل ایمپاگلیازو و راماموهان پاتوری، به همراه رایان ویلیامز از MIT، بررسی مستقل را رهبری خواهند کرد. آنها در این مورد نیز رک و صریح هستند: «دخالت ما نباید به عنوان تأیید این ادعا تلقی شود.» هیچ NDA و هیچ پرداختی وجود ندارد و OpenAI موافقت کرده است که تمام دادههای خام را منتشر کند و یک کنفرانس را تأمین مالی کند.
در همان روز دو ادعای دیگر مطرح شد: اثباتی برای حدس هموارسازی موضعی در هر بُعد (که حدسهای محدودیت کاکِیا و استاین را نیز حل میکند)، و یک اثبات وجودی دقیق برای برخی از نظریههای میدان کوانتومی چهاربعدی، از جمله یانگ-میلز خالص. گروهی به رهبری دیوید گراس، برنده جایزه نوبل، در حال حاضر مطالب مربوط به هوش مصنوعی را نگه داشته و خودشان آن را مینویسند.
OpenAI میگوید هیچ علاقهای به اعتبار دانشگاهی ندارد و ۵ میلیون دلار به بنیاد سیمونز برای کارگاههای آموزشی اهدا کرده است. با این حال، این سوال که چه کسی این اعتبار را کسب میکند، ممکن است دشوارترین بخش ماجرا باشد.
درخواستهای انساندوستانه برای ارزشگذاری بالقوه رکوردشکن بازار سهام در آزمون کلیدی صنعت هوش مصنوعی
رسماً اعلام شد. شرکت آنتروپیک (Anthropic) به طور عمومی برای ورود به بورس تحت عنوان ANT ثبت نام کرده است و تحلیلگران و سرمایهگذاران ارزش آن را بیش از ۱.۵ تریلیون دلار تخمین میزنند. این شرکت ماهها پیش به صورت محرمانه ثبت نام کرده بود، بنابراین این اولین باری است که افراد خارجی میتوانند اعداد حسابرسی شده را بررسی کنند.
این اعداد شگفتانگیز هستند. درآمد از ۴۱ میلیون دلار چند سال پیش به ۴.۵۸۵ میلیارد دلار در سال گذشته و سپس ۱۶.۲۸۶ میلیارد دلار تنها در شش ماه اول امسال افزایش یافت. با این حال، همین نیمه از سال، زیان خالص ۸۰ میلیارد دلاری را نیز به همراه داشته است. میلیارد، با a b. آنتروپیک بیش از ۱۴۰۰۰ مشتری سازمانی دارد و یک چهارم درآمد آن از پنج مشتری برتر آن جریان دارد.
بخش ریسک از ۹۰ صفحه فراتر میرود، که برای شرکتی که مدیران اجراییاش میگویند بهترین مدلهایش میتوانند «کمک معناداری» به افرادی که سعی در ساخت سلاحهای شیمیایی یا بیولوژیکی دارند، ارائه دهند، مناسب به نظر میرسد. همچنین، تعیین ریسک زنجیره تأمین توسط دولت ترامپ نیز در آنجا ظاهر میشود.
بانکهای وال استریت و بلکاستون ۶۳ میلیارد دلار برای تأمین مالی تراشههای هوش مصنوعی برادکام برای آنتروپیک اختصاص دادند
درست در همان روز ثبت نام برای عرضه اولیه سهام، بانک آمریکا، بلکاستون، سیتی و مورگان استنلی ۶۳ میلیارد دلار برای خرید تراشههای هوش مصنوعی و تجهیزات شبکه برادکام برای شرکت آنتروپیک جمعآوری کردند. این معامله در میان بزرگترین معاملات بدهی مرتبط با توسعه هوش مصنوعی تاکنون قرار دارد.
این ساختار، یک شرکت با هدف خاص تازه تأسیس است که سختافزار را خریداری کرده و آن را به سازنده Claude اجاره میدهد. Broadcom به وامدهندگان «پشتیبانی از ارزش باقیمانده» میدهد، در واقع یک ضمانت سنگین. به گفته دو منبع، حدود ۴۳.۵ میلیارد دلار از آن بدهی رهن اول ارشد است، در حالی که Blackstone بخش رهن دوم متعهد شده را بر عهده میگیرد.
انتظار نمیرود تحویلها تا سال آینده آغاز شوند. مودیز هنوز هم برادکام را در میان قویترین شرکتهای بزرگ فناوری میداند، اما هشدار میدهد که اگر بسیاری از این قراردادها در مدت زمان کوتاهی انباشته شوند، ریسک افزایش مییابد. و این اتفاق میافتد.
شرکت متا (Meta) از عرضه سهام ۹۵ میلیارد دلاری برای تأمین مالی توسعه هوش مصنوعی خبر داد
متا برای توسعه هوش مصنوعی خود به ۹۵ میلیارد دلار دیگر نیاز دارد. این طرح با ۳۵ میلیارد دلار عرضه عمومی سهام تضمینشده آغاز میشود و پس از آن ۶۰ میلیارد دلار دیگر از طریق برنامه عرضه اولیه در بازار (at-the-market program) تأمین خواهد شد.
یک نکته جالب توجه این است که انویدیا، ایامدی و برادکام، همان شرکتهایی که تراشه میفروشند، علاقهمند به خرید تا سقف ۵ میلیارد دلار از سهام بودند. ارزش سهام در معاملات صبح ۱.۶ درصد کاهش یافت.
این پول از پروژههایی مانند عامل هوش مصنوعی Muse، اپلیکیشنها و کسب و کار مرکز داده آن پشتیبانی میکند. متا پیش از این پیشبینی هزینه سرمایهای سالانه خود را به ۱۳۵ تا ۱۴۵ میلیارد دلار در هفته گذشته افزایش داده بود و سرمایهگذاران از جریان نقدی آزاد منفی ناامید شده بودند. همانطور که یکی از تحلیلگران اظهار داشت، این «نشان دهنده سطوح خیرهکننده سرمایهگذاری مورد نیاز برای ادامه رقابت تسلیحاتی هوش مصنوعی است»
استارتاپ جدید کارمندان سابق DOGE ادعا میکند که Anthropic را هک کرده است
کاتدرال، یک استارتاپ امنیتی که توسط کارمندان سابق DOGE تأسیس شده است، میگوید مأموران هوش مصنوعی آن در کمتر از ۱۲ ساعت مسیرهایی را برای نفوذ به سیستمهای داخلی آنتروپیک پیدا کردهاند. این راه از طریق نقاط ضعف نرمافزارهای تجاری شخص ثالث بوده و اطلاعات ادعا شده شامل رونوشت جلسات، حقوق، پیشنهادات شغلی و پیامهای Slack بوده است.
روایت آنتروپیک متفاوت است. این شرکت دسترسی به «مجموعهای محدود» از سیستمهای فروش، منابع انسانی و فناوری اطلاعات را تأیید کرد، اما میگوید مکالمات کلود، کد منبع و وزنهای مدل هرگز دست نخورده باقی ماندهاند. همچنین میگوید محققان چندین روز را صرف عدم موفقیت در نفوذ مستقیم کردهاند و کاتدرال را به نقض قوانین برنامه آزمایش خود با عدم افشای کامل وسعت کاری که انجام داده است، متهم میکند.
کلیسای جامع ۱.۴ میلیارد دلار ارزش دارد و طبق گزارشها، یک مقام ارشد دولت ترامپ نگرانیهایی در مورد امنیت ملی مطرح کرده است. چه این یک زنگ خطر باشد و چه یک تبلیغ فروش با زمانبندی دقیق، همچنان پابرجاست، و ممکن است هر دو باشد.
معرفی GPT-6.1 Terra
مدل جدید Terra از OpenAI به عنوان ابزار قدرتمندی برای کارهای روزمره و معمولی کامپیوتری معرفی شده است: تهیه پیشنویس پروپوزال، خواندن نقشههای فنی، پر کردن فرمها و حتی ویرایش ویدیو. این مدل برای کاربران Plus، Pro، Enterprise و Edu در ChatGPT Work و Codex و از طریق API در دسترس قرار میگیرد.
هزینه، سرخط خبرهاست. قیمتهای API، ۵۰٪ کمتر از GPT-5.6 Terra و GPT-6.1 Sol است، با ۱ دلار به ازای هر میلیون توکن ورودی و ۵ دلار به ازای هر میلیون توکن خروجی. OpenAI میگوید که در معیار آخرین امتحان نمایندگان خود، با یک دهم قیمت به ازای هر توکن، با GPT-6 Astra برابری میکند و وظایف را بیش از سه برابر سریعتر انجام میدهد.
توهمات نیز به شدت کاهش یافت، حداقل طبق آزمایش داخلی OpenAI: میزان خطا در تلاش کم از ۵۳.۶٪ به ۱۶.۷٪ کاهش یافت. در Terminal-Bench 4.0، ۵۰.۳٪ از وظایف را حل میکند، بیش از دو برابر Terra قدیمی. با این حال، برای پیچیدهترین کارهای کدنویسی، خود OpenAI توصیه میکند که از Sol یا Astra استفاده کنید.
«Dear ChatGPT»: نوجوان ۱۲ ساله برنده جایزه برتر جوانان در جشنواره شعر استرالیا شد - ویدئو
این یکی دلگرمکننده است. بلیک مکنزی، نوجوان ۱۲ ساله اهل نیوکاسل، با قطعهای خطاب به ChatGPT، جایزه برتر جوانان را در جشنواره شعر استرالیا از آن خود کرد.
او این برنامه را یکشنبه شب در خانه اپرای سیدنی اجرا کرد و در آن با مسائلی مانند نابودی تدریجی، تنهایی و تحلیل رفتن ذهن دست و پنجه نرم کرد. سخنانی نیشدار از پسری که احتمالاً برای بیشتر برنامههایی که در موردشان هشدار میدهد، خیلی کوچک است.
این مسابقه ۶۵ مرحله مقدماتی در ۶۰ شهر و شهرستان برگزار شد تا ۱۶ فینالیست پیدا شوند. بلیک جایزه ۲۰ هزار دلاری را با شاعر اهل آلیس اسپرینگز، بیور، که با کتاب «سیاست در تو جریان دارد» برنده بخش بزرگسالان شد، به اشتراک میگذارد.
سوالات متداول
آیا مدل هوش مصنوعی OpenAI واقعاً فرضیه زمان نمایی را رد کرد؟
OpenAI میگوید یک مدل داخلی، فرضیه زمان نمایی را رد کرده است، حدسی در مورد اینکه ارضاپذیری بولی چقدر سخت است. این مدل تقریباً ده روز پیش رد را پیدا کرد و OpenAI روز بعد آن را در Lean تأیید کرد. متن و اثبات Lean اکنون هر دو در GitHub هستند. این ادعا هنوز باید توسط یک بررسی مستقل تحمل شود.
چه کسی به طور مستقل ادعای رد ETH توسط OpenAI را بررسی میکند؟
راسل ایمپاگلیازو و راماموهان پاتوری، دو نفر از کسانی که ETH را پیشنهاد دادند، به همراه رایان ویلیامز از MIT، بررسی این موضوع را بر عهده خواهند داشت. آنها تأکید میکنند که مشارکت آنها نباید به عنوان تأیید این ادعا تلقی شود. هیچ NDA و هیچ پرداختی وجود ندارد. OpenAI موافقت کرد که تمام دادههای خام را منتشر کند و یک کنفرانس را تأمین مالی کند.
OpenAI در همان روز چه نتایج ریاضی و فیزیک دیگری را اعلام کرد؟
OpenAI همچنین ادعا کرد که اثباتی برای حدس هموارسازی موضعی در هر بُعد ارائه داده است که حدسهای محدودیت کاکیا و استاین را نیز حل میکند. ادعای دوم، اثبات وجود دقیقی برای برخی از نظریههای میدان کوانتومی چهاربعدی، از جمله یانگ-میلز خالص، بود. گروهی به رهبری دیوید گراس، برنده جایزه نوبل، مطالب مربوط به هوش مصنوعی را نگه داشته و خودشان آن را مینویسند. OpenAI میگوید که هیچ علاقهای به اعتبار دانشگاهی ندارد و 5 میلیون دلار به بنیاد سیمونز برای کارگاهها کمک کرده است.
ثبت نام اولیه سهام شرکت آنتروپیک چه چیزی را در مورد درآمد و زیان آن آشکار میکند؟
شرکت آنتروپیک (Anthropic) به طور عمومی تحت نام تجاری ANT در بورس اوراق بهادار ثبت شده است و تحلیلگران و سرمایهگذاران ارزش آن را بیش از ۱.۵ تریلیون دلار تخمین میزنند. درآمد آن از ۴۱ میلیون دلار چند سال پیش به ۴.۵۸۵ میلیارد دلار در سال گذشته و سپس به ۱۶.۲۸۶ میلیارد دلار در شش ماه اول امسال افزایش یافته است. در طول همین مدت، این شرکت ضرر خالص ۸۰ میلیارد دلاری را گزارش کرده است. این شرکت بیش از ۱۴۰۰۰ مشتری سازمانی دارد و پنج مشتری برتر آن یک چهارم درآمد را تأمین میکنند.
قرارداد تأمین مالی ۶۳ میلیارد دلاری تراشههای برودکام برای آنتروپیک چگونه عمل میکند؟
بانک آمریکا، بلکاستون، سیتی و مورگان استنلی ۶۳ میلیارد دلار برای خرید تراشههای هوش مصنوعی و تجهیزات شبکهای برادکام برای شرکت آنتروپیک جمعآوری کردند. یک شرکت تازه تأسیس با هدف خاص، سختافزار را خریداری کرده و آن را به سازنده کلود اجاره میدهد. برادکام پشتیبانی ارزش باقیمانده را برای وامدهندگان فراهم میکند. به گفته دو منبع، حدود ۴۳.۵ میلیارد دلار بدهی رهن اول ارشد است، در حالی که بلکاستون بخش رهن دوم متعهد شده را بر عهده میگیرد. انتظار نمیرود تحویلها تا سال آینده آغاز شود.
چرا متا از طریق عرضه سهام، ۹۵ میلیارد دلار سرمایه جذب میکند؟
متا برای تأمین مالی توسعه هوش مصنوعی خود، شامل عامل هوش مصنوعی Muse، برنامهها و کسبوکار مرکز داده خود، به ۹۵ میلیارد دلار نیاز دارد. این طرح با ۳۵ میلیارد دلار عرضه عمومی سهام تضمینشده آغاز میشود و پس از آن ۶۰ میلیارد دلار دیگر از طریق یک برنامه عرضه در بازار به آن اختصاص مییابد. انویدیا، AMD و برادکام علاقهمند به خرید حداکثر ۵ میلیارد دلار از سهام بودند. متا پیش از این پیشبینی هزینه سرمایهای کل سال خود را به ۱۳۵ تا ۱۴۵ میلیارد دلار افزایش داده بود و سهام آن در معاملات صبح ۱.۶ درصد کاهش یافت.
آیا کاتدرال واقعاً سیستمهای داخلی آنتروپیک را هک کرد؟
کاتدرال، یک استارتاپ امنیتی که توسط کارمندان سابق DOGE تأسیس شده است، میگوید که مأموران هوش مصنوعی آن، از طریق نقاط ضعف نرمافزارهای تجاری شخص ثالث، در کمتر از ۱۲ ساعت مسیرهایی را برای نفوذ به سیستمهای داخلی آنتروپیک پیدا کردهاند. آنتروپیک دسترسی به مجموعهای محدود از سیستمهای فروش، منابع انسانی و فناوری اطلاعات را تأیید کرد. این شرکت مدعی است که مکالمات کلود، کد منبع و وزنهای مدل هرگز مورد دستکاری قرار نگرفتهاند. آنتروپیک همچنین کاتدرال را به نقض قوانین برنامه آزمایشی خود با عدم افشای کامل وسعت کاری که انجام داده است، متهم میکند.
هزینه GPT-6.1 Terra چقدر است و چه کسانی میتوانند از آن استفاده کنند؟
GPT-6.1 Terra برای کاربران Plus، Pro، Enterprise و Edu در ChatGPT Work و Codex و از طریق API در حال عرضه است. قیمت API برای هر میلیون توکن ورودی ۱ دلار و برای هر میلیون توکن خروجی ۵ دلار است که ۵۰٪ کمتر از GPT-5.6 Terra و GPT-6.1 Sol است. OpenAI میگوید که این محصول با یک دهم قیمت هر توکن، با GPT-6 Astra در آخرین امتحان Agents برابری میکند. OpenAI برای سختترین کارهای کدنویسی، توصیه میکند که از Sol یا Astra استفاده کنید.