هوش مصنوعی وارد دنیای ریاضیات می‌شود؛ بنیاد سیمونز، OpenAI و Anthropic برای طرح پژوهشی ۱۵ میلیون دلاری متحد شدند
بنیاد سیمونز از طرحی ۱۵ میلیون دلاری برای تأمین مالی و فراهم‌کردن منابع مورد نیاز پژوهشگران خبر داده است که با همکاری OpenAI و Anthropic اجرا می‌شود. هدف این طرح کمک به ریاضیدانان برای ارزیابی پژوهش‌های انجام‌شده با کمک هوش مصنوعی، تدوین استانداردهای مشترک برای استفاده از این فناوری و بررسی پیامدهای آن برای کشف‌های ریاضی است.
مدیریت این طرح بر عهده بنیاد سیمونز خواهد بود و بنیاد از طریق فراخوان عمومی برای ارائه پیشنهادها و سازوکارهای دیگر، بودجه اختصاص می‌دهد. این کمک‌های مالی از کارگاه‌ها و برنامه‌های پژوهشی مشترکی پشتیبانی خواهند کرد که در آن پژوهشگران می‌توانند نتایج به‌دست‌آمده با کمک هوش مصنوعی را بررسی کنند، نحوه استفاده از ابزارهای نوظهور را بیاموزند و درباره شیوه ارزیابی و به‌کارگیری این فناوری در ریاضیات گفت‌وگو کنند. این تعهد مالی شامل منابع و حمایت‌های دیگری نیز خواهد بود.
هدف این طرح آن است که خود پژوهشگران نقش پررنگ‌تری در تعیین نحوه استفاده از ابزارهای هوش مصنوعی در پژوهش‌های ریاضی داشته باشند و این تصمیم‌ها صرفاً به شرکت‌های فناوری یا مؤسسات منفرد واگذار نشود.
بنیاد سیمونز برای پژوهش درباره هوش مصنوعی و ریاضیات فراخوان منتشر می‌کند
بنیاد سیمونز بر تخصیص بودجه برای فعالیت‌هایی نظارت خواهد کرد که ریاضیدانان را گرد هم می‌آورد و به آنها در واکنش به استفاده روزافزون از هوش مصنوعی در پژوهش کمک می‌کند. این فعالیت‌ها بر ارزیابی نتایج اخیر حاصل از کمک هوش مصنوعی، به‌اشتراک‌گذاری تجربه‌های پژوهشی و تدوین استانداردهای مشترک برای استفاده از ابزارهای هوش مصنوعی متمرکز خواهند بود.
کارگاه‌ها و دیگر طرح‌های مشارکتی بستری برای پژوهشگران فراهم می‌کنند تا میزان قابل‌اعتماد بودن و سودمندی کارهای ریاضی تولیدشده با هوش مصنوعی را بررسی کنند. بنیاد سیمونز اعلام کرده است که این برنامه بر اساس نیازهای جامعه ریاضی هدایت خواهد شد و بر حمایت دیرینه این بنیاد از این حوزه تکیه خواهد داشت.
دیوید اسپِرگل، رئیس بنیاد سیمونز، گفت توسعه سریع هوش مصنوعی اهمیت همکاری ریاضیدانان برای تصمیم‌گیری درباره تأثیر این فناوری بر رشته خود را بیشتر کرده است. اسپِرگل در بیانیه‌ای مطبوعاتی گفت: «با توجه به اینکه هوش مصنوعی به‌سرعت چشم‌انداز پژوهش را دگرگون می‌کند، می‌خواهیم به جامعه ریاضی کمک کنیم تا در کنار یکدیگر بهترین مسیر پیش رو را شکل دهند.»
او افزود که ریاضیات باید به‌عنوان فعالیتی جمعی و برآمده از کنجکاوی انسان در نظر گرفته شود، نه صرفاً مجموعه‌ای از اثبات‌ها و قضایا.
OpenAI و Anthropic ابزارهای هوش مصنوعی و منابع محاسباتی فراهم می‌کنند
علاوه بر تعهد مالی، OpenAI و Anthropic ابزارهای هوش مصنوعی و منابع محاسباتی را در اختیار پژوهشگرانی قرار خواهند داد که از حمایت بنیاد سیمونز بهره می‌برند.
این حمایت علاوه بر ریاضیات، علوم پایه را نیز دربر خواهد گرفت. OpenAI به‌طور جداگانه مشارکت ۵ میلیون دلاری خود در طرح بنیاد را تأیید کرده است. این شرکت اعلام کرده است که این بودجه به ریاضیدانان کمک می‌کند نتایجی را که با هوش مصنوعی تولید شده‌اند، از جمله نتایجی که اخیراً توسط OpenAI منتشر شده‌اند، بررسی کنند، آنها را بهتر بفهمند و بر مبنای آنها کار کنند. سهم OpenAI از کارگاه‌ها، کنفرانس‌ها و برنامه‌های ویژه حمایت خواهد کرد.
OpenAI همچنین دسترسی پژوهشگران دریافت‌کننده حمایت بنیاد را به مدل‌های هوش مصنوعی و منابع محاسباتی خود فراهم خواهد کرد. این همکاری گسترده‌تر، حمایت مالی را با دسترسی به منابع فناورانه ترکیب می‌کند تا پژوهشگران بتوانند یافته‌های حاصل از کمک هوش مصنوعی را با دقت بررسی کرده و کاربردهای بالقوه آنها را مورد مطالعه قرار دهند.
دستیار اثبات Lean از جمله ابتکارهای پیشین بنیاد در حوزه هوش مصنوعی است
بنیاد سیمونز اعلام کرده است که برنامه جدید بر فعالیت‌های پیشین آن در حمایت از ریاضیات و یادگیری ماشین برای علوم استوار است.
از جمله ابتکارهای پیشین این بنیاد، تأمین مالی توسعه دستیار اثبات Lean بوده است؛ ابزاری که به ریاضیدانان کمک می‌کند گزاره‌های ریاضی را صورت‌بندی رسمی کنند و درستی اثبات‌ها را بررسی کنند. دستیارهای اثبات می‌توانند به پژوهشگران کمک کنند بررسی کنند آیا استدلال‌های ریاضی با الزامات رسمی تعیین‌شده مطابقت دارند یا خیر. توسعه این ابزارها همچنین به پژوهش درباره اثبات‌های کمک‌گرفته از هوش مصنوعی منجر شده است؛ در این نوع پژوهش، هوش مصنوعی می‌تواند در تولید یا توسعه استدلال‌ها نقش داشته باشد و سپس این استدلال‌ها با استفاده از ابزارهای راستی‌آزمایی رسمی بررسی شوند.
این بنیاد همچنین کارگاه‌ها، سخنرانی‌ها و همکاری‌هایی برگزار کرده است تا ریاضیدانان درباره نقش هوش مصنوعی در این رشته با یکدیگر گفت‌وگو کنند. اهمیت این تلاش‌ها با توجه به توانایی‌های جدید سامانه‌های هوش مصنوعی در استدلال و حل مسائل ریاضی بیشتر شده است. با این حال، ارزیابی درستی نتایج، درک چگونگی به‌دست‌آمدن آنها و تعیین ارزششان برای پژوهش‌های ریاضی همچنان از ملاحظات مهم پژوهشگران است.
ریاضیدانان درباره استانداردهای هوش مصنوعی تصمیم‌گیری خواهند کرد
بنیاد سیمونز تأکید کرده است که هدف این طرح، حمایت از جامعه ریاضی برای شکل‌دادن به رویکرد خود در قبال هوش مصنوعی است؛ از جمله تصمیم‌گیری درباره ارزیابی، پذیرش و استفاده از این ابزارها.
اسپِرگل در بیانیه مطبوعاتی گفت: «این لحظه‌ای است که جامعه ریاضی باید گرد هم بیاید.» او افزود که پژوهشگران، نه یک شرکت یا مؤسسه خاص، باید گفت‌وگوها درباره نحوه ارزیابی و استفاده از ابزارهای هوش مصنوعی را هدایت کنند.
این طرح، همزمان با ادغام نزدیک‌تر هوش مصنوعی در فعالیت‌های علمی، بر گفت‌وگوی جمعی و تدوین استانداردهای مشترک تأکید ویژه‌ای دارد. انتظار می‌رود حمایت مالی و منابع این برنامه فرصت‌هایی برای پژوهشگران فراهم کند تا یافته‌های حاصل از کمک هوش مصنوعی را بررسی کنند، دیدگاه‌های خود را با یکدیگر به اشتراک بگذارند و رویه‌هایی متناسب با نیازهای رشته خود ایجاد کنند.
این اعلامیه در شرایطی منتشر شده است که توسعه‌دهندگان هوش مصنوعی و پژوهشگران علمی در حال بررسی این موضوع هستند که مدل‌های هرچه توانمندتر چگونه می‌توانند در کشف‌های ریاضی نقش داشته باشند. تمرکز اعلام‌شده این برنامه کمک به جامعه پژوهشی برای ارزیابی این تحولات و تعیین شیوه ادغام هوش مصنوعی در ریاضیات است؛ آن هم در حالی که اهمیت راستی‌آزمایی، همکاری و درک انسانی همچنان حفظ شود.