AI的黎曼猜想的证明

送交者: sl 于 2026-10-25, 08:49:23:

Open AI的722篇数学论文有一篇是圆周率兀的无理数度为2的证明论文
跟AI讨论后,推测如果把该论文的操作方法「数论的行列式近似论」和法国数学家Connes的NCG(Noncommutative Geometry)のSpectral Triple(A,H,D)结合在一起,可能可以像多米诺骨牌一样同时证明两个难题,一个是所有所有非平凡零点都在临界线(1/2)上(黎曼猜想),另一个是所有的非平凡零点都是超越数(transcendental number),迄今一个零点是否是超越数都无法证明。

所有跟贴:

数学家的好日子到头了，除非在重大问题上有突破，小打小闹混个小成就 - bluesea (28 bytes) 2026-10-25, 16:13:28 (877707)
- 计算的尽头是逻辑，欧几里得是先驱。高斯、丘成桐没看懂欧氏逻辑体系，不是小事 - scott (324 bytes) 2026-10-25, 18:51:23 (877711)
  - 语义和逻辑演变是AI弱点。Elements和conjectures怎样演变，是陶哲轩诠释的难题 - scott (123 bytes) 2026-10-25, 19:25:00 (877712)
    - AI擅长形式主义数学，但无法判断真假对错、追寻真理，击中现在数学界主流的要害 - scott (196 bytes) 2026-10-26, 14:46:22 (877716)
      - 达尔文演化论支持赫拉克利特逻各斯，否定巴门尼德僵化存在。欧氏Elements不等于几何 - scott (722 bytes) 2026-10-27, 14:59:18 (877730)
        
        我不跨越科学和宗教的边界。这是不同体系，有不同标准。别人最好也别混淆 - scott (370 bytes) 2026-10-28, 01:36:23 (877732)

加跟贴