← 2026年10月11日 简报 · 于韩国时间 04:00 更新时加入

韩国一名初中生称与Claude合作完成“小斜方截半二十面体不具有鲁珀特性质”猜想的计算机辅助证明(社区转述)

已核实(事实)

京畿道一名初中三年级学生Jeong Gi-hyo(정기효)在GeekNews发帖称,2025年引发关注的“Noperthedron(首个无法穿过自身的立体)”研究团队曾在2021年留下“小斜方截半二十面体(rhombicosidodecahedron)不具有鲁珀特性质”这一猜想,该学生与Claude合作通过计算机辅助证明解决了这一问题。该学生表示已突破了现有方法受阻之处。

待核实(说法)

证明成功是作者本人的说法。收集的材料中没有专家审查或同行评审结果。

意义(解读)

这是韩国非专业研究者个人利用AI挑战未解数学猜想的案例。若经核实属实,将成为AI正在降低数学研究门槛的例证。

可信度 低 · 待补官方来源

来源