آیا OpenAI «محقوق ریاضی» را آغاز کرده است؟ کارشناسان می گویند حل مسائل ریاضی نمادین توسط هوش مصنوعی ممکن است در درازمدت مشکلات بزرگی ایجاد کند
راهحلها یا راهحلهای جزئی برای ۳۷۲ مسئله ریاضی برجسته که سالها ریاضیدانان انسانی را به چالش میکشیدند، توسط OpenAI منتشر شدهاند که منجر به فراخوانی از توسعهدهندگان هوش مصنوعی برای تمرکز بر درک انسان شد.
OpenAI 372 چالش ریاضی برجسته را حل کرده یا تا حدی حل کرده است
برخی از راه حل ها، اگرچه واضح هستند، اما برای برخی از انسان ها قابل درک نیستند و با یک مدل هوش مصنوعی داخلی و منتشر نشده تولید شده اند.
ترنس تائو، ریاضیدان مشهور، از همکارانی که با OpenAI کار می کنند، خواسته است تا پروژه های خود را رها کنند OpenAI با انتشار راهحلها و راهحلهای جزئی برای 372 مسئله برجسته که دهههاست که بزرگترین ذهنهای جهان را متحیر کرده است، دنیای ریاضیات پیشرفته را مبهوت کرده است.
درست دو سال پیش، هوش مصنوعی مدیریت چالشهای ریاضی در سطح GCSE را دشوار میدانست. امروزه در حال حل مشکلاتی است که سالها طول کشیده تا بشر حتی وجود آن را ثابت کند. در همین حال، راهحلهای ارائهشده تقریبا به اندازه مسائل پیچیده در نظر گرفته میشوند و مقیاس - منتشر شده در 722 مقاله - درک و تأیید آن را برای ریاضیدانان انسانی دشوار میکند.
تأثیر انتشار، یکی از بزرگترین ریاضیدانان جهان، ترنس تائو، را بر آن داشته است که خواستار بازگشت به دیدگاه سنتی علم شود.
تظاهرات قدرت
انتشار OpenAI از کار خود در مورد این مسائل ریاضی پیشرفته آخرین نشان از پیشرفت این فناوری است. همین چند هفته پیش، این شرکت پیشنهاد خود را برای معادله ناویر-استوکس (در رابطه با رفتار سیالات چسبناک) منتشر کرد که توسط مدل ریاضی تخصصی منتشر نشدهاش ایجاد شده بود.
تائو به عنوان یکی از صداهای پیشرو در میدان، و مردی که به عنوان بزرگترین ذهن زنده در ریاضیات شناخته می شود، مخالفان را رهبری می کند.
به دنبال مشارکت OpenAI، او پستی را از انجمن ریاضیات انسانی به اشتراک گذاشت که به این نتیجه می رسد:
"انتشار بیش از 700 فایل به طور همزمان یک نمایش دانش نیست، بلکه یک نمایش قدرت است. ما از ریاضیدانان می خواهیم که کار خود را با OpenAI متوقف کنند و به چشم اندازی از علم برگردند که درک انسان را متمرکز می کند."
با این حال، به همان اندازه که این نتیجه گیری قدرتمند است، پاسخ آنها به مداخله OpenAI به طور کلی نشان می دهد که این شرکت ممکن است فراتر رفته باشد.
مسائل مربوط به مشروعیت
انجمن ریاضیات انسانی بیان میکند که «ریاضیدانان نخواستهاند این کار انجام شود» و ادامه میدهد که «گروه مشاوره در ریاضیات و هوش مصنوعی، که OpenAI مدعی است مشروعیت خود را از آن گرفته است، بیانیه مشاوره اولیه خود را با گفتن اینکه شرکتهای هوش مصنوعی مرزی نباید مشکلات مدلهای ریاضی پیشرفته داخلی را آزمایش کنند، آغاز کرد.»
با نادیده گرفتن موضع گروه مشاوره، آنها اظهار میکنند که OpenAI اساسا از حد کمرنگ فراتر رفته است و «نشاندهنده بیاعتنایی کامل به هنجارهای تحقیقات علمی است - هنجارهایی که تضمین میکنند ریاضیات قابل اعتماد، از نظر اخلاقی تحقیق شده و در جهت منافع عمومی باقی میمانند». علاوه بر این، آنها ریاضیدانان را تشویق میکنند که با این نشریه با «شک و تردید» برخورد کنند.
OpenAI با بیان اینکه "ما می خواهیم این پیشرفت مرز دانش بشری را پیش ببرد و پیشرفت بیشتر در ریاضیات را امکان پذیر کند" پاسخ داده است. با این حال، اقدامات آن به عنوان بی پروا تفسیر می شود و این نمایش قایق ممکن است برای OpenAI و صنعت گسترده تر هوش مصنوعی مضر باشد.
متن اصلی (انگلیسی)
Has OpenAI started the 'mathpocalypse'? Experts say AI's solving of iconic math problems may cause huge issues in the long run
Solutions or partial solutions to 372 outstanding math problems that have challenged human mathematicians for years have been published by OpenAI, leading to a call for AI developers to focus on human understanding