计算机辅助关键词检索结果

认识Connor Hill,这位17岁少年发现了85个所有人错过的“高贵”数学形状

Meet Connor Hill, the 17-Year-Old Who Found 85 New “Noble” Mathematical Shapes That Everyone Was Missing

他的计算机辅助证明完成了一个搁置了一个多世纪的几何目录。