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