Web3 极客日报 #1160 | Rebase Network | Rebase 社区
1. AI狂飙的时代,人还有价值吗? https://mp.weixin.qq.com/s/7H1FrwbQvsh0HD9z90L0wg @shooter:比尔·盖茨称赞,当前这场由ChatGPT衍生开来的人工智能革命是他所见到的自1980年以来最具革命性的技术进步。具体来说,GPT的革命性到底体现在什么地方?当前关于人工智能的讨论有些怎样的误区?它可能会带来什么影响?有什么是它能做的、又有什么是它永远也做不到的?它会是我们的“奇点时刻”吗?人类需要为此忧心忡忡吗? 2. Coq 形式化验证工具 https://coq.inria.fr @Frozen:参与做智能合约平台的过程中会遇到很多极有挑战的问题,这时候就需要一些工具来协助做整体代码逻辑的验证。Coq 提供编写数学定义、可执行算法和定理的形式化语言,并提供半交互式开发环境,在浏览器里就可以运行。 3. Anti AGI 观点讨论...