摘要
本文通过可审计的案例研究，提供了消费级大模型进行“直觉证明”的早期证据，成功解决了关于四循环行随机非负矩阵族精确非实谱区域的猜想。研究分析了多个对话线程及证明草稿，记录了一种包含生成、评审与修复的迭代流程。结果表明，模型在高阶证明搜索中极具价值，但关键的正确性闭环仍需人类专家介入。该研究不仅得出了新的数学定理，还刻画了 AI 辅助科研工作流程中实质性的帮助环节与验证瓶颈。
AI 推荐理由
论文核心研究 LLM 在数学证明中的推理能力，涉及思维链与逻辑推导。
研究机构
荷兰阿姆斯特丹大学
论文信息