Disclosure analysis
AI content is included in the game
AI generated and refined puzzle seeds included in the game, with no runtime AI generation disclosed.
- Process
- AI-generated, then edited
- Live AI during play
- No
Evidence & analysis details
- Evidence used
-
“AI was used to generate about one thousand seed puzzles that ship with this game”
“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)”
- Model-reported confidence
- 95% A model estimate, not a measured accuracy rate or a human review score.
Auto-classified from the public disclosure. The raw disclosure below remains the source of truth. How classification works.
AI Usage Disclosure
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.
Highlights are auto-detected and may not be fully accurate. Report an issue
This disclosure in context
How comparisons workCompare this developer’s disclosure with 26,619 non-mature Steam products in the index. These figures describe published disclosures, not all games on Steam or independently verified AI use.
- AI-assisted content in the game
- 71.2%
- 18,632 of 26,183 disclosures with structured analysis.
- Compare this group
- Writing or localization
- 28.6%
- 7,611 of 26,619 indexed disclosures mention this category.
- Compare this category
Categories can overlap. A disclosure may mention several types of AI use.
Related disclosures
Selected by shared AI-use categories or classification, then Steam review count. These are comparisons of disclosures, not recommendations or assessments of game quality.
-
Arma 3
In-game content textSeveral post-release languages (specifically Bulgarian, Hungarian, Ukrainian, Slovak, and Latin) were experimentally translated using an AI model. The quality of these translations…
-
Stellaris
In-game content art audio textWe employ generative AI technologies during the creation of some assets. Typically this involves the ideation of content and visual reference material. These elements represent a m…
-
DAVE THE DIVER
In-game content textGenerative AI is used only to assist with localization/translation. All localized text is reviewed and edited by the developer. No AI-generated art, audio, or in-game live genera…
-
THRONE AND LIBERTY
In-game content textSome game and marketing content was translated with the assistance of AI tools.
Source and record
- First indexed
- Oct 28, 2026
- Source last checked
- Oct 28, 2026
- Automatic analysis updated
- Oct 28, 2026
- Recorded text changes
- 0
The disclosure is the developer’s statement on Steam. Index dates show when we observed it, not when AI use began. History covers captured versions only. Automatic analysis can be wrong and is not a verification of the game’s content. Read the methodology.