VibeMathedMath problems solved by AI
All problems

Kourovka Problem 18.50 - Prescribed Permuted-Product Cardinality

Given nn and 1cn!1 \le c \le n!, can nn distinct group elements be chosen so that their n!n! ordered products take exactly cc distinct values? Constructions realize every cc.

Result
Proved
Status
Resolved
AI contribution
AI-discovered
Method
Argument
Field
Group theory
Posed by
Year posed
2014
Years open
12y
Solved
2026-07-20
Model
Aristotle
Vendor
Harmonic
Collaborators
Verification
Lean-verified
Publication
Preprint
Significance
15 / 100
Disclosed cost
Wikipedia
No dedicated article

What the AI did

The solution was discovered autonomously by Aristotle and formalized in Lean; the human authors curated the exposition.

Verification

Autonomously discovered and formally verified in Lean by Aristotle; author-curated arXiv preprint covering eight Kourovka Notebook problems.

Source

arXiv:2607.17477 - On some problems from the Kourovka Notebook

Discussion