Show HN：AI Math Kit – 开放问题，诚实探索

AI Math Kit

概述

数论与微积分中的开放问题、AI 数学突破指南、微积分里程碑，以及诚实的探索提示。

AI Math Kit — 开放问题。诚实地探索。**简短描述** 数论开放问题 + AI 数学突破指南 + 诚实的探索提示——全部集成在一个 Chrome 弹窗中。**详细描述** 对 Goldbach、Collatz、孪生素数感到好奇——但论文看起来遥不可及？想跟上近期的 AI / 形式化突破，却不知道从何入手？AI Math Kit 将开放谜题和前沿指南打包进一个 Chrome 弹窗。无需打开新标签页，无需翻找文件夹——点击工具栏即可探索。问题库包含 217 条通俗易懂的条目：数论开放问题（A–F，参照 R. K. Guy 的 *Unsolved Problems in Number Theory*）、经典微积分谜题（G）、冷门数论（H），以及跨领域开放谜团（I，从 Riemann 到 P vs NP）。AI Breaks 标签页提供通俗易懂的介绍，并附形式化范围说明和论文提示。Explore 提供提示模板以及一份诚实守则——AI 擅长打比方；它不应随意“证明”开放猜想。**为什么选择 AI Math Kit** • 三项功能，一个弹窗：Problems · AI Breaks · Explore • 217 个通俗数学问题（数论 A–F、微积分 G、冷门数论 H、谜团 I），可按章节筛选 • 242 份 AI / 形式化突破指南（范围说明 + 论文提示） • EN · ZH · JA 界面；突破内容提供三种语言 • 支付状态本地缓存（已付费 15 天 / 未付费 7 天），以减少 ExtPay API 调用 • 注重隐私：偏好设置和支付缓存保留在设备本地 **Problems（搜索 · 章节 · 复制提示）** 六个章节的经典开放问题：素数 · 整除性 · 加性数论 · 丢番图方程 · 整数序列 · 杂项 每个条目都有一句话概要、通俗展开、小例子以及“为什么难”。Pro 解锁完整深度和每个问题的 AI 提示。**AI Breaks（前沿 · 通俗 · 可核查范围）** 围绕近期形式化 / AI 辅助数学的指南：准 Riemann 式陈述、凸几何、嵌入与能量、锥……列表可浏览；深度细节、精确范围和论文提示需 Pro 解锁。指南为你指引方向——论文和形式文本仍是真相的来源。**Explore（提示 · 方法 · 诚实）** • 流程：选一个问题 → 复制提示 → 先要求举例 → 诚实性检查 • 模板：通俗解释 · 小实验 · 检查我的想法 · 比较已知进展 • 入门：Collatz、Goldbach、孪生素数等 • 守则：不要把 AI 草稿当作定理；不要宣布虚假证明 **免费版 vs Pro（一句话）** 免费版：安装并浏览章节以及一组入门内容。Pro：完整问题深度、突破详情和提示模板。**如何使用** 1. 点击工具栏图标 2. **Problems** — 按章节筛选或搜索；Pro 可复制定制提示 3. **AI Breaks** — 浏览指南；升级以获取范围说明和完整文章 4. **Explore** — 将模板复制到你常用的 AI 中，诚实地探索 5. Settings — 语言、升级 Pro，或强制刷新支付状态 **适合谁** 任何对开放数学感到好奇的人 · 想把 AI 当作导师而非假证明器的人 · 关注形式化 / AI 数学进展的读者 · 厌倦为一个解释打开十个标签页的人 **语言** English · 中文 · 日本語 **说明** 热门指南仅供探索——不能替代书籍或论文，也不代表 AI 证明了某个开放猜想。设置和支付缓存保留在本地。Pro 是可选的应内购买（ExtPay）。

0 分（满分 5 分）暂无评分了解结果和评论的更多信息。

了解结果和评论的更多信息。

详情

• 版本1.2.2

• 更新日期2026 年 11 月 10 日

• 举报问题

• 提供方space bear

• 语言2 种语言English、中文（中国）

• 开发者邮箱 [email protected]

• 非交易者 此开发者未将其自身标识为交易者。对于欧盟消费者，请注意消费者权利不适用于你与此开发者之间的合同。

隐私

此开发者声明你的数据是

• 不会在批准的使用场景之外出售给第三方

• 不会被用于或转移用于与该条目核心功能无关的目的

• 不会被用于或转移用于确定信用状况或用于借贷目的