➡️
继续阅读
-
在麻省理工学院强化人类理解的价值
麻省理工学院人文、艺术与社会科学学院举办75周年研讨会,主题为人工智能如何改变教学、研究与社会。校长科恩布鲁斯表示AI时代更需该学院的洞见,院长拉约强调人...
-
在MIT,玛莎·米诺谈如何维系民主:既要善用AI,也要克服AI
哈佛大学法学家玛莎·米诺在MIT康普顿讲座中指出,美国民主面临法治规范受损、虚假信息泛滥、暴力威胁和教育不公等挑战,并担忧“启蒙精神的丧失”。她认为AI可...
-
AI编程成本暴跌,软件野心该放大十倍
AI 把写代码的成本打到了地板上,野心就该跟着变大。 AI 编程降低实现成本,让以前不敢做的项目变得可行,野心应随成本下降而变大。 ## AI 编程让软件...
-
Go 代码也能像数学定理一样被证明?AI 编程时代,形式化验证正在补上最后一块拼图
AI加速代码编写,但正确性验证成为瓶颈。文章介绍Go形式化验证工具Gobra及其底层Viper,通过前置条件、后置条件、循环不变量和权限模型,将程序性质转...
-
Google ML Drift Accelerates On-Device AI Inference Across Diverse GPUs
Google has released ML Drift, an open-source, cross-platform GPU compute engi...
-
我对 AI 写作的看法,以及我是怎么用的
作者讨论AI写作:手工写作的瓶颈已从“墨水存量”转向“想法本身”;所谓AI味关键在结构而非措辞,框架应由人来定。读者不在乎署名,只在乎内容是否有用、作者是...