弱共识与语境复义:人工智能自然语言大模型重塑文艺美学

实质语义的弱共识性是人工智能自然语言大模型自动生成文本的基本特性,也是文学文本的基本特性。科学与文学文本语元组合运动生成的形式语义都要在个人的直观理解中转化为实质语义。形式语义概念化的单义决定着科学文本实质语义的强共识,有利于汇聚物化在语言符号中的社会力量,以认识、改造自然物元组合运动而造福人类;形式语义实例性的语境复义决定着文学文本实质语义的弱共识,有助于个人心元组合运动的和谐化、文明化和个人性与社会性相统一的非强制性交往。大模型颠覆了传统科学文化概念化强共识公理系统,对于重新认识科学文化与人文文化两者之间的关系及价值、重塑传统文艺美学和人类文化等有重要启示。

大模型关联度预测的形式化和语义解释研究

本文探讨“大型语言模型是什么”的问题。为此对大模型的评判标准展开实验观察,对大模型的基础设施关联度预测进行直观分析,构建关联度预测的一种形式化LC,进而研究关联度预测的语义解释。在此基础上讨论大模型的真实性挑战、共识挑战、内容属性挑战和非封闭性挑战。主要发现包括:语元关联度是体现人类语言习惯的可自动提取的语言痕迹;关联度预测具有语境相关的统计性质;LC具有弱共识性实质语义;LC是一个非概念化公理系统。这些特点颠覆了科学理论、形式化方法和软件的传统理念在人工智能领域的主导地位,是大模型输出既出人预料、又符合语言习惯的深层原因。

类Paxos共识算法研究进展

随着互联网数据量和业务量的快速增长,集群规模越来越大,由于机器和网络等故障使得业务中断的可能性越来越高.如何实现一个容错的分布式系统十分重要.多机达成共识是分布式容错系统中一个最基础,最核心的问题.Paxos等一系列共识算法的出现有效地解决了这个问题.近年来,越来越多的系统使用共识相关技术,关于分布式共识算法的研究也层出不穷.这些共识算法可以被划分成2个大类:强领导者共识算法和弱领导者共识算法.随着远程直接内存访问(remote direct memory access, RDMA)等网络技术和现场可编程门阵列(field-programmable gate array, FPGA)等硬件技术的发展,又出现了一些结合新型网络和硬件技术的共识算法研究,用来提升分布式系统的性能.将从分布式共识算法发展历程的角度,介绍Paxos系列算法,阐述算法演进过程中的关键研究,讨论相关算法在不同场景下的优劣势,并展望该类算法的未来发展方向与前景.

审美共感与符号系统造型:人工智能自然语言大模型引发美学革命

人工智能自然语言大模型展现了计算机在语元组合运动中所生发出的强大符号系统造型智能。人的智能活动是大脑神经元、心元、语元组合运动的交互,并与自然的物元、社会的个人组合运动交互。创造并使用语言文字等符号、进行语元组合运动,体现了人的符号系统造型智能;人按照有用的规律进行概念化符号造型、语元组合,个人智力汇聚为社会智力,以认识自然的物元组合运动规律,并通过物质系统造型改造自然;人按照美的规律进行实例性符号造型、语元组合,个人智力自由组合为社会智力而得到个性自由发展,自然物元的个性、丰富性也得到充分展示。大模型自动生成的文本非概念化、实例性等弱共识特性,也正是审美共感的基本特性,体现了符号造型、语元组合的美的规律,引发一场美学革命。