Antropis Pavel Izmailov mengatakan AI belum akan membuat penemuan independen dalam ilmu hayati karena tidak dapat menjalankan eksperimen fisik Tetapi dalam matematika, di mana model kemungkinan akan menguasai bukti dan bahasa formal AI akan segera menjadi lebih baik daripada manusia dalam membuktikan lema teknis