اوپن‌ای‌آی
@0xdoug
@0xdougداگ کالکیت یه رکوردشکنی تر و تمیز روی مسئله شماره ۱۰۹ اوپن‌ای‌آی که مربوط به ضرب اعداد صحیحه رو کرده و حسابی تو جامعه علمی گردوخاک راه انداخته
داگ کالکیت یه رکوردشکنی تر و تمیز روی مسئله شماره ۱۰۹ اوپن‌ای‌آی که مربوط به ضرب اعداد صحیحه رو کرده و حسابی تو جامعه علمی گردوخاک راه انداخته. ماجرا از این قراره که این تیم با جابه‌جا کردن بیت‌های کنترلیِ فشرده به‌جای لایه‌های بزرگ، تونستن اون گلوگاه محاسباتی رو دور بزنن و متغیر کاپا رو از ۲ به توان منفی ۱۸۲ برسونن به ۲ به توان منفی ۳۴. با این حساب، خروجی نهایی‌شون حدود ۴۸ میلیون برابر از نتیجه قبلی خودشون و ۲ به توان ۱۴۸ برابر نسبت به رکورد اولیه خود اوپن‌ای‌آی بهینه‌تر و دقیق‌تر شده که یه جهش واقعاً غول‌آسا به حساب میاد.
منبع
Doug Colkitt@0xdoug
We are publishing an update to OpenAI problem #109 (integer multiplication) with further tightening.
κ = 2⁻³⁴ (tightened from κ = 2⁻¹⁸²)
The exact witness is 8.3 × 10⁻¹¹, a roughly 48 million fold improvement over the previous result and a 2¹⁴⁸ fold improvement over original OAI result.
The improvement came from removing the spacing penalty behind the quadratic bottleneck. This was done by moving compact control bits instead of entire windows.
Doug Colkitt @0xdoug
We are publishing an update to OpenAI problem #109 Integer multiplication) with another substantial further tightening:
κ = 2⁻⁵⁹ (from OpenAI’s original κ = 2⁻¹⁸²)
Approximately 500 thousand fold improvement over our previous result and a 2¹²³ fold improvement over the original OAI result.
The latest redesigned the finite network to share intermediate computations and scratch space, then tightened the recursion and Gaussian estimates.
۱۶ مهر ۱۴۰۵مشاهده در X
بیشتر بخوانید
فرانچسکو ماگی یه نکته مشتی درباره هوش مصنوعی اوپن‌ای‌آی وسط کشیده و میگه اگه این مدلا تو ریاضی غوغا می‌کنن، علتش اینه که ریاضی زبانش خیلی دقیق و قابل چک کردنه، ولی این توانایی اصلاً قرار نیست معجزه‌ای برای حل معضلاتی مثل درمان سرطان یا سفرهای فضایی باشه
اوپن‌ای‌آی اومده کلی دستاورد و حل مسئله جدید ریاضی رو که مدل هوش مصنوعی پیشرفته‌شون تنهایی کشف کرده منتشر کرده و حسابی گردوخاک راه انداخته
این ماجرای حل یکی از سخت‌ترین معماهای ریاضی دنیا یعنی معادله «ناویر-استوکس» توسط هوش مصنوعی OpenAI بدجوری رفته رو هوا
دن رابرتز اعلام کرده مخزن ریاضی اوپن‌ای‌آی روی گیت‌هاب رو به‌روزرسانی کردن و با ۶ تا فرمول‌بندی جدید با لین، ۱۹ تا اصلاحیه و پس گرفتن ۳ تا ادعا، تازه به حدود ۴۲ درصد اثبات رسمی نتایج اصلی رسیدن
نظرها
هنوز نظری نیست.
بخش نظرها فعلاً در دسترس نیست.