用多模型 AI 系统做数学发现
问题
BSD 猜想是千禧年难题之一。在 Cremona 数据库的海量
椭圆曲线上,需要同时做大规模计算、模式发现和假设证伪——
任何单一模型都无法独立完成。
做法
43 次运行、302 个 Skill、1,682 次工具调用。
探索模式下多模型发散共振产生假设(13 条标注),
确定性计算完成证伪。共振最强的假设 6/7 存活。
一个决定性事实由确定性模式发现后,探索模式生成解释,
43 小时内写出三篇论文。
可验证的结果
8 篇计算数论论文发表于 Zenodo;
完整方法论另写成纵向案例研究(Part 4),
包括 AI 起草层的全部捏造记录——公开,不是回避。
这证明的
在「答案不存在于任何训练数据」的问题上,
这套系统能产出经受住验证的新知识。
你的业务问题,大概率比 BSD 猜想容易。