数学家 Tony Feng：AI 证明一年内将带来“新大陆级”发现

数学家 Tony Feng 认为，AI 在数学证明中的应用将在一年内带来“新大陆级”发现，开启远超传统人力探索速度的未知领域。当前 AI 证明仍以技术技巧为主，但较 6 个月前已取得显著进步；他把这种能力比作数学家能够直接领会的“外星智能”。