⌘ K
… 读取采集状态 同步中...
雷
原文
新智元· 新智元·· 5 天前精选AI 评分92

GPT-6 Astra等AI模型联手推翻悬置59年的核聚变Grad猜想

刚刚,GPT-6 Astra推翻59年核聚变猜想!

AI 导读

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

推荐理由

文章通过两篇推翻核聚变59年猜想的论文,展示了AI从辅助工具转变为科学发现共同创造者的质变,其中Landreman全程公开提示词与验证代码的做法,为后续领域研究者提供了可复现的参考路径。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:新智元 · mp.weixin.qq.com