بنیاد سیمونز مجموعه جدیدی از ابتکارات را برای کمک به جامعه ریاضیات برای هدایت سریع رشد هوش مصنوعی در این زمینه، با حمایت 15 میلیون دلاری بودجه و منابع ترکیبی بنیاد، Anthropic و OpenAI اعلام کرد.

این بنیاد بودجه را مدیریت و اعطا خواهد کرد، از جمله از طریق یک فراخوان آزاد برای ارائه پیشنهاد، برای حمایت از کارگاه‌ها و ابتکاراتی که به محققان کمک می‌کند نتایج اخیر با کمک هوش مصنوعی را ارزیابی کنند، ابزارهای جدید را یاد بگیرند و استفاده کنند، دیدگاه‌ها را به اشتراک بگذارند، و استانداردهای جمعی را برای نحوه استفاده از هوش مصنوعی در تحقیقات ریاضی شکل دهند. For more context on this story, see our ongoing latest AI developments.

ابزار و محاسبه فراتر از ریاضیات

فراتر از بودجه، Anthropic و OpenAI ابزارهای هوش مصنوعی و منابع محاسباتی را در اختیار محققان تحت حمایت بنیاد سیمونز قرار خواهند داد. طبق اعلام این بنیاد، این حمایت فراتر از ریاضیات گسترش می یابد و علوم پایه را به طور گسترده تری در بر می گیرد - یک کانال مستقیم غیرمعمول بین آزمایشگاه های مرزی هوش مصنوعی و محققان دانشگاهی فعال.

این ترتیب به دلیل ساختارش قابل توجه است: به جای اینکه آزمایشگاه ها دستور کار را تنظیم کنند، بنیاد نحوه اعطای پول را کنترل می کند و مطالب مطبوعاتی تاکید می کند که جوایز و منابع جامعه محور خواهد بود.

چرا ریاضیات خط مقدم است

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

این مشکل راستی‌آزمایی برای تأمین مالی ابتکار جدید بسیار مهم است. کارگاه‌ها و ابتکارات با هدف «ارزیابی نتایج اخیر با کمک هوش مصنوعی» اذعان می‌کنند که فرآیند سنتی بازبینی همتا برای شواهدی که با سیستم‌های هوش مصنوعی تهیه شده یا در برخی موارد اساساً توسط سیستم‌های هوش مصنوعی تهیه شده‌اند طراحی نشده است.

چارچوب بنیاد: جامعه اول

دیوید اسپرگل، رئیس بنیاد سیمونز، این تلاش را لحظه ای برای تصمیم گیری جمعی توصیف کرد. اسپرگل در این اطلاعیه گفت: «از آنجایی که هوش مصنوعی به سرعت چشم‌انداز تحقیقات را تغییر می‌دهد، ما می‌خواهیم به جامعه ریاضی کمک کنیم تا گرد هم آیند و بهترین مسیر را ایجاد کنند.» اکنون زمان آن است که به ریاضیات به عنوان یک کل نگاه کنیم - نه به عنوان مجموعه ای از برهان ها و قضایا، بلکه به عنوان یک درک جمعی که توسط کنجکاوی انسانی هدایت می شود.

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

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

مدلی برای سایر زمینه ها

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

تاریخچه این بنیاد به آن اعتبار داد تا این نقش را ایفا کند: فراتر از بودجه اولیه دستیار اثبات ناب، کارگاه‌ها، سخنرانی‌ها و همکاری‌هایی برای بررسی نقش هوش مصنوعی در ریاضیات برگزار کرده است. تعهد 15 میلیون دلاری جدید این امر را رسمیت می‌بخشد که جمع‌آوری نیرو در یک برنامه تأمین‌شده دقیقاً در لحظه‌ای که نتایج به کمک هوش مصنوعی سریع‌تر از هنجارهای جامعه می‌رسند، می‌رسند.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →