WangNextDoor(@WangNextDoor2):大模型现在厉害了，能直接算出物理学可以验证的解析解！ GPT-6 Astra只用两天，找到了两组非对称三维等离子体平衡精确解，直接推翻了存在59年的Harold Grad核聚变猜想。物理学家只给了两轮提示，Astra自主迭代验算，结果经过工具核验完全成立。还有团队靠GPT-5.6-SOC，用纯数学方法构造出反例，论文附带Coq形式化证明。这代表AI和人类联手攻克基础科学难题的路子，已经可以复制。AI不再只是写代码算数值，而是能直接推导重大猜想的解析解，基础科研的范式真的变了。

2026.10.08 11:06

大模型现在厉害了，能直接算出物理学可以验证的解析解！ GPT-6 Astra只用两天，找到了两组非对称三维等离子体平衡精确解，直接推翻了存在59年的Harold Grad核聚变猜想。物理学家只给了两轮提示，Astra自主迭代验算，结果经过工具核验完全成立。还有团队靠GPT-5.6-SOC，用纯数学方法构造出反例，论文附带Coq形式化证明。这代表AI和人类联手攻克基础科学难题的路子，已经可以复制。AI不再只是写代码算数值，而是能直接推导重大猜想的解析解，基础科研的范式真的变了。