تصویر نمادینریاضیدانان پس از انتشار صدها نتیجه ادعاشده از سوی OpenAI در صحت‌سنجی تردید دارند
OpenAI روز سه‌شنبه مجموعه‌ای بزرگ از نتایج ریاضی تولیدشده با هوش مصنوعی منتشر کرد. ریاضی‌دانان شگفت‌زده‌اند اما درباره نحوه بررسی نتایج تردید دارند.
OpenAI نتایج را روز سه‌شنبه ۶ اکتبر همراه با یک نوشته وبلاگی در GitHub منتشر کرد. FAZ بیش از ۷۰۰ سهم شامل راه‌حل، اثبات یا بخش‌هایی از اثبات می‌شمارد، در حالی که گاردین از بیش از ۳۷۰ نتیجه خبر می‌دهد، از نظریه اعداد و هندسه جبری تا منطق ریاضی. به گزارش وال‌استریت ژورنال، به نقل از FAZ، این نتایج شامل پیشرفت در سه مسئله از پنج مسئله باقی‌مانده هزاره است؛ الکس کونتوروویچ از دانشگاه راتگرز گفت اگر انسانی چنین کاری کرده بود، مدال فیلدز برایش قطعی بود. OpenAI می‌گوید حدود ۴۰۰۰ مسئله را به مدل ارائه کرده و روش کار و توان محاسباتی لازم را توضیح داده است.
تردید درباره صحت‌سنجی و دسترسی
OpenAI می‌گوید با کارشناسان Advisory Group on Mathematics and Artificial Intelligence در Institute for Advanced Study مشورت کرده است. خود مؤسسه اعلام کرد آزمودن دشوارترین مسائل بر مدل‌های اختصاصی را تأیید نمی‌کند و درباره نظامی دوسطحی و استدلال‌های هوش مصنوعی که هیچ انسانی نمی‌تواند راستی‌آزمایی‌شان کند هشدار داد. OpenAI وعده داد به ریاضی‌دانان صدا بدهد، اما نگفت این رویه را متوقف می‌کند. تریستان باکمستر، ریاضی‌دان دانشگاه نیویورک، به نیویورک‌تایمز گفت ممکن است ورودی‌ها اطلاعاتی به مدل داده باشند که به رسیدن به نتایج کمک کرده است.