خرید آنلاین و حضوری با اسنپ‌پی
در حال بارگذاری…
شبکه اطلاع رسانی طـــــــــــلا، ســکـــــــــــه و ارز
کیان
نزدیک به یک‌سوم گیمرهای آمریکایی قصد خرید GTA 6 را دارند

نزدیک به یک‌سوم گیمرهای آمریکایی قصد خرید GTA 6 را دارند

بازی X-Men اینسامنیاک گیمز چند شخصیت قابل بازی خواهد داشت

بازی X-Men اینسامنیاک گیمز چند شخصیت قابل بازی خواهد داشت

خانواده یک مهندس آمازون از ChatGPT به خاطر مرگ او شکایت کرد

خانواده یک مهندس آمازون از ChatGPT به خاطر مرگ او شکایت کرد

هوش مصنوعی «جمنای ۴ کربن» رونمایی شد؛ هیولای جدید گوگل با تمرکز بر امنیت

هوش مصنوعی «جمنای ۴ کربن» رونمایی شد؛ هیولای جدید گوگل با تمرکز بر امنیت

اپل از آی‌مک جدید با تراشه M6 رونمایی کرد؛ قدرت پردازشی بیشتر با قیمت پایه ۱۴۹۹ دلار

اپل از آی‌مک جدید با تراشه M6 رونمایی کرد؛ قدرت پردازشی بیشتر با قیمت پایه ۱۴۹۹ دلار

اپل نخستین مک‌بوک لمسی خود را معرفی کرد

اپل نخستین مک‌بوک لمسی خود را معرفی کرد

داینامیک آیلند سرانجام به مک راه یافت + بازگشت لوگوی نورانی اپل

داینامیک آیلند سرانجام به مک راه یافت + بازگشت لوگوی نورانی اپل

مک بوک پرو لمسی اپل با نمایشگر Tandem OLED و تراشه‌های M5 Pro و M5 Max معرفی شد

مک بوک پرو لمسی اپل با نمایشگر Tandem OLED و تراشه‌های M5 Pro و M5 Max معرفی شد

داینامیک آیلند آیفون سرانجام وارد مک بوک شد

داینامیک آیلند آیفون سرانجام وارد مک بوک شد

قیمت قوی‌ترین مدل مک بوک پرو لمسی هوش از سر شما می‌پراند

قیمت قوی‌ترین مدل مک بوک پرو لمسی هوش از سر شما می‌پراند

نبرد بر سر تعریف اثبات ریاضی

ادعای حل یک مسئله هزاره‌ای با هوش مصنوعی، خشم ریاضی‌دان‌ها را برانگیخت

بازدید ۶۰نویسنده: گروه تولید محتوا
ادعای حل یک مسئله هزاره‌ای با هوش مصنوعی، خشم ریاضی‌دان‌ها را برانگیخت

یک مدل هوش مصنوعی مدعی شد راه‌حلی برای یکی از سخت‌ترین مسائل حل‌نشده ریاضیات پیدا کرده است. اما واکنش تند برندگان مدال فیلدز نشان می‌دهد اختلاف اصلی نه بر سر درستی جواب، بلکه بر سر معنای «اثبات» در عصر ماشین است.

به گزارش شبکه اطلاع‌رسانی طلا و ارز، یک مدل هوش مصنوعی مدعی شد راه‌حلی برای یکی از هفت مسئله هزاره ریاضی، از دشوارترین معماهای حل‌نشده جهان، ارائه داده است. برای هرکدام از این مسئله‌ها ۱ میلیون دلار جایزه در نظر گرفته شده، اما این دستاورد ادعایی به‌جای تحسین، با واکنش تند برندگان مدال فیلدز، بالاترین نشان علمی در ریاضیات، روبه‌رو شده است.

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

واکنش برندگان مدال فیلدز چیست

مسئله‌های هزاره، مجموعه‌ای هفت‌تایی از پرسش‌های بازمانده ریاضیات هستند که یک مؤسسه علمی در سال ۲۰۰۰ میلادی برای هرکدام جایزه تعیین کرد. تا امروز فقط یکی از این هفت مسئله به‌طور رسمی حل‌شده تأیید شده است؛ به همین دلیل هر ادعای تازه، توجه جهانی جامعه علمی را جلب می‌کند.

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

چرا این مناقشه فراتر از دانشگاه اهمیت دارد

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

داوری نهایی درباره این ادعا هنوز کامل نشده و به گفته کارشناسان، بررسی دقیق اثبات ممکن است ماه‌ها زمان ببرد. مؤسسه مسئول جوایز هزاره تاکنون درباره پرداخت جایزه یا تأیید رسمی این دستاورد اعلام نظر نکرده است.

نویسنده: گروه تولید محتوا
اشتراک‌گذاری:

نظرات کاربران

هنوز نظری برای این مطلب ثبت نشده — اولین نفر باشید.