AI Math Kit：一个用于借助 AI 探索开放数学问题的浏览器弹窗

AI Math Kit 是一个浏览器扩展弹窗，汇集了 217 个开放数学问题、242 篇关于 AI 与形式化数学突破的通俗摘要，以及用于诚实 AI 探索的提示模板。问题库涵盖数论、微积分和跨领域谜题，突破页面则包含精确的范围说明和论文指引。免费版提供浏览功能；Pro 版解锁完整解释和专用提示，偏好设置和支付状态缓存在本地。