Antropik Pavel Izmailov, yapay zekanın henüz yaşam bilimlerinde bağımsız keşifler yapmayacağını çünkü fiziksel deneyler yapamadığını söylüyor Ama matematikte, modellerin muhtemelen biçimsel ispatları ve dilleri ustalaşacağı Yapay zeka yakında teknik lemmaları kanıtlamada insanlardan daha iyi olacak