首页 文章 精选 留言 我的
优秀的个人博客,低调大师

微信关注我们

原文链接:https://www.oschina.net/news/329607

转载内容版权归作者及来源网站所有!

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

LLM 带来了“编程末日”?计算机专业教授:别做梦了!

LLM会把编程淘汰吗?近日,哥本哈根大学的计算机教授Hans Hüttel通过分析计算理论中的定理所施加的基本限制,得出结论:距离编程的终结还远得很。 其主要观点如下: 计算复杂性理论的限制 PSPACE完备问题(PSPACE-complete)的挑战:从规范生成正确的程序代码是计算机科学的核心问题,即程序综合问题。这一问题在计算复杂性理论上是困难的,因为PSPACE完备问题的决策算法在运行时间上随输入大小呈指数级增长,即使是中等大小的输入,算法也可能非常慢。 QBF规范语言的难题:使用完全量化布尔公式(QBF)作为规范语言的问题也是PSPACE完备的,这进一步证实了生成程序的困难。 程序综合方法的局限性 近似方法的不足:一些程序综合方法是近似的,无法构建满足完整规范的程序,比如静态程序分析工具,而且这些工具一般只考虑特定的程序属性。 资源消耗大的方法:另一些方法则需要大量内存或大量时间才能构建程序,比如使用SMT求解器的方法和基于类型的开发形式(例如基于Hindley-Milner类型系统的方法)。 狭窄领域的方法:还有一些方法只能在合理的资源限制或狭窄的问题域中进行综合,比如用于生...

零一万物密集招兵买马,刚抱阿里又握手苏州

1月13日,有媒体报道称,零一万物在和阿里云成立产业大模型联合实验室的同时,还在苏州开启了大批招聘岗位,而且招聘岗位大多是研发等核心岗,和大模型应用落地密切相关。 据悉,大本营一直在北京的零一万物悄悄在招聘平台上上线了数十个岗位,地点定在了苏州。职位共计是41个,其中,技术人员职位16个。 根据零一万物官网最新招聘信息,和此前相比,确实上线了数十个技术产品岗位,Base 苏州的岗位足足有24个。这些岗位涵盖了研发、运营、设计等多个领域,研发岗位占据了大多数。算法、AI 基础设施、数据标注、内容风控、前端研发、后端研发等等,基本上是大模型研发及应用落地的核心。 数据显示,苏州的AI相关企业数量已位居全国前列,而人工智能在制造业中的应用场景开发也不断加速。科大讯飞、树根互联、云从科技、新华三等行业头部企业都已入驻苏州人工智能产业园;智能语音企业思必驰科技、AI药物研发企业镁伽科技和自动驾驶企业天瞳威视等优秀人工智能企业也位于苏州。 另一方面,AI行业的淘汰赛已经打响,零一万物的每一步棋都备受关注。先前与阿里云成立产业大模型联合实验室,此次又在大力扩充苏州办公室,如此来看,零一万物正在试图用...

相关文章

发表评论

资源下载

更多资源
优质分享App

优质分享App

近一个月的开发和优化,本站点的第一个app全新上线。该app采用极致压缩,本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

Eclipse

Eclipse

Eclipse 是一个开放源代码的、基于Java的可扩展开发平台。就其本身而言,它只是一个框架和一组服务,用于通过插件组件构建开发环境。幸运的是,Eclipse 附带了一个标准的插件集,包括Java开发工具(Java Development Kit,JDK)。

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。