دستیابی اوپن ای آی به سه نتیجه جدید در حوزه ریاضی و علوم
شرکت اوپن ای آی از دستیابی به سه دستاورد علمی جدید در حوزههای ریاضی و فیزیک خبر داد که همگی در ابزار اثباتگر Lean تایید شدهاند.
این شرکت مدعی است که موفق به رد فرضیه زمان نمایی (ETH) شده و حدس کاکیا را برای تمام ابعاد در حدس هموارسازی محلی حل کرده است. همچنین، اوپن ای آی از ارائه اثباتی برای نظریههای میدان کوانتومی تعاملی شامل میدانهای پیمانهای و فرمیونها در چهار بعد خبر میدهد.
پیش از این، اوپن ای آی در ابتدای ماه جاری ۳۷۷ نتیجه ریاضی را در گیت هاب منتشر کرده بود. با این حال، این شرکت اعلام کرده است که به دنبال کسب اعتبار آکادمیک برای اکتشافات تولید شده توسط مدلهای داخلی خود نیست.
منبع
- Gizmodo
هر منبع در سایتِ خودش باز میشود؛ این صفحه همینجا میماند.
دیدگاهها
این خبر دیگر در دسترس نیست
شاید کهنه شده یا منبعش برداشته شده. خبرهای تازهای که به کارِ شما میآید پایینِ همین صفحه است.
برو به «برای تو»