Bilgisayarlar, Karşı Örnek Bulmada İnsan Matematikçileri Geride Bırakıyor
Bilgisayarlar, sezgiye dayalı varsayım testlerini aşarak karşı örnekleri daha hızlı üretiyor.
İnsan matematikçileri uzun yıllardır varsayımları test etmek için sezgiye dayanıyor. Son gelişmeler, bilgisayarların karşı örnekleri çok daha hızlı üretebildiğini gösteriyor. Bu yeni yetenek, "outcounterexampled" terimiyle tanımlanıyor.