Batı matematikçiler KI kanıtlarını boykot ederken, Çin hızla ilerliyor

Fields-Medailleli Çinli matematikçi Shing-Tung Yau öncülüğündeki bir grup, Pekin'de sekiz kuruluşu bir araya getirerek "Yau Laboratuvarı Matematik ve Yapay Zekâ İttifakı"nı kurdu. Bu ittifak, yapay zekâyı matematiksel araştırmaya yönlendirmek amacıyla daha fazla bilim insanından oluşan bir ağ kurmayı hedefliyor. Yau, Çin'in Amerika Birleşik Devletleri'ne göre geride kaldığını uyardı.

Batı'da ise 25 Fields-Medaillili bilim insanı, yapay zekâ tarafından üretilen kanıtların matematiksel anlayışı zayıflatabileceği ve araştırmacıları anlamaları zor araçlara bağımlı hale gelebileceği konusunda endi. Bazı topluluk üyeleri yapay zekâ destekli kanıtların boykot edilmesi çağrısında bulunurken, diğerleri otomatik gönderimlerin büyüklüğü nedeniyle şokta. Çin ise özelleştirilmiş modeller geliştirmeyi, makine tarafından doğrulanabilir kanıtlar oluşturmayı ve izlenebilir yapay zekâ çıkarımları yapmayı amaçlıyor.