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

微信关注我们

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

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

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

开源日报 | DeepSeek推出移动版APP;开源古汉语模型;论文的标题越来越花里胡哨;“AGI预言”突然增多只是炒作吗?

欢迎阅读 OSCHINA 编辑部出品的开源日报,每天更新一期。 # 2025.1.13 今日要闻 华为余承东 2025 全员信:鸿蒙三分天下有其一,10 万个原生应用是未来半年到一年关键目标 1 月 13 日消息,华为常务董事、终端 BG 董事长、智能汽车解决方案 BU 董事长余承东发布了新年第一封全员信。余承东表示:“时代的洪流冲天下,鸿蒙三分天下有其一,是历史赋予我们这代终端人的责任与使命。” 他还提到,2025 年鸿蒙生态要压强投入,10 万个应用是生态成熟标志,这是未来半年到一年时间的关键目标。 DeepSeek 推出移动版 APP DeepSeek 推出了官方移动版 APP,提供深度思考和联网搜索功能,可以生成内部思维链,逐步分析问题并得出结论。此外,该 APP 还提供图片、文件等多模态输入模式。 据介绍,该 APP 由 DeepSeek-R1-Lite 模型和 DeepSeek V3模型提供支持。 英伟达与美国半导体协会反对新一轮芯片出口禁令 受美国拜登政府计划对人工智能芯片出口实施新限制措施消息的影响,1 月 10 日美股开盘后,英伟达股价大跌超 3%,AMD 股价大跌近...

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

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

相关文章

发表评论

资源下载

更多资源
优质分享App

优质分享App

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

Mario

Mario

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

Apache Tomcat

Apache Tomcat

Tomcat是Apache 软件基金会(Apache Software Foundation)的Jakarta 项目中的一个核心项目,由Apache、Sun 和其他一些公司及个人共同开发而成。因为Tomcat 技术先进、性能稳定,而且免费,因而深受Java 爱好者的喜爱并得到了部分软件开发商的认可,成为目前比较流行的Web 应用服务器。

Eclipse

Eclipse

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