توجه تائو به بحران ارزش‌ها در ریاضیات؛ تولید اثبات‌های AI به حد اشباع می‌رسد

ریاضیدان چینی تائو در کنگره بین‌المللی ریاضی‌دانان (ICM) اعلام کرد که ریاضیات به یک بحران بنیادی در مورد ارزش‌ها و روش‌های تحقیقاتی وارد شده است. او اشاره کرد که AI به زودی قادر خواهد بود با هزینه‌ای معقول، حجم زیادی از وظایف ریاضی در سطح تحقیق را انجام دهد. در آخرین آزمایش، چهار مجموعه سیستم AI با 10 سوال تحقیقاتی جدید مواجه شدند و حداقل یک مجموعه از این سیستم‌ها توانست با کیفیت قابل انتشار، 7 سوال را حل کند، هزینه محاسباتی برای هر سوال بین 10 تا 1000 دلار بود. تائو معتقد است که ریاضیات از "کمبود اثبات" به "اشباع اثبات" منتقل خواهد شد و اثبات‌های تولید شده توسط AI انباشته خواهند شد تا مورد تأیید قرار گیرند. نتایج تأیید شده نیاز به توضیح، مرور و سازماندهی واضح توسط انسان‌ها دارند. توانایی واقعی که کمیاب خواهد بود، قضاوت در مورد اهمیت نتایج و تبدیل اثبات‌ها به دانش قابل فهم برای انسان‌ها خواهد بود. او تأکید کرد که اگر نویسنده نتواند به وضوح و دقت دستاوردهای خود را توضیح دهد، حتی اگر اثبات توسط AI تولید شده و تأیید شود، نباید منتشر شود.