Antropul Pavel Izmailov spune că inteligența artificială nu va face încă descoperiri independente în științele vieții pentru că nu poate efectua experimente fizice Dar în matematică, unde modelele probabil vor stăpâni demonstrațiile formale și limbajele Inteligența artificială va deveni curând mai bună decât oamenii în a demonstra leme tehnice