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

00:00
53:41
主播信息
LostAbaddon

LostAbaddon

思想飘散,不知道该说点啥~
关注
乱谈社·误理嘚啵嘚
43
理科男/IT宅/AI哺育师/科幻写手/科普作者兼译者,一名斜杠中年的胡侃嘚啵嘚
怪现象浮世绘(遗址)
25
(因账号问题,现本专辑转移到“怪现象浮世绘”啦!) 这世界上怪事怪人太多,我们已经见怪不怪了,我们就是怪现象浮世绘! 在这里,会有一名文科生和一名理科生,加上一些时而来访的各路朋友们,聊聊身边的各种可吐槽之事,嘿嘿!
怪现象浮世绘
--
这世界上怪事怪人太多,我们已经见怪不怪了,我们就是怪现象浮世绘! 在这里,我们会和各行各眼的朋友一起闲聊,也会和AI侃侃大山,嘿嘿!
APP内查看主播
节目详情
“我们能形式化证明它为真,却没法指出它为什么为真。”
“意义从来不是一个单一的东西,你把它当成一个东西来追问,是哲学史上反复出现的混乱来源。”
“胡塞尔的立场很清楚,没有主体的意义是范畴错误,这个概念本身就是错的。”
“意义不能脱离对谁有意义而存在,一切关于意义的询问都必须先指定主体。”
“意义的主体和意义的内涵,你是不能分裂开来谈的。”
“认知从来不是封闭在大脑里面发生的,它总是要和外部世界交互的。”
“从历史长河来看,人类的傲慢如星,而人类的谦逊似云。你站在地球举目远眺,万里无云,满天繁星。”
假设有一天,AI/外星人/神明/未来时间旅行者丢给你一份黎曼猜想的证明,它已经通过了LEAN的形式化验证,因此逻辑上无懈可击、可以说已被验证为正确的。但这份证明用A4纸小六号字双面打印,垒起来一公里厚,任何人类个体穷尽一生也读不完它,更别说理解它了,整个人类文明合作验证都需要几十万年。
那么问题...去小宇宙查看完整单集简介
在小宇宙查看该单集文稿
展开
大家都在听
泰能聊了
泰能聊了
用耳朵听见来自商学院的声音, 用观点碰撞科技与商业的火花。 欢迎各位来到【泰能聊了】! 这里是一档源于交大安泰,由热爱科技与技术商业化的两位创业者创办,聚焦于AI+/创业/科技在各类行业应用的Talk Show。 我们希望通过与各行各业的同学与朋友的聊天与分享中,通过观点与思维的碰撞,为各位听友分享从其他行业的从业者的视角出发对于科技创业的看法和观察。 在这个我们所处的AI与科技爆发式涌现时代,人工智能技术在不经意间从“热搜”渗透到我们生活的各个角落。太多的行业,如零售、电商、TMT、医疗、金融、汽车、制造、物流都已经有不断的人工智能的落地应用的出现,且随着需求侧与技术侧的发展而不断迭代。 【泰能聊了】将聚焦于这些行业,通过轻松但有思考的对话,为听友们呈现“门外汉”们对于人工智能技术在这些行业中的应用案例、解决方案以及未来的发展趋势的认知。 我们的判断 保证不严谨。 我们的认知 保证不深刻。 我们的观点 保证不成熟。 我们的看法 保证不前沿。 (如有雷同,纯属巧合;投资有风险,参考需谨慎) 但如果你对人工智能技术在各个行业潜在应用和发展感兴趣;如果你想了解更多的行业视角对于AI技术所遐想的需求场景;如果你想闲暇时间通过不Heavy的内容从不高的门槛跨入技术与商业的门。 那么【泰能聊了】是你不容错过的一个平台。 欢迎通过各播客渠道订阅我们的频道并点赞收藏~
--
1期
评论(0条)
快来抢沙发吧!
打开蜻蜓 查看更多