EP82：如果AI给出了一个人类永远无法理解的证明，那这个证明还有意义么？

“我们能形式化证明它为真，却没法指出它为什么为真。”
“意义从来不是一个单一的东西，你把它当成一个东西来追问，是哲学史上反复出现的混乱来源。”
“胡塞尔的立场很清楚，没有主体的意义是范畴错误，这个概念本身就是错的。”
“意义不能脱离对谁有意义而存在，一切关于意义的询问都必须先指定主体。”
“意义的主体和意义的内涵，你是不能分裂开来谈的。”
“认知从来不是封闭在大脑里面发生的，它总是要和外部世界交互的。”
“从历史长河来看，人类的傲慢如星，而人类的谦逊似云。你站在地球举目远眺，万里无云，满天繁星。”
假设有一天，AI/外星人/神明/未来时间旅行者丢给你一份黎曼猜想的证明，它已经通过了LEAN的形式化验证，因此逻辑上无懈可击、可以说已被验证为正确的。但这份证明用A4纸小六号字双面打印，垒起来一公里厚，任何人类个体穷尽一生也读不完它，更别说理解它了，整个人类文明合作验证都需要几十万年。
那么问题...去小宇宙查看完整单集简介
在小宇宙查看该单集文稿