Antropopen Pavel Izmailov säger att AI ännu inte kommer att göra självständiga upptäckter inom livsvetenskaperna eftersom den inte kan genomföra fysiska experiment Men inom matematiken, där modeller sannolikt behärskar formella bevis och språk AI kommer snart att bli bättre än människor på att bevisa tekniska lemmor