ChatGPT Sol 5.6 and Astra 6 help complete proof of Trefethen conjecture
A new paper by John Urschel claims the growth factor for Gaussian elimination with partial pivoting is about √n, and the author says AI interaction turned a hand sketch covering o(n) entries into a full proof.
🔥数学完蛋了！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
This post quotes another post: x.com/ethanepperly/status/2107331827774153038