بنیان‌گذار کاردانو به پیشرفت ریاضی OpenAI اشاره کرد

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

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

OpenAI می‌گوید که تقریباً 10,000 عامل در مجموع در 88 ساعت یک راه‌حل برای معادلات ناویر-استوکس تولید کردند.

Clay هنوز هم معادلات ناویر-استوکس را به عنوان حل نشده طبقه‌بندی می‌کند و منتظر انتشار، بررسی و پذیرش ریاضی گسترده در سطح جهانی است.

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

OpenAI دسترسی به کارهای خصوصی را انکار کرد اما نتوانست استفاده از داده‌های ناشناس که بر بهبود مدل‌ها تأثیر گذاشته‌اند را رد کند.

اظهارات او پس از ادعای OpenAI مبنی بر اینکه یک سیستم داخلی راه‌حلی برای مشکل جایزه هزاره معادلات ناویر-استوکس تولید کرده، مطرح شد.

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

هاسکینسون گفت که او در ابتدا انتظار داشت که سیستم‌های رسمی به تیم‌های بزرگ‌تری از ریاضیدانان کمک کنند تا همکاری کنند و اثبات‌های نوشته شده توسط انسان را تأیید کنند. او انتظار نداشت که مدل‌های زبانی بزرگ به زودی بتوانند اثبات‌های کامل را خودشان تولید کنند.

"ما هرگز پیش‌بینی نکرده بودیم که هوش مصنوعی تا این حد پیشرفت کند،" هاسکینسون گفت. او افزود که ایده اینکه هوش مصنوعی به طور کامل یک اثبات را بنویسد، قبلاً "بسیار دور از ذهن" به نظر می‌رسید.

هاسکینسون ارتباط مستقیمی با تحقیقات ریاضی رسمی دارد. در سال 2021، او 20 میلیون دلار به دانشگاه کارنگی ملون اهدا کرد تا مرکز هاسکینسون برای ریاضیات رسمی را تأسیس کند، طبق اعلام دانشگاه.

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

OpenAI تحقیقات خود را در تاریخ 8 سپتامبر منتشر کرد. این شرکت گفت که یک مدل داخلی تقریباً 10,000 عامل را هماهنگ کرده و پس از 88 ساعت یک راه‌حل پیشنهادی تولید کرده است. سپس GPT-6 Astra 17 ساعت دیگر را صرف رسمی‌سازی و بررسی استدلال در Lean کرد.

این اثبات تلاش می‌کند تا نشان دهد که یک مایع ایستا و اولیه می‌تواند در زمان محدود تحت تأثیر یک نیروی خارجی نرم، یک تکینگی ایجاد کند. OpenAI گفت که این بیانیه‌ها C و D را در فرمول رسمی جایزه هزاره برآورده می‌کند.

این شرکت همچنین یک مقاله تحلیلی و کد Lean منتشر کرد. یک رسمی‌سازی Lean تأیید قابل بررسی ماشین را فراهم می‌کند که مراحل کدگذاری شده از فرضیات بیان شده پیروی می‌کنند. این به طور مستقل تأسیس نمی‌کند که هر تعریف و فرض به درستی نمایانگر مشکل ریاضی مورد نظر است.

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

مؤسسه ریاضیات Clay هنوز هم مشکل ناویر-استوکس را "حل نشده" می‌داند. وب‌سایت آن در زمان گزارش، اثبات پیشنهادی OpenAI را به عنوان یک راه‌حل پذیرفته شده شناسایی نکرده بود.

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

این فرآیند به این معنی است که اعلامیه OpenAI و اثبات رسمی به عنوان شناسایی فوری مؤسسه‌ای محسوب نمی‌شود. ریاضیدانان باید بررسی کنند که آیا ساختار به بیان دقیق مشکل پاسخ می‌دهد و آیا استفاده از نیروی خارجی به سوال به طور معمول درک شده پاسخ می‌دهد.

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

باک‌مستر سوال کرد که آیا کار خصوصی که به سیستم Codex OpenAI وارد شده می‌تواند به نتیجه شرکت کمک کرده باشد. او از ادعای رفتار نادرست خودداری کرد و گفت: "من نمی‌دانم که آیا داده‌های ما استفاده شده است یا نه."

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

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

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

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