完全逻辑推理和不完全逻辑推理

完全逻辑推理和不完全逻辑推理

6个月前

推理,简而言之,便是利用已知探求未知的过程,它是我们得出诸多结论的重要手段。然而,并非所有的推理都是值得信赖的。 在逻辑学的众多著作中,人类的推理方法被细化为诸多类别,诸如归纳推理、演绎推理、类比推理 …

得数学思想者得天下(4)人类数学思维高光背后的逻辑第一性原理

得数学思想者得天下(4)人类数学思维高光背后的逻辑第一性原理

6个月前

要谈推理思想,不能脱开逻辑去谈推理,这也就算作推理的前传性文字吧;首先我们谈谈数学和逻辑这两者之间的关系。 一 、数学与逻辑的塑料友情 数学结论的正确性,取决于公理的正确性,以及逻辑的严密性,因此数学 …

真心建议:每天进行800字的自由写作练习

真心建议:每天进行800字的自由写作练习

7个月前

“hi我是喜喜,一个靠写作旅居世界的自由职业者,无限游戏新玩家~” 800字,是不是觉得字数还挺多的? 别怕,跟着下面的四个写作方向走,等你真正写起来,就很难刹住啦! 一、写你的一天 先从记你的日常流 …

Kimi 16B胜GPT-4o!开源视觉推理模型:MoE架构,推理时仅激活2.8B

Kimi 16B胜GPT-4o!开源视觉推理模型:MoE架构,推理时仅激活2.8B

7个月前

刚刚,Kimi团队上新了! 开源轻量级视觉语言模型Kimi-VL及其推理版Kimi-VL-Thinking,多模态和推理双双拿捏。 按照Kimi官方的说法,其关键亮点如下: 都是基于MoE架构,总参数 …

十个关键词,带你全面看懂DeepSeek!

十个关键词,带你全面看懂DeepSeek!

7个月前

DeepSeek的火热仍在持续。 相信很多读者在使用DeepSeek的时候,都会默认开启深度思考功能,风叔在阅读DeepSeek思考过程上的时间,甚至比最终回答还要多。 这是风叔在使用其他大模型时,从 …

从大模型、智能体到复杂AI应用系统的构建——以产业大脑为例

从大模型、智能体到复杂AI应用系统的构建——以产业大脑为例

8个月前

大模型的出现是AI技术发展的重要里程碑。从2017年Transformer架构的提出,到2022年ChatGPT的横空出世,大模型在短短几年间实现了从实验室到大众应用的跨越。 大模型的能力在不断增长, …

一文彻底搞懂深度学习 – 训练和推理(Training vs Inference)

一文彻底搞懂深度学习 – 训练和推理(Training vs Inference)

10个月前

在深度学习中,训练和推理是两个紧密相关但又有所不同的阶段。训练过程通过调整模型参数来优化模型性能,而推理过程则利用训练好的模型进行预测。 训练和推理在目标、过程、计算资源等方面存在差异。训练过程注重模 …

度小满,让“推理大模型”走向金融核心业务

度小满,让“推理大模型”走向金融核心业务

1年前

最近一段时间,AI领域被谈及最多的关键词是“推理大模型”。 今年9月,OpenAI发布了o1大模型,这种具有“慢思考”能力的大模型最大特点是能够推理复杂的任务,可以解决科学、编程、数学等领域更为复杂的 …

《逻辑19讲》:学会辨别好坏推理之间的差别

《逻辑19讲》:学会辨别好坏推理之间的差别

1年前

生活中我们经常说某人逻辑思维清晰,能有理有据的叙述一件事,并给出自己的观点和看法。 逻辑是一种推理科学,清晰的逻辑能帮助我们辨别一个好推理和坏推理之间的差别。 什么是推理呢? 在《逻辑十九讲》这本书里 …