自主数学研究
自主数学研究（Autonomous Mathematics Research）是指AI能够独立进行数学探索、提出猜想、构建证明并发表成果的能力。这是[[Aletheia]]带来的核心范式转移，标志着AI从"竞赛解题者"进化为"科研探索者"。
与竞赛数学的区别
| 维度 | 竞赛数学 | 数学研究 |
|---|---|---|
| 知识边界 | “已知有解”，局限于特定范畴 | 面对"未知"，需要综合广泛文献 |
| 表达形式 | 需要结果和严密证明 | 需要提出新概念、构建新猜想 |
| 容错与幻觉 | 有明确对错标准 | LLM易产生"表面上合理但逻辑断裂"的幻觉 |
实现方式
Aletheia通过以下技术实现自主数学研究：
- [[推理时间扩展定律]]：在推理阶段投入更多计算资源
- 迭代式生成-验证-修正循环
- 端到端自然语言推理
相关页面
- [[aletheia]]
- [[推理时间扩展定律]]
- [[人机交互卡片]]
- [[竞赛数学vs数学研究]]