Web3 极客日报 #1160

微信不支持外部链接，可以点击文章底部的阅读原文 ，方便阅读文中的链接，也可通过 https://daily.rebase.network/ 浏览每期日报内容。

AI狂飙的时代，人还有价值吗？

https://mp.weixin.qq.com/s/7H1FrwbQvsh0HD9z90L0wg

shooter: 比尔·盖茨称赞，当前这场由ChatGPT衍生开来的人工智能革命是他所见到的自1980年以来最具革命性的技术进步。具体来说，GPT的革命性到底体现在什么地方？当前关于人工智能的讨论有些怎样的误区？它可能会带来什么影响？有什么是它能做的、又有什么是它永远也做不到的？它会是我们的“奇点时刻”吗？人类需要为此忧心忡忡吗？

Coq 形式化验证工具

https://coq.inria.fr

Frozen: 参与做智能合约平台的过程中会遇到很多极有挑战的问题，这时候就需要一些工具来协助做整体代码逻辑的验证。Coq 提供编写数学定义、可执行算法和定理的形式化语言，并提供半交互式开发环境，在浏览器里就可以运行。

Anti AGI 观点讨论

https://twitter.com/Diana19959295/status/1640299745783746562?s=20

Frozen: 在科技圈里 AI 一路狂飙的时代下，极速发展的 AGI 所带来危害引起部分人的思考，是否 AGI 将带来人类文明的灭亡。

Web3 极客日报是为 Web3 时代的极客们准备的日常读物，由一群极客协作完成，每天更新，每期包含三个推荐内容，都来自极客们各自关注的领域。每晚由 Rebase 志愿者整理发出。若有意参与内容贡献，请添加微信 ljyxxzj 并注明日报贡献。

网站:https://rebase.network

公众号:rebase_network