OpenAI 3 اکتشاف ایجاد شده توسط هوش مصنوعی در ریاضیات، علوم کامپیوتر، فیزیک را اعلام کرد.

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

توسعه‌دهنده ChatGPT در بیانیه‌ای روز دوشنبه گفت که مدل‌هایش اثباتی از حدس هموارسازی محلی در همه ابعاد ارائه می‌کنند که حدس Kakeya و حدس محدودیت Stein را نیز حل می‌کند.

این سند گفت که این اثبات که در 18 اکتبر ایجاد شد، روز بعد با استفاده از Lean، یک سیستم اثبات ریاضی، رسمی شد.

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

محققان دانشگاه کالیفرنیا، سن دیگو، و موسسه فناوری ماساچوست نیز نتیجه را بررسی خواهند کرد که در Lean رسمیت یافته است.

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

این کار همچنین شامل یک اثبات پیشنهادی برای وجود نظریه خالص یانگ میلز است که به بخشی از یکی از مسائل جایزه هزاره موسسه ریاضیات Clay می پردازد.

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

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