17岁少年 Connor Hill 用计算机辅助证明分类全部 noble 多面体，夺25万美元大奖

17岁数学家 Connor Hill 借助计算机辅助证明完成对全部 noble 多面体的分类，发现 2 个无限族和 146 个孤立例子，新增 85 种新形状，解决了一个百年悬而未决的问题。他因此获得 2026 年 Regeneron Science Talent Search 的 25 万美元头奖。