很高兴看到最近黎曼猜想的突破里有一位印尼华人的关键贡献,可惜没人知道
Suriajaya全名**Ade Irma Suriajaya,中文名叫谢佳汶,**会说印尼语、闽南话(Hokkien)、英语、普通话、日语等。
真实贡献结构
这次结果的数学基础几乎全部来自人类已有工作:
• 核心输入1:Baluyot、Goldston、Suriajaya、Turnage-Butterbaugh 近几年的一系列论文。他们把 Montgomery 的 pair correlation 方法做成了不依赖黎曼猜想的无条件版本,这是关键技术基础。
• 核心输入2:Bombieri 2000年关于 Weil 二次型的工作。
Claude 的主要贡献是:
1. 发现可以把这两条线合在一起用(以前似乎没有人这样组合)。
2. 在这个组合基础上,把函数空间里“临界线上的零点”(正定部分)和“临界线外的零点”(负定部分)统一处理,而不是分开处理,允许二次型是非对角的。
3. 完成后续详细推导、大量数值检验、写论文,并用 Lean 做了形式化。
所以从“原创数学思想”的角度看,确实是人类先铺好了路,Claude 找到了把已有工具拼起来的新方式,并完成了最后的计算与论证。Anthropic 自己的表述也强调它“heavily draws on”这些已有研究。
Posted Aug 12, 2026, 8:23 PM UTC
31