ChatGPT Sol 5.6 + Astra 6 参与破解 Trefethen 猜想

SuSu_酥酥👅 @NFT_Chen原推发布于 2026.10.06

在 X 上打开原推

🔥数学完蛋了！ChatGPT Sol 5.6 + Astra 6 破解 Trefethen 猜想！ John Urschel 证明： n\times n 高斯矩阵做部分选主元高斯消元，增长因子以高概率约 \sqrt{n} ，解决数值线性代数里挂了很久的平均情形猜想。 论文自己写的分工：
🔹猜想 1.1：作者先给右下角 o(n) 条目的纯人手草图，AI 交互后补成全证明 🔹其余结果：人手想法 + AI 改进；有的章节作者认为不太需要人手
🔹全文作者本人写；该问题此前在 OpenProblemsInNLA 上仍标 open 论文：https://arxiv.org/abs/2610.06785 同一晚发生的其他AI破解数学难题：
🔸3SUM / APSP 真正次立方（Claude）https://arxiv.org/abs/2610.06783 
🔸Golod–Shafarevich 塔（Sol + Fable + Aletheia）https://arxiv.org/abs/2610.06461 
🔸平面 Mumford–Shah（Astra 出策略与草稿）https://arxiv.org/abs/2609.26732 不是 AI 独自发顶刊，是前沿模型已经能把卡了几十年的草图补完。 #GPT6 #Astra #GPT56 #Sol #Math #arXiv #Claude #OpenAI #Anthropic

这条是引用着另一条写的：x.com/ethanepperly/status/2107331827774153038