日志

分享 2025回国散记-6

马鹿 2025-11-28 09:27

*********************************************************************************************************************************************************************************************************************************************************************************************************** ...

22 次阅读|1 个评论 热度 12

分享 DeepSeek的元验证感觉是通向AGI的关键一步

唐家山 2025-11-28 08:42

这是知乎AI对元验证（Meta-Verification）的评述： Meta-Verification是指在验证AI生成的证明或解题步骤时，引入更高一层的验证机制，即给原本的验证者（AI老师）再配备一个更高级的验证者（AI校长），以检查其评估的准确性。具体来说： 初始验证：首先，一个AI验证器（如DeepSeek-Math-V2中的初始验证器）会对AI生成的 ...

84 次阅读|3 个评论 热度 8

分享 现在是有点清算的意思了

雷达 2025-11-28 00:14

我老婆公司出差，有人选航班会尽量避开有很多开轮椅的健康人那种，即使吃的差点，稍微绕点。 平时谁出个车祸，别人也会隐晦的问一下，对方是不是某族的。 过分了就物极必反，这才刚开始。

212 次阅读|5 个评论 热度 23

分享 经济学人：米家CEO七宗罪

龙血树 2025-11-26 18:15

　　 　　　　　　　 　　　　　　　　　　　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　　　　　　　 　　　　　　　　　　　　　　　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ... .... ...

55 次阅读|1 个评论 热度 12

分享 以结婚为目的泡妞

住在乡下 2025-11-26 11:24

不仅是有结婚的实力，也要会舔。 至于以炮妞为目的的，我这个乡下人真没见过世面就不说了，诸位种男，自走炮，达人可以畅所欲言。 一直纳闷，小倩的舔狗买那么多海参做什么？丫是牙医又不是厨子。 今天陪甲方去了趟兰若寺，和小昭小倩几个胡侃时才知道，泡美女有时真要舔。 小昭小倩今天有点事要加班，小昭的老公自 ...

130 次阅读|3 个评论 热度 7

分享 日本卖春女的传统

孟词宗 2025-11-26 06:34

日本发家史上浓墨重彩的一章是靠日本女人跑国外卖春女来挣钱“强国”。 从日本幕府末年（1897年）开始，直到昭和初年（1920年），日本政府为了积累资金发展资本主义，曾把贩卖日本妓女到海外作为谋取外汇的一种不光彩手段。许多出身于下层贫苦人家的日本年轻女性，为了挣钱养家，或是为了替家里还债，被迫远离家乡到南 ...

256 次阅读|4 个评论 热度 13

分享 我心目中的AI大家与爱泼斯坦

testjhy 2025-11-24 23:59

这阵子为了爱泼斯坦案的信息公开，美国国内政治对抗愈演愈烈，川普第一次失去对象党的掌控力，他到底涉案多深，后面我们吃瓜看着。 在爱泼斯坦案件中，有不少科技界人物涉案其中，当年，最让我震惊的是马文明斯基(Marvin Minsky)，这个人工智能奠基人之一，横跨传统人工智能(现在又称认知模型)和神经网络(连接模型)两大方法 ...

293 次阅读|11 个评论 热度 25

分享 关于最近热映的电影“炸裂白宫”(A House of Dynamite)，看完感觉有点不知道想讲什么 ...

陈比尔 2025-11-23 09:35

那枚飞向芝加哥的导弹到底是谁发射的，中国，朝鲜，俄罗斯？ 敌对方到底是否事先已经渗透到美国破坏了高层的通讯网络？ 影片到底想表现什么：美国政府其实是个草台班子？花费5百亿美元的反导弹系统实际上只是自欺欺人？大难临头那些被人民赋予重任的领导层实际上也是先顾个人？ 几点感想： 应该会推出续集 ...

323 次阅读|6 个评论 热度 18

分享 AI辅助做定理证明的几点心得

唐家山 2025-11-20 16:40

1. 提前写出非形式的证明。这一点最关键。后面需要反复用这些非形式证明与AI进行交互，给出提示。 2. 相信AI的建模和构造能力，但是不要指望它们的自我纠错能力。如果AI提供的证明代码有问题，不要浪费时间在同一抽象层级反复询问AI。 3. 尽可能细化和分解自己的证明，降低证明的复杂度。 4. 如果已经证明到单句，可以 ...

206 次阅读|5 个评论 热度 17

本页有 1 篇日志因作者的隐私设置或未通过审核而隐藏