Anthropic的Pavel Izmailov表示,AI在生命科学领域尚无法进行独立发现,因为它无法进行物理实验 但在数学领域,模型很可能会掌握形式证明和语言 AI很快将在证明技术引理方面超越人类