1. AI狂飙的时代，人还有价值吗？
https://mp.weixin.qq.com/s/7H1FrwbQvsh0HD9z90L0wg
@shooter:比尔·盖茨称赞，当前这场由ChatGPT衍生开来的人工智能革命是他所见到的自1980年以来最具革命性的技术进步。具体来说，GPT的革命性到底体现在什么地方？当前关于人工智能的讨论有些怎样的误区？它可能会带来什么影响？有什么是它能做的、又有什么是它永远也做不到的？它会是我们的“奇点时刻”吗？人类需要为此忧心忡忡吗？
2. Coq 形式化验证工具
https://coq.inria.fr
@Frozen:参与做智能合约平台的过程中会遇到很多极有挑战的问题，这时候就需要一些工具来协助做整体代码逻辑的验证。Coq 提供编写数学定义、可执行算法和定理的形式化语言，并提供半交互式开发环境，在浏览器里就可以运行。
3. Anti AGI 观点讨论
https://twitter.com/Diana19959295/status/1640299745783746562?s=20
@Frozen:在科技圈里 AI 一路狂飙的时代下，极速发展的 AGI 所带来危害引起部分人的思考，是否 AGI 将带来人类文明的灭亡。
Web3极客日报是为Web3时代的极客们准备的一份日报，它是由一群极客们推荐他们认为有价值的内容并附上一段推荐语，最后通过Rebase的成员整理编辑。
网站:https://rebase.network
公众号:rebase_network
