انجمن ریاضیات انسانی بیش از ۶۰۰ عضو دارد که متعهد شده‌اند از هوش مصنوعی استفاده نکنند یا با آزمایشگاه‌های پیشرو هوش مصنوعی همکاری نکنند
انجمن ریاضیات انسانی (AHM)، گروهی که اخیراً شرکت OpenAI را به دلیل انتشار گسترده اثبات‌های تولیدشده با هوش مصنوعی به «بی‌اعتنایی کامل به هنجارهای پژوهش علمی» متهم کرده بود، اکنون بیش از هزار عضو دارد. بیش از ۶۰۰ نفر از این اعضا یک گام فراتر رفته‌اند و متعهد شده‌اند که در پژوهش‌های خود به‌هیچ‌وجه از ابزارهای هوش مصنوعی استفاده نکنند.
بر اساس صفحه عمومی اعضای این انجمن، AHM اکنون ۱۰۰۸ عضو دارد که ۶۵۴ نفر از آن‌ها به گروهی موسوم به «شاخه مخالف هوش مصنوعی» پیوسته‌اند. اعضای این گروه متعهد شده‌اند از مدل‌های هوش مصنوعی در فعالیت‌های پژوهشی خود استفاده نکنند؛ از جمله برای یافتن اثبات‌های ریاضی، بررسی مثال‌ها یا طرح پرسش‌های پژوهشی.
تمام اعضای AHM، صرف‌نظر از اینکه به این گروه ویژه بپیوندند یا نه، هنگام عضویت دو تعهد اصلی را می‌پذیرند. نخست اینکه از طریق ارائه خدمات فنی، دانش ریاضی، مشاوره یا تبلیغات، با شرکت‌های تجاری هوش مصنوعی همکاری نکنند. دوم اینکه هیچ نوشته ریاضی، از جمله مقاله، گزارش داوری، جزوه درسی یا کتابی را که مدل‌های هوش مصنوعی تولید کرده‌اند، منتشر نکنند. این انجمن معتقد است نوشته‌های ریاضی باید حاصل تألیف انسانی باشند و از اعضای خود انتظار دارد همکارانشان را نیز از این تعهدات آگاه کنند.
عضویت در گروه مخالف هوش مصنوعی اختیاری است، اما تعهدات آن فراتر می‌رود و اعضا را ملزم می‌کند هوش مصنوعی را به‌طور کامل از فعالیت‌های اصلی ریاضی خود کنار بگذارند. این انجمن فهرست عمومی اعضا را تقریباً هفته‌ای یک‌بار به‌روزرسانی می‌کند و عضویت برای افراد فعال در جامعه پژوهش ریاضی، از مقطع تحصیلات تکمیلی به بالا، آزاد است.
AHM در اوایل سال جاری میلادی و هم‌زمان با افزایش نگرانی‌ها در جامعه ریاضی درباره سرعت ورود آزمایشگاه‌های پیشرو هوش مصنوعی به این حوزه شکل گرفت. از آن زمان، این نگرانی‌ها شدت بیشتری گرفته است. ۲۵ برنده مدال فیلدز، از جمله ترنس تائو، بیانیه‌ای را امضا کرده‌اند که در آن هشدار داده‌اند تلاش شتاب‌زده آزمایشگاه‌های هوش مصنوعی برای حل مسائل مشهور ریاضی با هدف کسب امتیاز در معیارهای ارزیابی، به «ناهمسویی شدید» با شیوه واقعی پیشرفت این رشته منجر شده است. بیانیه جداگانه‌ای با عنوان «بیانیه لیدن» نیز که هزاران پژوهشگر آن را امضا کرده‌اند، نگرانی مشابهی را مطرح می‌کند: شرکت‌های هوش مصنوعی به ریاضی‌دانان انسانی‌ای که آثار منتشرشده‌شان برای آموزش مدل‌ها استفاده می‌شود، اعتبار شایسته را نمی‌دهند.
در میان این گروه‌ها، AHM موضعی تندتر و تقابلی‌تر اتخاذ کرده است. این انجمن در اوایل ماه جاری میلادی مستقیماً از OpenAI انتقاد کرد؛ انتقادی که در واکنش به انتشار بیش از ۷۰۰ دست‌نوشته ریاضی تولیدشده با هوش مصنوعی از سوی این شرکت مطرح شد. انجمن اعلام کرد که ریاضی‌دانان هرگز چنین آثاری را درخواست نکرده بودند و انتشار آن‌ها بیش از آنکه مشارکتی واقعی در پیشبرد این رشته باشد، نمایش قدرت شرکت محسوب می‌شد. AHM از ریاضی‌دانان خواست همکاری خود با OpenAI را به‌طور کامل متوقف کنند.
بااین‌حال، همه ریاضی‌دانان سرشناس با این موضع موافق نیستند. در سوی دیگر، آزمایشگاه‌های هوش مصنوعی موفق شده‌اند برخی از برجسته‌ترین چهره‌های این رشته را جذب کنند. جیکوب تسیمِرمن، برنده مدال فیلدز، امسال به OpenAI پیوست و پیش‌بینی کرد که هوش مصنوعی به‌زودی تمام کارهایی را که ریاضی‌دانان انجام می‌دهند، «بهتر و سریع‌تر» انجام خواهد داد. این دیدگاه در تضاد آشکار با موضع AHM قرار دارد. مدیران آزمایشگاه‌های پیشرو نیز پیش‌بینی‌های جسورانه مشابهی مطرح کرده‌اند؛ از جمله دیوید سیلور از Google DeepMind که پیش‌تر گفته بود اگر ریاضی‌دانان هوش مصنوعی در نهایت کل ریاضیات را متحول نکنند، شگفت‌زده خواهد شد.
این اختلاف دیدگاه، همان شکاف اصلی‌ای است که رشد AHM آن را آشکار می‌کند: فاصله میان ریاضی‌دانانی که آزمایشگاه‌های پیشرو هوش مصنوعی را تهدیدی بنیادین برای تعریف پیشرفت علمی و نحوه اعتباردهی به دستاوردهای پژوهشی می‌دانند و کسانی که حاضرند در همین آزمایشگاه‌ها فعالیت کنند تا بر چگونگی به‌کارگیری هوش مصنوعی در ریاضیات تأثیر بگذارند. AHM با بیش از هزار عضو و فهرستی عمومی که هر هفته به‌روزرسانی می‌شود و تعهدات اعضا را مشخص می‌کند، بر این باور است که شمار افراد گروه نخست همچنان افزایش خواهد یافت.