展示 HN：社交与情境感知的 AI 数学平台

ProofTree 是一个 AI 数学平台，支持与 AI 聊天，具备上下文感知能力，了解用户个人数学风格，并连接其他数学专家，类似 StackExchange 但结合了 AI 交互。需要注册邮箱使用。