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