**Show HN: Maith——以严谨标准探索开放数学的AI研究工作台**

_Show HN: Maith – open math research with AI_

> Maith是一个开源数学研究工作台，旨在利用AI探索开放数学问题，同时严格区分AI生成的推测性文本、数值证据与正式证明。它提供纪律化的工作流，结合计算机代数系统和形式化工具，强调AI仅用于加速发现（如提出引理或寻找反例），而证明必须保持明确、可复现且经独立验证，防止将连贯的推导误认为已解决问题。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-07-21 21:35（北京时间）
- **原文**：[打开原文](https://github.com/clidey/maith)