0
AI开始替数学家寻找反例：一个更适合机器的科研入口
AI参与数学研究的第一批规模化入口，未必是独立写出长篇证明，而是帮助研究者寻找反例、测试猜想、发现遗漏条件，并把候选结果交给Lean等形式化系统验证。
标签: 科研智能体
0
20个智能体同时解数学难题：科研工作怎样被拆成一条并行流水线
Star Fleet Math把数学研究拆成多条并行线路，让多个智能体分别承担检索、探索、编程、形式化和验证任务。真正决定成果质量的，不只是模型数量，而是任务结构、验证工具和研究人员的判断。