185 道数论未解通俗导读、252 条 AI / 形式化突破导读，加上诚实探索提示词——弹窗里逛题库、读前沿、复制提示词去问 AI。内容离线打包，不假装「已经证明」。
185 popular number-theory open problems, 252 AI / formalization breakthrough guides, and honest explore prompts — browse, read, and copy prompts in one popup. Ships offline. No fake proofs.
题库与突破导读随扩展打包，离线可读。
Problem bank and breakthrough guides ship with the extension and read offline.
灵感来自 R. K. Guy《数论中未解决的问题》，按素数 / 整除 / 堆垒 / 不定方程 / 序列等章节横滑筛选，一句话 + 白话展开 + 小例子。
Inspired by R. K. Guy’s Unsolved Problems in Number Theory — filter by chapter, with one-liners, plain expansions, and tiny examples.
近年形式化 / AI 辅助数学工作的通俗导读：精确范围说明与论文线索，帮助你找对方向，最终仍以论文与形式化文本为准。
Plain-language guides to recent formalization / AI-assisted math — scope notes and paper hints to orient you; papers remain the source of truth.
通用模板与每题专属提示词：先举例、再检查想法、对比已知进展。诚实公约提醒：别把 AI 草稿当成定理。
Universal templates and per-problem prompts: examples first, idea checks, known progress. Honesty charter: don’t treat AI drafts as theorems.
界面三语；支付状态本地缓存（已付费 15 天 / 未付费 7 天），减少重复拉取 ExtensionPay API。
Trilingual UI; payment status cached locally (15 days if paid / 7 if unpaid) to cut repeated ExtensionPay API pulls.
免费版可浏览章节与部分条目；Pro 为 ExtensionPay 解锁完整题库详解、AI 突破深度内容与提示词模板。内容仅供探索，不构成证明声明。
Free lets you browse chapters and a starter set; Pro unlocks via ExtensionPay — full problem depth, breakthrough details, and prompt templates. For exploration only — not proof claims.