Post-trained model credited with solving questions about number-theory models

The poster says Carlo and Mark’s paper answers questions about probabilistic models for number-theoretic invariants. They credit a model their team post-trained in early July with solving the problems, while noting that the paper adds the authors’ own contributions. They describe results on crowns and monoliths in group theory as key to bounding the probability of needing many generators.