A computer helper called **AI** tried about **4,000 very tricky math puzzles**, including questions that mathematicians are still exploring.

Its work was collected into **722 math reports**, sorted into **372 groups**. These groups are called “families” because their ideas belong together—not because they have moms and dads!

The puzzles involve things like number patterns, shapes, and magnets. Each result usually took about three hours of computer work.

**The answers still need careful checking.** Many have proofs checked with a computer tool called **Lean**. A proof explains, step by step, why a math answer works. Some results might have mistakes, so people plan to fix them and keep both old and new versions.

There are also guides to help readers find the reports and shorter explanations. There aren’t any jokes or visual puns here.