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

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

این نبردی بر سر معناست: آیا ماشینی که به جواب می‌رسد، واقعاً «اثبات» کرده است؟ پاسخ به این پرسش می‌تواند جایگاه هوش مصنوعی در ریاضیات و علوم را برای همیشه تغییر دهد.

🤖خلاصه با هوش مصنوعی تهیه شده —تحریریه پالس ایران