中国人的应试教育被大模型证明就是蒸馏而已

[jb]

一万个并行agents

那也很多了，足够把国内大模型累死。

[wm123456]

国内没有好GPU。

那也很多了，足够把国内大模型累死。

[idea911]

国内没有好GPU。

借口真JB多
OpenAI至今99%的数学理论成果都是单Agent完成的，国内AI有完成哪怕一个吗？

[Scraper]

我只知道你是狗屎
你就是一个蒸馏人而已
大陆除了北京去欧美的，都是小偷，没有任何一个人对欧美社会有正的贡献

这就是你的创造力？还是背背九九表吧！

[idea911]

这就是你的创造力？还是背背九九表吧！

我只知道你们都是狗屎，就这么简单

[Scraper]

我只知道你们都是狗屎，就这么简单

呵呵，创造力何在？

[idea911]

呵呵，创造力何在？

比你有创造力多了

[wm123456]

OpenAI做数学的model叫Astra，agent则相当于一个使用那个model的进程。model只有一个，agent可以有很多。

借口真JB多
OpenAI至今99%的数学理论成果都是单Agent完成的，国内AI有完成哪怕一个吗？

[pathdream]

人类智慧被大模型证明就是蒸馏而已

[idea911]

OpenAI做数学的model叫Astra，agent则相当于一个使用那个model的进程。model只有一个，agent可以有很多。

别扯淡了
我请求你，回复前先动动脑子，不要说这么低智商的话
OpenAI这次N-S方程是分两条路做的，一条路是你说得Astra，另一条路是NYU用chatgpt-5.5，5.6-sol做出来的，做了快一年。Astra发布才不到一周。
在这之前，也有众多人用OpenAI的Agent做出重量级数学成果，都是在Astra之前
请说话前先动动脑子，不然真成劣等民族了

[wm123456]

呵呵，河南傻逼开始顾左右而言他，怎么不继续说“OpenAI至今99%的数学理论成果都是单Agent完成的”这种脑残言论了？

FYI，OpenAI早就用Astra取得了十大数学成就，你个傻逼不知道而已，LOL~~~

https://openai.com/index/ten-advances-in-mathematics/

别扯淡了
我请求你，回复前先动动脑子，不要说这么低智商的话
OpenAI这次N-S方程是分两条路做的，一条路是你说得Astra，另一条路是NYU用chatgpt-5.5，5.6-sol做出来的，做了快一年。Astra发布才不到一周。
在这之前，也有众多人用OpenAI的Agent做出重量级数学成果，都是在Astra之前
请说话前先动动脑子，不然真成劣等民族了

[wm123456]

袁征说：我抽死你个河南逼养的，LOL~~~

大陆除了北京去欧美的，都是小偷，没有任何一个人对欧美社会有正的贡献

[wm123456]

你在吃小镇做题家的屎的时候，最有创造力，LOL~~~

比你有创造力多了

[idea911]

呵呵，河南傻逼开始顾左右而言他，怎么不继续说“OpenAI至今99%的数学理论成果都是单Agent完成的”这种脑残言论了？

FYI，OpenAI早就用Astra取得了十大数学成就，你个傻逼不知道而已，LOL~~~

https://openai.com/index/ten-advances-in-mathematics/

越回复显得你智商越低，垃圾玩意儿
openai就这点成果吗？脑子有屎

至今为止，有多少数学证明用到了chatgpt和Claude，但并非由OpenAI或者Anthropic公司主导的

6:42 AM

Worked for 5m 46s

目前没有可信的全球总数，但可以确认：已经有数十项公开记录。 我按你的条件筛选一个公开登记库，得到 41 项数学成果；若包括理论计算机科学中的证明，共 52 项。这是样本统计，不是全球总量。原始数据

统计口径是：独立研究者或高校主导，GPT／ChatGPT／Codex 或 Claude 实质参与证明工作；允许使用 Lean 等辅助工具。数据更新至 2026 年 9 月 7 日，按“研究成果”计数，不把论文中的每个引理单独算一份证明。

这些记录的可靠程度不同：

登记库标注的核验程度 数学 包含理论计算机科学

已通过形式验证 12 15

已有独立核查 1 1

仅由作者核验 23 30

待确认的证明声明 5 6

合计 41 52

因此，采用较严格的“形式验证或独立核查”标准，这个样本里是 13 项；包含理论计算机科学则是 16 项。 作者核验的预印本不能直接视为已经独立确认正确。

两个有明确原始披露的例子：

Feige 猜想：外部研究团队的论文摘要明确说明，证明由 ChatGPT 5.6 Pro 找到。论文

三名投票者的 Kemeny 排序复杂性问题：Dominik Peters 的论文说明，GPT 找到关键归约，Claude 协助简化。论文

我把筛选口径、52 项记录及来源整理成了[完整清单](C:/Users/jiang/Documents/Codex/2026-09-10/zhi/outputs/外部主导的AI数学证明_公开样本统计_20260910.md)。这些核验等级沿用登记库标注，我本次核对了数据和部分原始披露，没有逐一重新验证所有证明。

[idea911]

你在吃小镇做题家的屎的时候，最有创造力，LOL~~~

人形动物

[idea911]

呵呵，河南傻逼开始顾左右而言他，怎么不继续说“OpenAI至今99%的数学理论成果都是单Agent完成的”这种脑残言论了？

FYI，OpenAI早就用Astra取得了十大数学成就，你个傻逼不知道而已，LOL~~~

https://openai.com/index/ten-advances-in-mathematics/

数学类：41 项

编号	日期	成果（中文）	英文原名	登记参与者	模型	核验状态	原始来源
1	2026-07-11	Grothendieck 有限群概形问题的反例	Counterexample to Grothendieck's question on finite flat group schemes	Akhil Mathew；Kevin Buzzard	OpenAI Sol (construction); Claude Fable (Lean formalisation)	形式验证	来源
2	2026-07-14	Sabidussi 相容性猜想	Sabidussi's compatibility conjecture proved	Nikolay Ulyanov	GPT-5.6 Pro, GPT-5.6 Sol	形式验证	来源
3	2026-07-14	无导数凸优化的近二次查询复杂度下界	Near-quadratic lower bound for derivative-free convex optimization	Phillip Kerger	GPT-5.6 Sol Pro	形式验证	来源
4	2026-07-20	高斯矩猜想的反例	Counterexamples to the Gaussian moments conjecture	Christopher D. Long	GPT-5.6 Sol Pro + Claude Fable 5	作者核验	来源
5	2026-07-20	高斯乘积不等式猜想	Gaussian product inequality conjecture proved	Frédéric Ouimet；Dylan Greaves	ChatGPT 5.6 Sol	形式验证	来源
6	2026-07-27	非负独立随机变量之和的 Feige 猜想	Feige's conjecture on sums of nonnegative random variables settled	Weibo Fu；Yanjun Han；Guanyang Wang；Jun Yan；Peng Zhang；Zhengqing Zhou	ChatGPT 5.6 Pro	形式验证	来源
7	2026-08-04	固定直径的渐近度数与直径问题	Asymptotic degree-diameter problem resolved for fixed diameter	Wouter Cames van Batenburg；Samuel Korsky	GPT-5.6 Pro	形式验证	来源
8	2026-08-05	Schiffer 猜想及 Pompeiu 问题的反例	Counterexamples to Schiffer's conjecture and the Pompeiu problem	Gonzalo Cao-Labora；Jaume de Dios Pont	GPT-5.6, Claude Opus 4.8, Claude Fable 5	形式验证	来源
9	2026-08-05	Sendov 猜想的全次数情形	Sendov's conjecture proved for every degree	Lech Mazur	GPT-5.6 Pro	形式验证	来源
10	2026-08-06	普通与强 Kreiss 常数的分离	Separation between the ordinary and strong Kreiss constants	Emiel Lorist；Martin Meyries；Mark Veraar	ChatGPT 5.6 Pro; Claude Fable	作者核验	来源
11	2026-08-12	Gamow 液滴模型的极小化解刻画	Complete minimizer picture for Gamow's liquid drop model	Otis Chodosh；Matilde Gianocca	ChatGPT 5.6 Pro	作者核验	来源
12	2026-08-13	Banach 等距猜想剩余奇数维情形	Banach's isometric conjecture settled in the remaining odd dimensions	Xinbao Lu；Kaiwen Yang	ChatGPT 5.5 Pro, ChatGPT 5.6 Pro and GPT-5.6 Sol	作者核验	来源
13	2026-08-13	模型论中 SOP₂ 与 SOP₃ 等价	SOP_2 and SOP_3 theories shown to coincide	Artem Chernikov	ChatGPT 5.6	作者核验	来源
14	2026-08-18	向量 Riesz 变换与维数无关的弱型界	Dimension-free weak-type bound for the vector Riesz transform	Yuyuan Ouyang；Daniel Spector；Cody B. Stockdale	GPT-5.6 Sol and Claude Opus 5.0, with Danus and Rethlas agents	作者核验	来源
15	2026-08-19	大直线与大团猜想的首个未解情形	First open case of the big-line-big-clique conjecture	Édouard Bonnet	GPT-5.6 Sol Pro	作者核验	来源
16	2026-08-19	光滑 Carathéodory 脐点猜想的反例声明	Counterexample to the smooth Carathéodory conjecture on umbilic points	Levent Alpöge；John-Paul Smith	Claude; Codex	待确认	来源
17	2026-08-19	Wiener 指数的 DeLaViña–Waller 猜想	The DeLaViña-Waller conjecture on the Wiener index	Mingchang Liu	GPT-5.6 Sol; Claude Fable 5	作者核验	来源
18	2026-08-19	Erdős #501 第一问的 ZFC 独立性	Erdős Problem #501 shown independent of ZFC, with both directions in Lean	Elliot Glazer	Sol; Claude	形式验证	来源
19	2026-08-19	Kasami APN 三元组计数猜想的部分证明	Partial proof of the Kasami APN triple-count conjecture, verified in Lean	Gábor P. Nagy；Attila Vajda	Claude Fable 5; Harmonic Aristotle	形式验证	来源
20	2026-08-19	常标量曲率情形的 Yau–Tian–Donaldson 猜想反例	Counterexample to the Yau–Tian–Donaldson conjecture for constant scalar curvature metrics	Jihao Liu；Bin Dong；Guoxiong Gao	Claude Fable 5, GPT-5.6-sol and Danus	作者核验	来源
21	2026-08-20	三维环面上的光滑随机 fast dynamo 构造	A smooth random fast dynamo on the three-torus	Keefer Rowan	ChatGPT 5.6 Sol Ultra	作者核验	来源
22	2026-08-21	Hopf 三维复流形上有界质量性质的反例	Counterexample to the bounded mass property on the Hopf threefold	Mingchen Xia；Kewei Zhang	Rethlas agent (GPT-5.6 Sol)	作者核验	来源
23	2026-08-21	平方根幂的整数部分：Dubickas 问题	Dubickas's question on integral parts of powers of square roots settled	Ralf Stephan	Claude Fable 5 and Claude Opus 5	形式验证	来源
24	2026-08-21	关系子的稳定交换子长度并非单关系群不变量	Stable commutator length of a relator is not a one-relator group invariant	Artem Semidetnov	Claude Opus 5; Harmonic Aristotle	作者核验	来源
25	2026-08-22	Erdős #270 仿射情形的超越性声明	Transcendence in the affine case of Erdős Problem 270	登记库未列姓名	GPT-5.6 Sol (Codex)	待确认	来源
26	2026-08-23	有理数域上秩至少 30、31 的椭圆曲线记录	Elliptic curves over the rationals of rank at least 30 and at least 31	Levent Alpöge；Ava Howell	Claude	待确认	来源
27	2026-08-25	连续素数大间隙的下界改进	Improved lower bound for large gaps between consecutive primes	DottedCalculator；Boris Alexeev	GPT-5.6 Sol	独立核查	来源
28	2026-08-25	四变量五次、七次形式的 Fröberg 猜想	Fröberg's conjecture for quintics and septics in four variables	Qihang Wang；Dongming Zhang	GPT-5.6 Sol; Claude Fable 5; Grok 4.6	作者核验	来源
29	2026-08-25	Keisler 测度的泛稳定性定义等价	Equivalence of generic stability notions for Keisler measures	Gabriel Conant；Kyle Gannon；James E. Hanson	ChatGPT 5.5; ChatGPT 5.6 Sol; Kimi K3; Claude Fable 5	作者核验	来源
30	2026-08-25	非对角 Ramsey 数的代数构造改进	Improved algebraic construction for off-diagonal Ramsey numbers	Ferdinand Ihringer；Sam Mattheus	ChatGPT 5.6	作者核验	来源
31	2026-08-25	稀疏支配推出凸体支配	Sparse domination implies convex body domination	Aapo Laukkarinen；Emiel Lorist	GPT-5.6 Sol Pro	作者核验	来源
32	2026-08-26	Nevanlinna 半平面遗漏值问题的反例	Counterexample to Nevanlinna's half-plane omitted-values question	Quanyu Tang；Bokai Cui；Wei He；Tao Hu；Yanyang Li；Ke Wang；Zijun Yu	GPT-5.6 Sol Ultra	作者核验	来源
33	2026-08-27	并非每个 Heyting 代数都来自 topos 的次终对象格	Not every Heyting algebra is the subterminal lattice of a topos	Lingyuan Ye；Yiqi Xu	ChatGPT 5.6 Sol	作者核验	来源
34	2026-08-27	大亏格双曲曲面的最短闭测地线长度下界	Hyperbolic surfaces with large systoles in every large genus	Yifei Cai	GPT-5.6 Sol	作者核验	来源
35	2026-08-29	Dean 猜想 k＝5 情形的证明声明	Dean's conjecture for k = 5, cycles of length divisible by five	Elias Botsford	GPT-5.6 Sol; Claude Opus 5; GLM 5.3 Flash	待确认	来源
36	2026-08-31	Bugeaud 问题 10.61 的判据及两个二次情形	Criteria and two quadratic instances for Bugeaud's Problem 10.61	Ralf Stephan	Claude Fable 5; Claude Opus 5	待确认	来源
37	2026-08-31	稳定分叉猜想的反例	Counterexample to the stable forking conjecture	James Freitag；Scott Mutchnik	GPT-5.6 Sol	作者核验	来源
38	2026-09-01	玻尔兹曼方程的熵产生率并非总是单调	Entropy production of the Boltzmann equation is not always monotone	Luis Silvestre	GPT-5.6 Sol; Claude	作者核验	来源
39	2026-09-01	Saxl 图公共邻点猜想在各基大小下的反例	Common neighbour conjectures for Saxl graphs fail at every base size	Aluna Rizzoli；Adam R. Thomas	Codex; ChatGPT Pro; Claude	形式验证	来源
40	2026-09-02	Daykin–Frankl 猜想的证明稿	Confirmation of the Daykin-Frankl conjecture from a language-model proof	Kada Williams	GPT-5.6 Sol Pro	作者核验	来源
41	2026-09-02	Trautman 猜想的光滑反例	A smooth counterexample to the Trautman conjecture	Sean N. Curry	ChatGPT Plus, version not named	作者核验	来源

理论计算机科学：11 项

编号	日期	成果（中文）	英文原名	登记参与者	模型	核验状态	原始来源
42	2025-09-25	QMA 黑箱放大的局限	Limits to black-box amplification in QMA, with the key step written by GPT-5	Scott Aaronson；Freek Witteveen	GPT-5 Thinking	作者核验	来源
43	2026-07-22	Dinitz–Garg–Goemans 猜想的反例声明	Counterexample to the Dinitz–Garg–Goemans conjecture	Dmitry Rybin	GPT-5.6 Pro	待确认	来源
44	2026-07-28	三名投票者的 Kemeny 排序聚合为 NP 难	Kemeny rank aggregation shown NP-hard for three voters	Dominik Peters	GPT-5.6 Sol Ultra, Claude Fable 5	形式验证	来源
45	2026-08-11	书嵌入算法无法恢复指定哈密顿圈的反例	A prescribed Hamiltonian cycle that a book-embedding algorithm cannot produce	Lennart Rudolph	OpenAI Codex, with Claude for adversarial review	形式验证	来源
46	2026-08-19	线性扩张计数算法突破 2ⁿ 障碍	Counting linear extensions below the 2n barrier	Keigo Oka	Claude Opus 5; ChatGPT 5.6 Sol	作者核验	来源
47	2026-08-20	广播信道中 Marton 内界的非最优性	Marton's inner bound shown not to reach the broadcast channel capacity region	Mian Huang；Yanxiao Liu；Yi Liu	GPT-5.6 Sol, Claude Fable 5 and Claude Opus 5	作者核验	来源
48	2026-08-24	伯努利信源有损压缩的最优线性编码率	Optimal linear encoding rate for lossy compression of Bernoulli sources	Yihong Wu	GPT-5.6 Sol	作者核验	来源
49	2026-08-26	围长至少 5 的图上自旋系统的快速混合	Rapid mixing for spin systems on graphs of girth at least five	Xiaoyu Chen；Kuikui Liu	GPT-5.6 Sol Ultra	作者核验	来源
50	2026-08-29	随机化度量失真界改进至 2.3282	Randomized metric distortion improved to 2.3282	Nisarg Shah	GPT-5.6 Sol; Claude Opus 5.0	作者核验	来源
51	2026-08-31	四项二进制多项式乘法的布尔乘法复杂度	Unrestricted Boolean multiplicative complexity of four-term binary polynomial multiplication	Gregory Morse	GPT-5.6 Sol; Claude Opus 5	形式验证	来源
52	2026-09-02	QMA(2) 与 QMA 的量子预言机分离	A quantum oracle separating QMA(2) from QMA	John Bostanci；Sabee Grewal；Jonas Haferkamp；Andrew Huang；Yeongwoo Hwang；Anand Natarajan；Chinmay Nirkhe	ChatGPT 5.6 Sol	作者核验	来源

[wm123456]

河南纯傻逼，爹教你的model和agent的区别，以你的创造力，学的会吗？LOL~~~

越回复显得你智商越低，垃圾玩意儿
openai就这点成果吗？脑子有屎

至今为止，有多少数学证明用到了chatgpt和Claude，但并非由OpenAI或者Anthropic公司主导的

6:42 AM

Worked for 5m 46s

目前没有可信的全球总数，但可以确认：已经有数十项公开记录。 我按你的条件筛选一个公开登记库，得到 41 项数学成果；若包括理论计算机科学中的证明，共 52 项。这是样本统计，不是全球总量。原始数据

统计口径是：独立研究者或高校主导，GPT／ChatGPT／Codex 或 Claude 实质参与证明工作；允许使用 Lean 等辅助工具。数据更新至 2026 年 9 月 7 日，按“研究成果”计数，不把论文中的每个引理单独算一份证明。

这些记录的可靠程度不同：

登记库标注的核验程度 数学 包含理论计算机科学

已通过形式验证 12 15

已有独立核查 1 1

仅由作者核验 23 30

待确认的证明声明 5 6

合计 41 52

因此，采用较严格的“形式验证或独立核查”标准，这个样本里是 13 项；包含理论计算机科学则是 16 项。 作者核验的预印本不能直接视为已经独立确认正确。

两个有明确原始披露的例子：

Feige 猜想：外部研究团队的论文摘要明确说明，证明由 ChatGPT 5.6 Pro 找到。论文

三名投票者的 Kemeny 排序复杂性问题：Dominik Peters 的论文说明，GPT 找到关键归约，Claude 协助简化。论文

我把筛选口径、52 项记录及来源整理成了[完整清单](C:/Users/jiang/Documents/Codex/2026-09-10/zhi/outputs/外部主导的AI数学证明_公开样本统计_20260910.md)。这些核验等级沿用登记库标注，我本次核对了数据和部分原始披露，没有逐一重新验证所有证明。

[wm123456]

没有小镇做题家，哪来的你这单细胞生物啊？LOL~~~

人形动物

[idea911]

河南纯傻逼，爹教你的model和agent的区别，以你的创造力，学的会吗？LOL~~~

傻逼垃圾狗，由开始model，agent的教了，开始胡搅蛮缠了
Astra是Agent吗？傻逼垃圾狗
我列的这些都是独立个人做的，哪个能调用上百上千上万agent？傻逼垃圾狗
你就是畜生，垃圾
也就是中国的应试教育，能让你这种人形动物翻身，杏仁一样的大脑蒸馏模型，真以为自己聪明了？傻逼

[wm123456]

河南傻逼真是气急败坏了，列这么多有球用？他们都是单agent做出来的？

连基本概念都不清楚就敢出来乱放屁，你们河南逼一如既往的又蠢又坏啊，LOL~~~

数学类：41 项

| 编号 | 日期 | 成果（中文） | 英文原名 | 登记参与者 | 模型 | 核验状态 | 原始来源 |
|---:|---|---|---|---|---|---|---|
| 1 | 2026-07-11 | Grothendieck 有限群概形问题的反例 | Counterexample to Grothendieck's question on finite flat group schemes | Akhil Mathew；Kevin Buzzard | OpenAI Sol (construction); Claude Fable (Lean formalisation) | 形式验证 | [来源](https://github.com/leanprover-community ... pull/41748) |
| 2 | 2026-07-14 | Sabidussi 相容性猜想 | Sabidussi's compatibility conjecture proved | Nikolay Ulyanov | GPT-5.6 Pro, GPT-5.6 Sol | 形式验证 | [来源](https://arxiv.org/abs/2607.13225) |
| 3 | 2026-07-14 | 无导数凸优化的近二次查询复杂度下界 | Near-quadratic lower bound for derivative-free convex optimization | Phillip Kerger | GPT-5.6 Sol Pro | 形式验证 | [来源](https://arxiv.org/abs/2607.13335) |
| 4 | 2026-07-20 | 高斯矩猜想的反例 | Counterexamples to the Gaussian moments conjecture | Christopher D. Long | GPT-5.6 Sol Pro + Claude Fable 5 | 作者核验 | [来源](https://arxiv.org/abs/2607.18186) |
| 5 | 2026-07-20 | 高斯乘积不等式猜想 | Gaussian product inequality conjecture proved | Frédéric Ouimet；Dylan Greaves | ChatGPT 5.6 Sol | 形式验证 | [来源](https://doi.org/10.13140/RG.2.2.17569.77923/1) |
| 6 | 2026-07-27 | 非负独立随机变量之和的 Feige 猜想 | Feige's conjecture on sums of nonnegative random variables settled | Weibo Fu；Yanjun Han；Guanyang Wang；Jun Yan；Peng Zhang；Zhengqing Zhou | ChatGPT 5.6 Pro | 形式验证 | [来源](https://arxiv.org/abs/2607.23980) |
| 7 | 2026-08-04 | 固定直径的渐近度数与直径问题 | Asymptotic degree-diameter problem resolved for fixed diameter | Wouter Cames van Batenburg；Samuel Korsky | GPT-5.6 Pro | 形式验证 | [来源](https://arxiv.org/abs/2608.03965) |
| 8 | 2026-08-05 | Schiffer 猜想及 Pompeiu 问题的反例 | Counterexamples to Schiffer's conjecture and the Pompeiu problem | Gonzalo Cao-Labora；Jaume de Dios Pont | GPT-5.6, Claude Opus 4.8, Claude Fable 5 | 形式验证 | [来源](https://arxiv.org/abs/2608.05114) |
| 9 | 2026-08-05 | Sendov 猜想的全次数情形 | Sendov's conjecture proved for every degree | Lech Mazur | GPT-5.6 Pro | 形式验证 | [来源](https://www.proofatlas.ai/papers/sendov ... 5_2026.pdf) |
| 10 | 2026-08-06 | 普通与强 Kreiss 常数的分离 | Separation between the ordinary and strong Kreiss constants | Emiel Lorist；Martin Meyries；Mark Veraar | ChatGPT 5.6 Pro; Claude Fable | 作者核验 | [来源](https://arxiv.org/abs/2608.06272) |
| 11 | 2026-08-12 | Gamow 液滴模型的极小化解刻画 | Complete minimizer picture for Gamow's liquid drop model | Otis Chodosh；Matilde Gianocca | ChatGPT 5.6 Pro | 作者核验 | [来源](https://arxiv.org/abs/2608.11517) |
| 12 | 2026-08-13 | Banach 等距猜想剩余奇数维情形 | Banach's isometric conjecture settled in the remaining odd dimensions | Xinbao Lu；Kaiwen Yang | ChatGPT 5.5 Pro, ChatGPT 5.6 Pro and GPT-5.6 Sol | 作者核验 | [来源](https://arxiv.org/abs/2608.13536) |
| 13 | 2026-08-13 | 模型论中 SOP₂ 与 SOP₃ 等价 | SOP_2 and SOP_3 theories shown to coincide | Artem Chernikov | ChatGPT 5.6 | 作者核验 | [来源](https://arxiv.org/abs/2608.13291) |
| 14 | 2026-08-18 | 向量 Riesz 变换与维数无关的弱型界 | Dimension-free weak-type bound for the vector Riesz transform | Yuyuan Ouyang；Daniel Spector；Cody B. Stockdale | GPT-5.6 Sol and Claude Opus 5.0, with Danus and Rethlas agents | 作者核验 | [来源](https://arxiv.org/abs/2608.18068) |
| 15 | 2026-08-19 | 大直线与大团猜想的首个未解情形 | First open case of the big-line-big-clique conjecture | Édouard Bonnet | GPT-5.6 Sol Pro | 作者核验 | [来源](https://arxiv.org/abs/2608.19468) |
| 16 | 2026-08-19 | 光滑 Carathéodory 脐点猜想的反例声明 | Counterexample to the smooth Carathéodory conjecture on umbilic points | Levent Alpöge；John-Paul Smith | Claude; Codex | 待确认 | [来源]( |
| 17 | 2026-08-19 | Wiener 指数的 DeLaViña–Waller 猜想 | The DeLaViña-Waller conjecture on the Wiener index | Mingchang Liu | GPT-5.6 Sol; Claude Fable 5 | 作者核验 | [来源](https://doi.org/10.5281/zenodo.22015517) |
| 18 | 2026-08-19 | Erdős #501 第一问的 ZFC 独立性 | Erdős Problem #501 shown independent of ZFC, with both directions in Lean | Elliot Glazer | Sol; Claude | 形式验证 | [来源](https://github.com/ElliotGlazer/erdos501) |
| 19 | 2026-08-19 | Kasami APN 三元组计数猜想的部分证明 | Partial proof of the Kasami APN triple-count conjecture, verified in Lean | Gábor P. Nagy；Attila Vajda | Claude Fable 5; Harmonic Aristotle | 形式验证 | [来源](https://arxiv.org/abs/2608.18584) |
| 20 | 2026-08-19 | 常标量曲率情形的 Yau–Tian–Donaldson 猜想反例 | Counterexample to the Yau–Tian–Donaldson conjecture for constant scalar curvature metrics | Jihao Liu；Bin Dong；Guoxiong Gao | Claude Fable 5, GPT-5.6-sol and Danus | 作者核验 | [来源](https://arxiv.org/abs/2608.19301) |
| 21 | 2026-08-20 | 三维环面上的光滑随机 fast dynamo 构造 | A smooth random fast dynamo on the three-torus | Keefer Rowan | ChatGPT 5.6 Sol Ultra | 作者核验 | [来源](https://arxiv.org/abs/2608.20105) |
| 22 | 2026-08-21 | Hopf 三维复流形上有界质量性质的反例 | Counterexample to the bounded mass property on the Hopf threefold | Mingchen Xia；Kewei Zhang | Rethlas agent (GPT-5.6 Sol) | 作者核验 | [来源](https://arxiv.org/abs/2608.21053) |
| 23 | 2026-08-21 | 平方根幂的整数部分：Dubickas 问题 | Dubickas's question on integral parts of powers of square roots settled | Ralf Stephan | Claude Fable 5 and Claude Opus 5 | 形式验证 | [来源](https://www.researchgate.net/publicatio ... uare_roots) |
| 24 | 2026-08-21 | 关系子的稳定交换子长度并非单关系群不变量 | Stable commutator length of a relator is not a one-relator group invariant | Artem Semidetnov | Claude Opus 5; Harmonic Aristotle | 作者核验 | [来源](https://arxiv.org/abs/2608.21465) |
| 25 | 2026-08-22 | Erdős #270 仿射情形的超越性声明 | Transcendence in the affine case of Erdős Problem 270 | 登记库未列姓名 | GPT-5.6 Sol (Codex) | 待确认 | [来源](https://github.com/clambro/erdos-270-transcendence) |
| 26 | 2026-08-23 | 有理数域上秩至少 30、31 的椭圆曲线记录 | Elliptic curves over the rationals of rank at least 30 and at least 31 | Levent Alpöge；Ava Howell | Claude | 待确认 | [来源](https://elliptic-rank.icarm.cloud/curve/302) |
| 27 | 2026-08-25 | 连续素数大间隙的下界改进 | Improved lower bound for large gaps between consecutive primes | DottedCalculator；Boris Alexeev | GPT-5.6 Sol | 独立核查 | [来源](https://github.com/DottedCalculator/ai- ... .6_Sol.pdf) |
| 28 | 2026-08-25 | 四变量五次、七次形式的 Fröberg 猜想 | Fröberg's conjecture for quintics and septics in four variables | Qihang Wang；Dongming Zhang | GPT-5.6 Sol; Claude Fable 5; Grok 4.6 | 作者核验 | [来源](https://arxiv.org/abs/2608.24797) |
| 29 | 2026-08-25 | Keisler 测度的泛稳定性定义等价 | Equivalence of generic stability notions for Keisler measures | Gabriel Conant；Kyle Gannon；James E. Hanson | ChatGPT 5.5; ChatGPT 5.6 Sol; Kimi K3; Claude Fable 5 | 作者核验 | [来源](https://arxiv.org/abs/2608.24605) |
| 30 | 2026-08-25 | 非对角 Ramsey 数的代数构造改进 | Improved algebraic construction for off-diagonal Ramsey numbers | Ferdinand Ihringer；Sam Mattheus | ChatGPT 5.6 | 作者核验 | [来源](https://arxiv.org/abs/2608.21769) |
| 31 | 2026-08-25 | 稀疏支配推出凸体支配 | Sparse domination implies convex body domination | Aapo Laukkarinen；Emiel Lorist | GPT-5.6 Sol Pro | 作者核验 | [来源](https://arxiv.org/abs/2608.24802) |
| 32 | 2026-08-26 | Nevanlinna 半平面遗漏值问题的反例 | Counterexample to Nevanlinna's half-plane omitted-values question | Quanyu Tang；Bokai Cui；Wei He；Tao Hu；Yanyang Li；Ke Wang；Zijun Yu | GPT-5.6 Sol Ultra | 作者核验 | [来源](https://arxiv.org/abs/2608.26062) |
| 33 | 2026-08-27 | 并非每个 Heyting 代数都来自 topos 的次终对象格 | Not every Heyting algebra is the subterminal lattice of a topos | Lingyuan Ye；Yiqi Xu | ChatGPT 5.6 Sol | 作者核验 | [来源](https://arxiv.org/abs/2608.26874) |
| 34 | 2026-08-27 | 大亏格双曲曲面的最短闭测地线长度下界 | Hyperbolic surfaces with large systoles in every large genus | Yifei Cai | GPT-5.6 Sol | 作者核验 | [来源](https://arxiv.org/abs/2608.26660) |
| 35 | 2026-08-29 | Dean 猜想 k＝5 情形的证明声明 | Dean's conjecture for k = 5, cycles of length divisible by five | Elias Botsford | GPT-5.6 Sol; Claude Opus 5; GLM 5.3 Flash | 待确认 | [来源](https://zenodo.org/records/22182448) |
| 36 | 2026-08-31 | Bugeaud 问题 10.61 的判据及两个二次情形 | Criteria and two quadratic instances for Bugeaud's Problem 10.61 | Ralf Stephan | Claude Fable 5; Claude Opus 5 | 待确认 | [来源](https://github.com/rwst/Pisot-Cantor-61) |
| 37 | 2026-08-31 | 稳定分叉猜想的反例 | Counterexample to the stable forking conjecture | James Freitag；Scott Mutchnik | GPT-5.6 Sol | 作者核验 | [来源](https://arxiv.org/abs/2609.00436) |
| 38 | 2026-09-01 | 玻尔兹曼方程的熵产生率并非总是单调 | Entropy production of the Boltzmann equation is not always monotone | Luis Silvestre | GPT-5.6 Sol; Claude | 作者核验 | [来源](https://arxiv.org/abs/2609.01753) |
| 39 | 2026-09-01 | Saxl 图公共邻点猜想在各基大小下的反例 | Common neighbour conjectures for Saxl graphs fail at every base size | Aluna Rizzoli；Adam R. Thomas | Codex; ChatGPT Pro; Claude | 形式验证 | [来源](https://arxiv.org/abs/2609.01367) |
| 40 | 2026-09-02 | Daykin–Frankl 猜想的证明稿 | Confirmation of the Daykin-Frankl conjecture from a language-model proof | Kada Williams | GPT-5.6 Sol Pro | 作者核验 | [来源](https://arxiv.org/abs/2609.03087) |
| 41 | 2026-09-02 | Trautman 猜想的光滑反例 | A smooth counterexample to the Trautman conjecture | Sean N. Curry | ChatGPT Plus, version not named | 作者核验 | [来源](https://arxiv.org/abs/2609.03198) |

### 理论计算机科学：11 项

| 编号 | 日期 | 成果（中文） | 英文原名 | 登记参与者 | 模型 | 核验状态 | 原始来源 |
|---:|---|---|---|---|---|---|---|
| 42 | 2025-09-25 | QMA 黑箱放大的局限 | Limits to black-box amplification in QMA, with the key step written by GPT-5 | Scott Aaronson；Freek Witteveen | GPT-5 Thinking | 作者核验 | [来源](https://arxiv.org/abs/2509.21131) |
| 43 | 2026-07-22 | Dinitz–Garg–Goemans 猜想的反例声明 | Counterexample to the Dinitz–Garg–Goemans conjecture | Dmitry Rybin | GPT-5.6 Pro | 待确认 | [来源]( |
| 44 | 2026-07-28 | 三名投票者的 Kemeny 排序聚合为 NP 难 | Kemeny rank aggregation shown NP-hard for three voters | Dominik Peters | GPT-5.6 Sol Ultra, Claude Fable 5 | 形式验证 | [来源](https://arxiv.org/abs/2607.25540) |
| 45 | 2026-08-11 | 书嵌入算法无法恢复指定哈密顿圈的反例 | A prescribed Hamiltonian cycle that a book-embedding algorithm cannot produce | Lennart Rudolph | OpenAI Codex, with Claude for adversarial review | 形式验证 | [来源](https://zenodo.org/records/21890733) |
| 46 | 2026-08-19 | 线性扩张计数算法突破 2ⁿ 障碍 | Counting linear extensions below the 2^n barrier | Keigo Oka | Claude Opus 5; ChatGPT 5.6 Sol | 作者核验 | [来源](https://arxiv.org/abs/2608.19505) |
| 47 | 2026-08-20 | 广播信道中 Marton 内界的非最优性 | Marton's inner bound shown not to reach the broadcast channel capacity region | Mian Huang；Yanxiao Liu；Yi Liu | GPT-5.6 Sol, Claude Fable 5 and Claude Opus 5 | 作者核验 | [来源](https://arxiv.org/abs/2608.19869) |
| 48 | 2026-08-24 | 伯努利信源有损压缩的最优线性编码率 | Optimal linear encoding rate for lossy compression of Bernoulli sources | Yihong Wu | GPT-5.6 Sol | 作者核验 | [来源](https://arxiv.org/abs/2608.22837) |
| 49 | 2026-08-26 | 围长至少 5 的图上自旋系统的快速混合 | Rapid mixing for spin systems on graphs of girth at least five | Xiaoyu Chen；Kuikui Liu | GPT-5.6 Sol Ultra | 作者核验 | [来源](https://arxiv.org/abs/2608.25491) |
| 50 | 2026-08-29 | 随机化度量失真界改进至 2.3282 | Randomized metric distortion improved to 2.3282 | Nisarg Shah | GPT-5.6 Sol; Claude Opus 5.0 | 作者核验 | [来源](https://arxiv.org/abs/2608.29308) |
| 51 | 2026-08-31 | 四项二进制多项式乘法的布尔乘法复杂度 | Unrestricted Boolean multiplicative complexity of four-term binary polynomial multiplication | Gregory Morse | GPT-5.6 Sol; Claude Opus 5 | 形式验证 | [来源](https://arxiv.org/abs/2608.30238) |
| 52 | 2026-09-02 | QMA(2) 与 QMA 的量子预言机分离 | A quantum oracle separating QMA(2) from QMA | John Bostanci；Sabee Grewal；Jonas Haferkamp；Andrew Huang；Yeongwoo Hwang；Anand Natarajan；Chinmay Nirkhe | ChatGPT 5.6 Sol | 作者核验 | [来源](https://arxiv.org/abs/2609.02865)