AI Math Kit Math Exploration Browser Extension Released
Understand this story
space bear releases the AI Math Kit browser extension, putting 217 math problems and introductions to 242 AI and formal math breakthroughs into a toolbar popup, with support for Chinese, English, and Japanese. The problem set covers number theory, calculus and the Riemann Hypothesis, P vs NP, and other unsolved problems, and also includes prompt templates and an honesty pact of "don't treat AI drafts as theorems." After free installation, you can browse chapters and some entries; Pro is an optional in-app purchase (ExtPay) that unlocks full problem explanations, in-depth AI breakthrough content, and prompt templates. Settings and payment cache are stored only on the local device.
AI overview based on source reports · Updated 2 days ago
Coverage timeline
Follow the coverage to explore different perspectives.
- Hacker News AIShow HN: AI Math Kit – Open Problems. Explore Honestly
AI Math Kit is a browser extension popup that presents 217 open math problems (number theory, calculus, and cross-field mysteries such as the Riemann Hypothesis and P vs NP) alongside 242 plain-language guides to AI and formalized-math breakthroughs, plus prompt templates and an honesty pledge for exploring with AI. It offers Chinese, English, and Japanese interfaces, caches payment status locally, and unlocks full problem explanations, breakthrough details, and prompts via an optional Pro in-app purchase (ExtPay). The developer states the content is introductory paraphrase and does not claim AI has proven any conjecture.
Activity for this story
- Current comparable activity
- 4
- Peak comparable activity
- 10Nov 13 09:00
- Change in the past 24 hours
- -50%
Trends compare the same fully observed participants, which may cover fewer participants than current activity. Move the pointer or tap the chart to inspect hourly activity; use the left and right arrow keys with a keyboard.