Mikhail Mironov

A PIBBSS fellowship post credits its main theorem's proof to GPT-5.6 Sol

Mikhail Mironov's stopping-complexity post lists who did what. The humans hold problem formulation, one appendix proof sketch and the rewriting. Named models hold Theorem 1, the rest of the appendix and the first draft.