0 会员专区 2026-07-21 AI开始替数学家寻找反例：一个更适合机器的科研入口 AI参与数学研究的第一批规模化入口，未必是独立写出长篇证明，而是帮助研究者寻找反例、测试猜想、发现遗漏条件，并把候选结果交给Lean等形式化系统验证。