南京大学孙智伟老师疑似证明了catalan常数是无理数

lactone

https://arxiv.org/abs/2609.04176

这个如果被验证，那是巨大的突破

剑鹰

这个是真不懂意义何在

gammatau

这acknowledgments看笑了，至少自己过一遍吧

FeteFete

数学界已经到了要改进自己的方法论的地步，不然论文网要充斥一堆ai论文 和 疑似ai论文的垃圾

帕林马哲理

Acknowledgments. The author’s many rounds of conversations with AI provide the basis of this paper. At first, the author asked AI to prove the irrationality of Catalan’s constant via the Calegari-Dimitrov-Tang method. Though AI made many attempts but we failed again and again. Later the author realized that we should use suitable weights and introduce weighted tails defined in (1.2). This novel idea made the proof aided by AI finally practical and successful. The needed numerical data in the proof were produced by AI. The whole proof has passed the verification of Chatgpt 5.6 Solar.

致谢。 作者与人工智能进行了多轮对话，这些对话构成了本文的基础。最初，作者要求人工智能通过Calegari-Dimitrov-Tang方法证明Catalan常数的无理性。尽管人工智能多次尝试，但我们屡遭失败。后来作者意识到，应当使用适当的权系数，并引入（1.2）中定义的加权尾项。这一新颖的想法最终使得借助人工智能的证明切实可行且获得成功。证明中所需要的数值数据由人工智能生成。整个证明已通过ChatGPT 5.6 Solar的验证。

如果同行评议能通过，这就又是一次AI辅助数学证明的成功。

yikaa

我看推上有人说如果这个证明方法是正确的 那么也能证明0和1是无理数 不过没研究过那个人的数学背景

—— 来自 鹅球 v3.5.99

枯风瘦雪

数学家要是真按照这个范式去出论文，很快arxiv上还没被验证的AI辅助生成论文就该被AI再当语料吃进去了……

lactone

帕林马哲理 发表于 2026-9-4 14:29
如果同行评议能通过，这就又是一次AI辅助数学证明的成功。

这次只能说ai辅助，作者自己提了idea，不是之前那种纯民科打法

—— 来自 HONOR AAK-AN00, Android 16, 鹅球 v3.5.99

kumh

整个证明已通过ChatGPT 5.6 Solar的验证。

我希望还有其他验证方式。

绕指流光

gammatau 发表于 2026-9-4 14:27
这acknowledgments看笑了，至少自己过一遍吧

问题是上周A➗的莱文特也是这个路数，搞出了通过形式化检验的S^6复结构，然后不走期刊和同行验证让claude自己验证后直接挂网上了。只能说数学最近变化太快
https://alpo.ge/s6.pdf
这个论文有108p人力检验起码按年起
不过比望月新一那个600p的还是差点，希望有天能看到LLM大战望月新一的解析

肥胖的道奇兔

是G这个数字吗，有一些积分结果里面会出现它

—— 来自 Xiaomi 23117RK66C, Android 15上的 S1Next-鹅版 v2.5.4

はちたや

这次算正儿八经的数学家了吧，上次那个a的研究员泥潭大能说他是数学界混不下去的

pyx

以后我有一个idea也不用缺程序员了

momol

看起来不行，有人用Fable 5.1 明确地发现了证明中存在矛盾

obulis

我记得楼主是lk99信者

lactone

obulis 发表于 2026-9-4 20:05
我记得楼主是lk99信者

搞错了我不是lk99信者

我是lk99反对者

—— 来自 vivo V2520A, Android 16, 鹅球 v3.5.99-alpha

drodchang

绕指流光 发表于 2026-9-4 14:49
问题是上周A➗的莱文特也是这个路数，搞出了通过形式化检验的S^6复结构，然后不走期刊和同行验证让claude ...

这个结果肯定是经过内部审核的，而且现在基本验证正确了。