⌘ K
… 读取采集状态 同步中...
雷
热点事件历史事件

AI模型联手推翻59年核聚变Grad猜想

1 篇报道1 个报道来源5 天前更新

先了解这件事

AI 综述

2026年10月8日，新智元报道马里兰大学物理学家Matt Landreman利用GPT-6 Astra Pro模型，在两天内找到两族精确解析解，推翻了等离子体物理学家Harold Grad关于“不存在非对称光滑平衡”的持续59年的猜想。报道指出，此前有另一团队也曾使用GPT-5.6和Claude Opus 5配合Lean 4形式化证明系统，提交了反驳该猜想的反例。目前，AI辅助数学与物理发现已成为解决长期悬置猜想的有效手段。

AI 根据报道生成 · 5 天前更新

最新进展10月8日 08:14
马里兰大学团队利用GPT-6 Astra Pro在两天内找到解析解，正式推翻Grad猜想

报道时间线

沿着报道，了解事件的不同侧面。

10月8日
  1. 新智元精选
    GPT-6 Astra等AI模型联手推翻悬置59年的核聚变Grad猜想

    马里兰大学物理学家Matt Landreman利用GPT-6 Astra Pro两天内找到两族精确解析解，推翻了等离子体物理学家Harold Grad关于不存在非对称光滑平衡的59年猜想；另一团队则使用GPT-5.6和Claude Opus 5配合Lean 4形式化证明，也提交了反例。

本事件热度走势

当前热度 4·可比范围峰值 9（10月8日 14:00）·近 24 小时可比范围变化 -49%

02.557.51010月8日14:0010月9日00:0010月9日11:0010月9日21:00

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。