AI 给宇宙学证明出了「外星式」构造,研究者困惑如何归类其创造力

burny_tech · x · 2026-10-08

burnytech 引用一段关于 UGC 证明的讨论:该证明发明了一种全新的怪异编码,并通过噪声测试,是一种疯狂的递归构造——「不是长码,不是短码,是某种外星式的疯狂」。原引者认为可能存在使用自然半空间码的证明。发帖人好奇这种创造力该如何归类:是 combinational(组合型)、exploratory(探索型)还是 transformational(变革型)?这折射出 AI 生成数学证明的形态已超出人类直觉的构造习惯。