17岁少年用计算机辅助证明分类全部 noble 多面体,夺25万美元大奖
burny_tech · x · 2026-10-01
17 岁数学家 Connor Hill 借助计算机辅助证明完成了对全部 noble 多面体的分类:发现 2 个无限族和 146 个孤立例子,新增 85 种新形状,解决了一个百年悬而未决的问题。
他因此获得 2026 年 Regeneron Science Talent Search 的 25 万美元头奖。他谈道:「数学是让科学思想变得可用的语言。解决大问题的关键是把它们拆成数学能处理的小问题;突破常发生在跨学科连接之处。」
「研究」频道最新
- 北大清华阿里开源 SparkDiffusion,AI 视频生成提速 265 倍 — lmoroney · 2026-10-01
- AgentTell 基准：浏览器 Agent 61% 场景下行为泄密 — kagnlp · 2026-10-01
- Qwen3.8-Flash-Next 砍掉 44% 专家，Terminal-Bench 达 70% — rmonsurate · 2026-10-01
- NVIDIA 发布 LongLive-Plug:一次蒸馏 LoRA 即插即用于 54 个视频模型 — _akhaliq · 2026-10-01
- Omni-IO Skills 开源框架让通用 Agent 掌握 27 项多模态技能 — _akhaliq · 2026-10-01
- LEGO-Anything:用编码智能体把单张图重建为可编辑 3D 场景 — _akhaliq · 2026-10-01