علم
@rad_niazadeh
@rad_niazadehدن رابرتز اعلام کرده مخزن ریاضی اوپن‌ای‌آی روی گیت‌هاب رو به‌روزرسانی کردن و با ۶ تا فرمول‌بندی جدید با لین، ۱۹ تا اصلاحیه و پس گرفتن ۳ تا ادعا، تازه به حدود ۴۲ درصد اثبات رسمی نتایج اصلی رسیدن
دن رابرتز اعلام کرده مخزن ریاضی اوپن‌ای‌آی روی گیت‌هاب رو به‌روزرسانی کردن و با ۶ تا فرمول‌بندی جدید با لین، ۱۹ تا اصلاحیه و پس گرفتن ۳ تا ادعا، تازه به حدود ۴۲ درصد اثبات رسمی نتایج اصلی رسیدن. اما راد نیازاده دراومده و یه تیکه سنگین به این سبک کار زده و حسابی کشیدتشون به چالش. حرف حسابش اینه که اثبات ریاضی مثل بازی ویدئویی یا نرم‌افزار ناقص نیست که اول با هزارتا باگ بدیش دست ملت و بعد هی براش پچ و آپدیت ترمیمی بدی بیرون! خلاصه منظورش اینه که ساحت ریاضیات شوخی‌بردار نیست و نمیشه با منطق سرهم‌بندی استارتاپی، اعتبار علمی رو حراج کرد.
منبع
Rad Niazadeh@rad_niazadeh
Sorry, these are proofs not a video game or a software. You can’t ship it and keep releasing patches!
Dan Roberts @danintheory
We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice.
https://github.com/openai/math/blob/main/history.md
۱۶ مهر ۱۴۰۵مشاهده در X
بیشتر بخوانید
بچه‌های اوپن‌ای‌آی قراره همین امروز یه بمب گنده بترکونن و صدها مسئله ریاضی حل‌نشده رو که با هوش مصنوعی حل کردن، یهو روی گیت‌هاب بریزن رو دایره
این ماجرای حل یکی از سخت‌ترین معماهای ریاضی دنیا یعنی معادله «ناویر-استوکس» توسط هوش مصنوعی OpenAI بدجوری رفته رو هوا
فرانچسکو ماگی یه نکته مشتی درباره هوش مصنوعی اوپن‌ای‌آی وسط کشیده و میگه اگه این مدلا تو ریاضی غوغا می‌کنن، علتش اینه که ریاضی زبانش خیلی دقیق و قابل چک کردنه، ولی این توانایی اصلاً قرار نیست معجزه‌ای برای حل معضلاتی مثل درمان سرطان یا سفرهای فضایی باشه
داگ کالکیت یه رکوردشکنی تر و تمیز روی مسئله شماره ۱۰۹ اوپن‌ای‌آی که مربوط به ضرب اعداد صحیحه رو کرده و حسابی تو جامعه علمی گردوخاک راه انداخته
نظرها
هنوز نظری نیست.
بخش نظرها فعلاً در دسترس نیست.