square root of two

人工智能挑战数学天才的定义，区分机械思维与超验思维

人工智能正迫使人们重新评估数学天才和思维本身，区分对现有概念的机械探索与新概念的超验发明。虽然人工智能在海量规模上擅长机械思维，但机器发现需要新概念框架的现象的潜力模糊了人类天才与人工智能之间的界限。OpenAI 最近发布的 722 篇手稿，其中包括一个关于圆周率无理数指数的证明，展示了人工智能进行复杂数学探索的能力，引发了关于人类数学家未来角色的辩论。