极客日报 #1160
极客日报#1160
本期收录 3 条社区推荐，涉及 Anti AGI 观点讨论、Coq 形式化验证工具、AI狂飙的时代，人还有价值吗？。
2023年3月27日
本期推荐
Anti AGI 观点讨论
在科技圈里 AI 一路狂飙的时代下，极速发展的 AGI 所带来危害引起部分人的思考，是否 AGI 将带来人类文明的灭亡。
Coq 形式化验证工具
参与做智能合约平台的过程中会遇到很多极有挑战的问题，这时候就需要一些工具来协助做整体代码逻辑的验证。Coq 提供编写数学定义、可执行算法和定理的形式化语言，并提供半交互式开发环境，在浏览器里就可以运行。
AI狂飙的时代，人还有价值吗？
比尔·盖茨称赞，当前这场由ChatGPT衍生开来的人工智能革命是他所见到的自1980年以来最具革命性的技术进步。具体来说，GPT的革命性到底体现在什么地方？当前关于人工智能的讨论有些怎样的误区？它可能会带来什么影响？有什么是它能做的、又有什么是它永远也做不到的？它会是我们的“奇点时刻”吗？人类需要为此忧心忡忡吗？
Rebase 极客日报由社区志愿者共同维护，持续整理值得关注的技术内容与行业信号。