人工智能
人工智能（，缩写为），是指计算机系统执行通常与人类智慧相关任务的能力，例如学习、推理、解决问题、感知和决策。作为工程学、数学和计算机科学交叉的研究领域，人工智能旨在开发和研究相关方法与软件，使机器能够感知环境、运用机器学习和智能采取行动，并提高达成既定目标的可能性。 人工智能应用中较为知名的例子包括高级网络搜索引擎、聊天机器人、虚拟助手、自动驾驶汽车，以及在策略游戏（如国际象棋和围棋）中的对弈和分析。自2020年代以来，生成式人工智能已…
标签：#形式科学
共 4 篇文章
Loab
Loab（ ）是由藝術家兼作家史蒂芬·梅·斯旺森（Steph Maj Swanson）聲稱於2022年4月透過文字生成圖像AI模型所發現的虛構角色。在一篇引發瘋傳的 Twitter（現為 X）推文中，斯旺森將 Loab 的圖像描述為該軟體出乎意料的突現特質（emergent property），並表示他們是在要求模型生成「與提示詞盡可能不同」的內容時發現了這個形象。 最初的提示詞為「Brando::-1」，旨在請求生成與演員馬龍·白蘭度…
人工智能内容检测
人工智能检测软件旨在确定某些内容（文本、图像、视频或音频）是否是使用人工智能（AI）生成的。 截至2023年，这方面的典型案例有诸如GPTZero这样的软件，该软件声称可以检测文本是否是由人工智能生成，有时被大学和高校用于防范学生的学术抄袭。然而，关于这类软件是否可靠的争论不断，同时也存在对教育工作者可能误用AI检测软件担忧。 准确性问题 事实证明，多个人工智能检测工具在准确和全面检测生成的人工智能生成文本方面表现不可靠。在韦伯·伍尔夫…
形式化方法
形式化方法，中文也稱形式方法、正規方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和強健性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。 参考文献