Anthropic Pavel Izmailov sagt, dass KI in den Lebenswissenschaften noch keine unabhängigen Entdeckungen machen wird, da sie keine physikalischen Experimente durchführen kann. Aber in der Mathematik, wo Modelle wahrscheinlich formale Beweise und Sprachen beherrschen werden, wird KI bald besser sein als Menschen beim Beweisen technischer Lemmata.