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