送交者: bluesea 于 2026-10-25, 16:13:28:

回答: AI的黎曼猜想的证明 由 sl 于 2026-10-25, 08:49:23:

• 计算的尽头是逻辑，欧几里得是先驱。高斯、丘成桐没看懂欧氏逻辑体系，不是小事 - 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)

加跟贴