#逻辑推理

avatar
一道基础的逻辑推理题：各家llm基本都会（包括非推理模式下的gpt-5）（很意外的是gemini 2.5 pro答不对），适合用来考察人类推理能力。 网上的版本条件不充分，我补充了条件4和5，答案就唯一了：工程师——医生——律师。 很适合和家里的小孩子一起玩。 === 逻辑推理练习题： 有三位朋友——阿尔法、贝塔和伽马，他们的职业分别是医生、律师和工程师，但顺序未知。已知以下信息： 1.阿尔法不喜欢医生。 2. 贝塔是伽马的姐姐。 3. 医生曾在法庭上为工程师作证。 4. 亲属不能在法庭上互相作证。 5. 律师不是女性。 请确定每个人的职业。
#逻辑推理 #职业 #家庭 #LLM #智力题
avatar
勃勃OC
1周前
作为国内Top2毕业、某大厂工作、自动驾驶业内人士，看了12分钟王志安最新视频，实在看不下去了 科技类话题王局以后别聊了，你的视频大部分十分精彩。但是一涉及到理工内容就有质的问题。如果是你团队编辑的内容的话，建议把这个方向的编辑换了。如果是你个人做的，建议你请一个理工从业者作为编辑。瞬间能想起来的包括姜萍那期，还有近期杭州污水等等。这是因为理科和文科人士底层的逻辑是不同的，这类看不下去的视频的共性，就是拿一个明显外行的逻辑来套一件事的“模版”感。输出一些具体参考： 1) 姜萍事件不能拿“普通人不应该自证其罪”的逻辑来套，因为科学的根基是“可证伪”，任何人都可以质疑，理工领域的发布者有义务接收质疑并给出整个逻辑链条证明其有效性。这中精神建议看一下B站“耿同学”相关的视频，不然他质疑的各种论文造假，一句“你拍到我造假的视频了？你没证据凭什么质疑我”，就可以统统挡回了。 2) 污水处理的问题本质不是水的源头是不是发生了什富营养化，因为我们讨论的不是“河水”为什么臭了，而是“自来水”为什么臭了。这里接受质疑的是“自来水体系”。自来水系统工作正常的指标，就是保证其产出的水是符合健康标准的，即使上游有人投毒，也应该在水源检测、水处理加工、出水检测等环节进行处理。除非可以证明说，这其中的臭味物质，在我们的自来水标准里是允许过量存在的，所以系统对这一物质无需处理。否则，难道发现水源有人投毒，自来水系统也可以说：“哦，原来有人中毒，不是因为自来水厂的原因，是水源地有人投毒的原因”，然后继续供水。这里面一定涉及到多个环节的重大事故，将原因归咎于上游水污染反而是【某些人】最希望出现的结论； 3）自驾测试不是在做“科学实验”，不能拿初中物理级别的“控制变量法”的逻辑来套。这是产品的验证试验，普通人买产品大部分是按默认参数、在自然环境来使用的。所有的国标定制标准，都应该是“试验环境”尽量贴近用户真实环境，而不是用户要按照指定环境来使用。所比如充电宝容易爆炸，难道要怪用户，没有在32摄氏度以下使用，没有在充电4h25min的时候断电，没有保证充电宝不磕碰，没有循环充电1000次以后停止使用？只要有爆炸隐患的，就要召回。否则自动驾驶也太好做了，我只要将所有系统参数，都在“设置”选项里开一个可以改变的参数，这样不管你未来出任何事故，我相信都能找到你某个参数设置的不合理，“没有改”，从而导致你出了问题，不是我自动驾驶的问题。 所以这类话题，如果不是分别被【某巴巴】、【杭某政府】、【某遥遥领先】充钱了，希望王局能反思一下你视频里的内容是否正确。作为观众本无权利要求发布者保证所有内容的正确，更无理由要求发布者按照自己的喜好、逻辑偏好来发布，但是作为喜欢你、希望能帮助你的观众，还是选择进言，因为希望你的视频越来越好，毕竟我还指望着看你的视频呢。 后续补充：其实我这个本来是写给王志安个人的，但是youtube找了半天没有私信功能，只好发到评论区。大家对我的批评不打紧，因为我也不是干媒体的，就是个日常小号小透明而已。大家的赞如果能帮助王志安看到这个评论最好了，但是不希望对王老师造成负面影响。相信王志安粉丝都是有批判和反思精神的，不会觉得讨论是在黑王老师。 但是大家对我评论的批评，能发现很多人并没有分清“专业人士”和“外行”评论的区别，所以担心因为我表述的情绪性，王老师没有get到我的点，所以补充一个“印航171坠毁”的案例： 外行自媒体： （第一轮）媒体给出坠毁视频 -> 好像襟翼没打开/起落架收错收了襟翼（因为毕竟大家都坐过飞机，大概了解襟翼）； （第二轮）WSJ媒体透露FDR记录“油门间隔1秒被关掉”+舱音记录仪“为什么切断燃油” -> 推测是飞行员关闭 行内人士： youtuber疯狂机长詹姆士的观点是 （第一轮） a) 787不忘记起飞检查表会报警，检查表必然会发现襟翼没放； b) 即使襟翼不放，飞机要么起不来，起来了就不会再掉下去； c) 787单发重飞的时候，襟翼从20收到5，都可以保证飞起来。而双发都在的时候，即使襟翼从5收到0，飞机也不会掉下来。 d) 襟翼杆跟汽车档杆一样，收错第一反应是放回去，而不是叫mayday . e) 787有一个Slat Autogap and Slat Pregap的襟翼的保护机制，在错误区间收不回去，失速区间会迅速补偿 f) 787起飞襟翼一般放在5，视觉上不太看得出来=> 所以大概率是双发失效而不是没放襟翼； （第二轮） a) 787襟翼是副机长执飞，拉杆过程中手拿不开去关油门； b）机长或者副驾驶想自杀，一偏驾驶杆就行了，用不着关油门，更不会努力保持最后几秒飞机近乎完美姿态坠毁； c）FDR只能记录油门被关闭，不一定是人操作的，人操作需要提起-放下，一定会在CVR中录下明显的咔哒声，而报告中没有提及。 d) 波音787关于发动机GEnx-1B曾于2021年发布的Service Bulletin，提到EEC上的MN4芯片1万次震动后可能会脱焊失效，导致推力丢失，现象与本次事件类似 => 所以大概率是非驾驶员自杀 姑且不论詹姆士的推论是否正确，能发现两者的明显区别是：外行人士因为不掌握背景信息，其所有推理的起点只能是被别人输出的部分信息，然后“调动自己全部的智慧”进行进一步推理；而专业人士因为对相应领域有基本的全面掌握，则可以从正面来进行完整的逻辑推理，而不是听风就是雨。 类似的，王老师在“天水铅中毒”视频里给出一个非常非常专业的技巧，就是官方公告不会“造假”，而是通过“选择性真相”误导观众。同样的道理更适合科学领域，业内人士糊弄外行人士，可以通过只释放部分消息的方法，想让你推导到什么结论，你自己就会推导到什么结论。 所以，其他评论里也提到了，王老师关于科技类的视频，有一种从别人嚼过的信息拿过来再进行推理的浓厚“半吊子”感。 反而，王老师在做社会类视频的时候就不会犯这些错误，而是从“附近居民和其他幼儿园的血铅正常”、“中毒症状是急性中毒而非慢性中毒”等推导出确实是厨师愚蠢，而不是附近工业污染。 并从报告“没有说的部分”，推导出天水事件的毒物疑似“柠檬铬黄”，并发出检验“血铬超标”的提醒，这样才会让人觉得专业和信服。
#王志安 #科技评论 #专业性 #逻辑推理 #信息不对称
avatar
DeepMind的封神之路：成为“逻辑盒子”里最强的神 DeepMind用LEAN来训练它的AI，这本质上，就是把它关在了一个哥德尔的“完美逻辑盒子”里。 它赌的是，虽然这个盒子有理论上限，但在触及那个上限之前，里面还有无穷无尽的空间，可以靠海量的RL（强化学习）去探索。 它的目标，是成为这个“逻辑的囚徒”之王。它要用机器的暴力，去修补、去填满这个盒子里所有人类尚未触及的角落。它追求的是一种极致的、可验证的、但最终有边界的“确定性”。 它在用RL，和哥德尔的诅咒，进行一场赛跑。
#DeepMind #LEAN #强化学习 #人工智能 #逻辑推理
avatar
5.28 #要闻：DeepSeek R1模型已完成“小版本试升级”，本次更新在语义理解精准性、复杂逻辑推理、长文本处理进行了强化，更新后模型的理解能力、编程能力均大幅提升。这是两个月来DeepSeek首次模型更新
深度学习模型升级引发AI能力大跃进，行业迎新变革· 29 条信息
#DeepSeek #R1模型 #语义理解 #逻辑推理 #长文本处理 #模型更新
avatar
初码
5个月前
之前发的这个帖子，说到对价值的判断、对未来的预测，今天就用1个案例，手把手来教一次大家什么叫基于客观事实和纯逻辑推理分析来预测未来，今天的主角是币圈的凉兮，我要预测的是什么事呢？就是：凉兮今年或者明年一定会死亡或者坐牢（概率超99%），下面是分析过程： 一、首先我们要掌握一些基本事实 1、凉兮是可怜的精神病患者 凉兮本人确实比较可怜，从小的遭遇值得同情，常年罹患精神病和抑郁症，虽然经常自导自演自残自杀的戏码，但他也是真自残，这确定是精神有问题的表现。我们既要对凉兮表示善意的同情，但也要分析他未来的走向。 2、凉兮的本质并不善良，品性存疑 虽然凉兮自己可能并不承认，但无论是他被原生家庭所影响，还是后天环境导致，他是欺诈性人格，观察凉兮的日常和一些重大事件，你会发现： 1）他对诚信这两个字毫无概念，可以随意承诺、可以任意毁约，毫无契约精神。 2）他对“好聚好散”的基本做人道理毫无概念，在精神亢奋的时候，可以不顾一切的毁灭别人，特别是把别人信任他而告诉他的信息，当成要挟、毁灭别人的工具，这是一种非常变态和恐怖的人格，至少在我的交友准则里，这种是排在一票否决第一位的。 3）他有用小号左右互搏诈骗别人钱财的劣迹（其实有相当多类似的行为，没石锤的我就不说了，但这一例是官方刑事认证的）。虽然他内心深处肯定站在精神病视角认为他就是借用一下别人的钱，一波回血就还回去了，但本质上就是诈骗。 3、凉兮的智力水平，无法理解盈亏同源、万利归庄的深层次道理 当然了，不仅凉兮，币圈99%的人都一样，智力和认知决定了他们永远是韭菜，在一个几乎不产生真实社会生产力（金融贸易体系有部分生产力、灰产体系有黑色生产力）的币圈下，盈亏同源这四个字，就像一个只无形的大手，控制者所有人。谁在挣钱，掰手指头都可以列出来： -CEX交易所 -交易掮客（业务员、商务、返利） -民间科学家（套利玩家、羊毛党、黑客、诈骗犯等） -官方科学家（量化机构、套利项目） -良心庄家（各大公链实控方、各类真实DAPP的发币方） -黑心庄家（各类诈骗圈钱项目的发币方） -生态服务商（服务器厂商、OTC服务商等） 以上统称为真正赚钱者 而一个没有生产力的池子，每一次新增注入的流动性，在一个长的交易周期内，都会通过gas、佣金、套利、诈骗等方式从普通人手上转移到真正赚钱者的身上，如果你是赌狗，这个速度会很快，如果你是个炒币爱好者，那就是温水煮青蛙，慢慢吸你血。 对照以上清单，凉兮不符合任何一个“真正赚钱者”的特征或趋势，而且他因为开高杠杆，赌场持续高强度抽水，他的本金流失速度会更快。所以，他如果都能挣到钱，那真是地球都要停转了。 二、为什么凉兮会死亡或者坐牢 好了，知道了以上基本信息，我们分析一下凉兮未来的走势： 1、本轮运气会带来更大的反噬 这次凉席又狗屎运搏到一波回血，回血后，他开始大面积的给人发钱还钱，不得不承认，这在运营上具有强烈的视觉冲击性，瞬间各路吃瓜大V也来转发，变相给他站台，获得新一波的流量。那么可以想象到的，这几天，已经有一大波傻傻的“合作赚钱者”上了凉兮的新船，这里面有多少资金我不知道，很有可能在百万U以上。 而根据上一段的基本事实，这些合作的资金， 大概率在1个月内会亏的血本无归。事实上，上一波凉兮的债务也是这么来的，而这一波又重复了这个过程。但区别是，这一波的凉兮，精神状态更不健康，一个精神不健康的人，会做出更多违反常识、违背规律的事情，比如更加夸大的去承诺，更加激进的使用杠杆，更加毫无负罪感的编造谎话等等。 这种反噬，会来的非常快，合作赚钱者的痛苦，即将降临。 2、这波反噬，会有更多激进的债主出现 其实观察上一波凉兮的债主，客观的说，都还是挺好说话的人，无论是被凉兮怼到有苦说不出的福禄寿，还是相杀相爱的阿超，还是天真可爱的B哥，都不是那种“恶人”，都属于能够好好说话、换位思考的普通人，哪怕被凉兮换币诈骗的那个网友，估计最后也出了谅解书。凉兮身在福中并不知道，他还以为这些人是坏人要搞死他，要害他，真要害他可不是这么个互联网口水“讨债法”，哪怕起诉他的阿超也只是“起诉而已”。凉兮没进入过社会，不知道真正的恶人会用什么手段来要钱。 而这一波，激进的手段一定会吸引更多激进的合作者，比如负债到家破人亡边缘的合约狂人，比如社会底层的无人性的投机者，比如对他流量感兴趣的不怀好意者。这些人，一旦钱没了，可真的是会要人命的。凉兮并不知道，危险正一步一步向他逼近。 3、在危险之下，不排除凉兮会做出更加荒唐的事情 之前说了，凉兮对一些基本的社会常识没有概念，所以才会干出那种他认为没事（小事），但实际上却是刑事案件的大事，而一个人在某些方向上的阈值会持续升高，这次给凉兮逃脱了实刑，也会让他的胆子进一步变大。我真的有很强烈的预感，他在重压之下，在蜜汁自信之下，在精神幻觉之下，会做出更惊人的事情来。 所以，基于以上，建议凉兮本人也好好冷静一下，是不是消停一下，过过正常人的日子，留个50-100万U，戒了合约，也能舒服的或者。也建议各路大V，不要顾着吃瓜，就不停的给凉兮流量，他接不住的，这对他不好，对参与的网友也是灾难。
#币圈 #凉兮 #价值判断 #预测未来 #客观事实 #逻辑推理 #死亡 #坐牢
avatar
宝玉
6个月前
可以看得出，OpenAI 正在用 o3 的数据来蒸馏 GPT-4o，所以 GPT-4o 越来越强了。 o1、o3 这样的推理模型因为更擅长逻辑推理和长链思考（或在某些领域拥有更深入的知识），因此能生成更高质量、更精准、更具启发性的数据。 这些“数据”可能包括：更完善的解题思路、更详细的标注数据、难以在网上直接找到的“合成知识”、或者更高质量的问答示例等等。 这些由推理模型生成的优质数据，又能被拿来训练或微调像 GPT-4o 这样的“基础模型”。由于新数据更优质，训练后的“基础模型”自然也会进一步提升。 DeekSeek R1 就是一个例子，它被蒸馏到 Llama 3.2 70b 这类“基础模型”中，使该模型比原版更强大。 值得注意的是，o1、o3 这些推理模型本身又是以 GPT-4 作为“底座”，再通过强化学习（RL）等手段让“基础模型”升级为“推理模型”，从而变得更聪明。 当基座模型变得更强，基于更强基座模型训练出来的推理模型也会随之变得更强大。 一旦我们获得了 GPT-5 的基础模型，那么所有以 GPT-5 为基础的推理模型无疑会更智能，反过来又能为 GPT-5o、GPT-6 生成更优质的合成数据。 随着推理模型能力进一步提升，它们会产出质量更高的新数据，用于训练后续的基础模型——从而形成一个正向循环。 图片作者 Peter Gostev：（见图片底部链接）
#OpenAI #GPT-4o #数据蒸馏 #逻辑推理 #长链思考 #解题思路
avatar
AIGCLINK
7个月前
酷！智谱最新发布了其基于扩展强化学习技术训练的推理模型：GLM-Zero-Preview 擅长处理数理逻辑、代码和需要深度推理的复杂问题 在AIME 2024、MATH500 和 LiveCodeBench评测中，效果与OpenAI-o1-Preview相当 在逻辑推理方面，GLM-Zero-Preview 善于识别逻辑漏洞，能够模拟多种假设和可能性 在数学方面，GLM-Zero-Preview 具有强大的归纳与演绎能力，能够快速处理复杂的数学运算，解答包括代数、微积分、概率统计等领域的问题 #GLM #GLMZeroPreview #LLM
#智谱 #扩展强化学习 #GLM-Zero-Preview #逻辑推理 #AIME 2024 #MATH500 #LiveCodeBench #OpenAI-o1-Preview #数学