AI sof matematika tadqiqotlarida: inson tasavvuri muhim

Stephen Wolfram AI sof matematika tadqiqotlarining ayrim qismlarini avtomatlashtirayotganini muhokama qildi. U rasmiylashtirishdagi qiyinchiliklarga va qaysi savollarni berishni hal qilishda inson tasavvurining muhimligiga e'tibor qaratdi.