Anthropic 的 Pavel Izmailov 表示，AI 尚未能在生命科學領域進行獨立發現，因為它無法進行實體實驗。 但在數學領域，模型可能會掌握形式證明和語言。 AI 很快將在證明技術引理方面超越人類。