ترنس تائو از انتشار گسترده مقالات ریاضی تولیدشده با هوش مصنوعی توسط OpenAI انتقاد کرد

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

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

در این مجموعه، ۷۱۹ دست‌نوشته در قالب ۳۷۲ گروه از نتایج دسته‌بندی شده‌اند. برای تولید این مجموعه، یک مدل داخلی که هنوز منتشر نشده بود، با حدود ۴۰۰۰ مسئله حل‌نشده روبه‌رو شد. بخش عمده نتایج با استفاده از فرایند استاندارد به دست آمد؛ فرایندی که برای هر نتیجه، به‌طور متوسط سه ساعت محاسبات استدلالی ChatGPT Pro مصرف می‌کرد. پژوهش مربوط به ناحیه عاری از صفر در تابع زتای ریمان، استثنای این روند بود. حدود ۴۲ درصد از نتایج اصلی دارای صورت‌بندی‌های صوری در زبان Lean هستند؛ با این حال، ممکن است برخی از نتایجی که چنین صورت‌بندی‌ای ندارند، با مشکل مواجه باشند.

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

یکی از نتایج منتشرشده ادعا می‌کند که برای توابع ال دِیریشله، از جمله تابع زتای ریمان، ناحیه‌ای عاری از صفر وجود دارد که در آن بخش حقیقی از ۷/۸ بزرگ‌تر است. فرضیه ریمان بیان می‌کند که تمام صفرهای غیر بدیهی تابع زتای ریمان روی خطی قرار دارند که بخش حقیقی آن برابر با ۱/۲ است. تائو نتیجه مربوط به مرز ۷/۸ را بزرگ‌ترین پیشرفت در بررسی این مسئله طی ۵۰ سال گذشته دانست، اما تأکید کرد که این نتیجه فرضیه ریمان را اثبات نمی‌کند. به گفته او، برای پیشبرد این نتیجه و رساندن مرز بخش حقیقی به مقداری فراتر از ۳/۴، به ایده‌ای مهم و تازه نیاز است.

تائو همچنین استدلال کرد که رقابت شرکت‌های هوش مصنوعی برای عرضه سامانه‌های قدرتمندتر، به بهای کاهش درک انسانی و ایمنی تمام شده است. او هشدار داد که به‌کارگیری سامانه‌ها در محیط‌های واقعی، بدون درک چگونگی عملکرد آن‌ها، ممکن است در نهایت مشکلات جدی ایجاد کند.

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