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