GameDoes Theorem Cards use AI?
About a thousand seed puzzles were AI-generated, then verified with Lean and reviewed by the developer before shipping.
Our AI review, medium confidence. Not a verdict; the evidence is below.
Checked against Steam on Oct 28, 2026.
Before you buy: anti-cheat, accounts, DRM
No anti-cheat, third-party account or DRM is declared on Theorem Cards's Steam page.
Full anti-cheat, account and DRM details, with change history →
Production signals
Facts about who made the game and how players received it. They don't depend on AI, and they help tell a carefully made game that used some AI apart from mass-produced ones.
- Math Sphinx released 0 games on Steam in the last 12 months. 1 of their 1 game disclose AI.
- This is the developer's first game on Steam.
- Not released yet.
- Our AI review of these signals: solid production.
What the developer says
AI was used to generate about one thousand seed puzzles that ship with this game (these seeds are based on real theorems included in the Lean 2 project). Every seed was verified by Lean and reviewed to make the steps easier to follow. Our own puzzle generator then makes each puzzle more complex by adding up to six extra tactics to its solution (nine supported tactics: rewrite, apply, existsi, left, right, symmetry, constructor, cases and intro). Using AI was important to make the puzzles more challenging and to add tactics not available in our generator, such as induction, contradiction and have. No content is generated by AI while the game is running.
From the “AI Generated Content Disclosure” on the Steam store page, quoted as written. First seen by us on Oct 28, 2026.
What other sources say
| Source | Their take |
|---|---|
| Steam disclosure | AI content disclosed |
| AI judgment deepseek-flash | Partial AI · solid production, medium confidenceReasoningThe disclosure says AI produced roughly 1,000 seed puzzles that ship, so some in-game content is AI-generated. Each seed was machine-verified and human-reviewed, and a custom generator adds complexity, showing real development effort. No live AI generation occurs during play. Against: The developer has only one game and no release history, so volume-based low-effort signals can't be assessed; the AI seeds are a supporting input to a hand-built puzzle system. |
| Remove AI Slop open-source extension | Some AI (level design, art) |
FAQ
Does Theorem Cards use AI?
Yes. Theorem Cards's developer discloses AI-generated content on its Steam page. About a thousand seed puzzles were AI-generated, then verified with Lean and reviewed by the developer before shipping.
Is Theorem Cards AI-generated?
Only partly. AI is used for parts of the game; most of it is made by the developers.
How does GameAICheck know?
We read the AI Generated Content Disclosure from the game's public Steam store page, check it daily, and show what independent curators and open-source tools say about it. Disclosures are self-reported by developers.
Is something wrong?
Developers and players can dispute or report this page. We review every message and correct mistakes.