“MATEMATİK CAMİASI İÇİN BÜYÜK BİR ADIM” VURGUSU
Edinburgh Üniversitesinde hibrit yapay zeka alanında öğretim görevlisi olan Wenda Li, verilerin resmi dile çevrilmesi sürecinin otomatikleştirilmesinin matematik camiası için büyük bir adım olduğunu belirtti.Li, “Bu kanıtlama sistemini formüle edebilirlerse, yayınlanan sonuçların doğruluğuna çok daha fazla güvenebiliriz ve ayrıca daha işbirlikçi hale gelebilir.” dedi.Matematikçi Tim Gowers de yaptığı açıklamada, “Bir matematikçi olarak yapay zekanın olimpiyatlarda 4 soruyu doğru cevaplamasını çok etkileyici ve daha önce mümkün olanlardan önemli bir sıçrama olarak görüyorum.” ifadesini kullandı.
