Altı matematikçi, 26 özel simetri grubundan çözülmemiş son üyesi M23'ü çözdü. Yapay zekâ ajanları simetri bileşimlerini taradı ve yedi aday yüzeyin denklemlerini yaklaşık olarak çıkardı. Kesin polinomları insanlar yazdı, ekip makalenin hiçbir cümlesini yapay zekânın yazmadığını söylüyor.