伊森·莫里克：人机协作「赛博格」模式正主导数学研究

伊森·莫里克指出，人类研究员与 AI 系统结合的「赛博格」工作流正迅速主导数学研究领域。这一模式标志着抽象与形式化科学探索的研究方式正在发生深刻的范式转变。