加入
Rational linear groups with finitely many automorphism orbits
Show that a group of rational matrices with finitely many automorphism orbits is virtually soluble; check two proposed proofs.
+3 −1 scienceslack.json 查看文件
| @@ -14,5 +14,7 @@ | ||
| 14 | 14 | "status": "unsolved; unverified AI solution proposed", |
| 15 | 15 | "as_of": "2026-10-20", |
| 16 | 16 | "catalog": "0521c19bbd38" |
| 17 | - } | |
| 17 | + }, | |
| 18 | + "review": true, | |
| 19 | + "approval": "first-time" | |
| 18 | 20 | } |