PSI در تلاش است تا با اکتشافات علمی مبتنی بر هوش مصنوعی، تجارتی ایجاد کند

دیوید تورتورین، فارغ‌التحصیل اخیر MIT و یکی از اعضای کادر فنی آزمایشگاه استارت‌آپ Physical Superintelligence (PSI)، از دسترسی اولیه به مدل Fable 5.2 آنتروپیک برای حل یک مشکل هجده ساله در مورد محاسبات کوانتومی استفاده کرد.

تورتورین که برنامه‌های خود برای ادامه تحصیل در مقطع کارشناسی ارشد در آزمایشگاه معتبر علوم کامپیوتر و هوش مصنوعی MIT را برای پیوستن به PSI به تعویق انداخت، به TechCrunch گفت: «من کاملا این ایده را می‌پذیرم که ممکن است این آخرین مقاله‌ای باشد که تا کنون منتشر کرده‌ام. "چند ماه دیگر، مثلا، چرا حتی یک کاغذ چاپ می کنید؟"

مسئله مورد بحث، حدس آرونسون-آمباینیس، به توانایی رایانه‌های کوانتومی برای حل سریع‌تر مسائل از رایانه‌های کلاسیک مربوط می‌شود. اسکات آرونسون، یکی از دو محققی که این مشکل را مطرح کردند، می‌نویسد که او کاملا اثبات را نمی‌فهمد، اما معتقد است که این اثبات درست است، زیرا به صورت خودکار در Lean، یک زبان برنامه‌نویسی برای ریاضیات، رسمیت یافته و توسط تیمی از محققان برتر توضیح داده شده است که PSI راه‌حل را با آنها به اشتراک گذاشته است.

به نظر می رسد راه حل این است که درهای راهی را که کامپیوترهای کوانتومی می توانند برای حل برخی مشکلات دشوار با سرعت بالا دنبال کنند، ببندد، اما نه همه آنها. تورتورین گفت: «این یک نتیجه منفی است که به مردم امکان می‌دهد بدانند، خوب، ما دیگر به آنجا نگاه نمی‌کنیم.

به طور گسترده تر، منعکس کننده تحول در دنیای علمی ناشی از حل مشکلات هوش مصنوعی است.

آرونسون که خود را احساس رضایت، حیرت، ناامیدی و خستگی از این اخبار توصیف کرد، نوشت: «اثبات کامل [حدس آرونسون-آمباینیس] یکی از آخرین مشکلات باز باقیمانده در پیچیدگی پرس و جو کوانتومی بود که به نظر می‌رسید همه موافق بودند که اهمیت مرکزی دارد. "راستش من از اینکه چند هفته پیش آن را در فضای خالی Mathocalypse OpenAI دیدم تعجب کردم. مطمئنا آنها آن را امتحان کردند، پس آیا واقعا از همه مشکلاتی که حل شده بود سخت تر بود؟"

این یک نکته به نفع مدل PSI است که حل مشکلات علمی با مهارها و داربست های مدل تخصصی است.

مت پانز، مدیرعامل PSI به TechCrunch گفت: «یک نوع سیستم تحقیقاتی مؤثر باید چیزهای زیادی مرتبط با مهارها، ابزارها، سیستم‌های حافظه، زیرساخت‌های شبیه‌سازی داشته باشد. "شما می خواهید بتوانید واقعا به دنبال یک مشکل در وسعت و عمق باشید و بتوانید طیف گسترده ای از جایگزین های بالقوه را در نظر بگیرید."

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

پاینز گفت: "شش تا نه ماه پیش، زمانی که با سرمایه گذاران صحبت می کردم، انگار مجبور بودم برای تایید این شرط مشروط تلاش کنم، درست است؟ مانند "نه، نه، نه، به من اعتماد کنید، به زودی، فیزیک نظری عمدتا در حوزه ماشین ها خواهد بود." "و هنوز آنجا نیست، اما در راه است."

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

پینز گفت: "اگر این یک واقعیت واقعی از طبیعت است، این ترفندی است که می توانید از آن بهره برداری کنید." "شما می توانید یک دستگاه از آن بسازید، درست است؟ هوش مصنوعی ایده ای را پیشنهاد می کند؛ این به شما امکان می دهد کاری را در دنیایی انجام دهید که قبلا قادر به انجام آن نبودید... و بنابراین هر یک از آنها نوعی حلقه هستند که PSI در حال ساختن است."

از آنجایی که «نئوآلب‌ها برای علم» به مسیری برای علم بالقوه پیشگام تبدیل می‌شوند، شرکت‌کنندگان هنوز در حال کشف استانداردهای این دنیای جدید هستند. از آنجایی که PSI باید نتیجه خود را تا زمانی که مدل آنتروپیک تقریبا برای انتشار آماده می‌شد حفظ می‌کرد، آن‌ها توانستند آن را با محققان مربوطه به اشتراک بگذارند تا آن را بهتر درک کنند.

جیم هالورسون، استاد دانشگاه نورث ایسترن که به PSI مشاوره می دهد، گفت: «به عنوان یک دانشگاهی، ما می خواستیم نقش خود را در انجام کارها به روش صحیح ایفا کنیم. او هفته آینده در نشستی در MIT شرکت خواهد کرد که در آن فیزیکدانان برجسته سعی خواهند کرد پاسخی به سرعت جدید علم ارائه دهند. "بهترین شیوه ها هنوز در حال ظهور هستند... ما فهمیدیم که شفافیت راه خوبی است و تماس با کارشناسان راه خوبی است."

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

وقتی از طریق پیوندهای موجود در مقالات ما خرید می کنید، ممکن است کمیسیون کمی کسب کنیم. این بر استقلال تحریریه ما تأثیر نمی گذارد.

نگاهی اولیه به Next TechCrunch Disrupt Disrupt، Startup Battlefield و موارد دیگر در سال آینده بازخواهد گشت و می توانید در خط مقدم باشید. برای لیست انتظار ما ثبت نام کنید

رسوایی ادعایی جنسن هوانگ الهام بخش برخی از میم های درجه یک دومینیک-مادوری دیویس لوکاس روپک شده است.

ماسک می گوید تسلا برخی از سپرده های Cybertruck را بازپرداخت می کند، از تصمیم برای پایان دادن به تولید Kirsten Korosec دفاع می کند.

تسلا ساخت Cybertruck را در سال 2027 شان اوکین متوقف خواهد کرد

کلود اکنون می تواند هزینه های شما را با ابزار جدید مالی شخصی خود عایشه مالک تجزیه و تحلیل کند

سارا پرز می گوید تقریبا هیچ کس از عوامل هوش مصنوعی برای رزرو Uber خود استفاده نمی کند

متا استارتاپ کدنویسی هوش مصنوعی Conductor Lucas Ropek را خریداری کرد