Pavel Izmailov z Anthropic mówi, że AI jeszcze nie dokona niezależnych odkryć w naukach przyrodniczych, ponieważ nie może przeprowadzać eksperymentów fizycznych. Jednak w matematyce, gdzie modele prawdopodobnie opanują formalne dowody i języki, AI wkrótce stanie się lepsze od ludzi w udowadnianiu technicznych lem.