日志

分享 关于AI辅助交互定理证明

唐家山 2026-2-1 10:51

最近在做AI辅助的交互式定理证明，又有了一些新的发现： 1. AI带来的效率提升是有上限的。 2. 你做不到的，AI也做不到。 3. 多AI交互可能是处理复杂问题的最后尝试。 4. 终极解决办法还是要靠人自己。

40 次阅读|0 个评论 热度 8

分享 【跟风】MSFT

马鹿 2026-1-31 02:56

大黑蚊子原文 题外话， 这ID，让我想起广东的“烧甲”， 就是蟑螂， 不知道哪两个字， 我这个是普通话发音。当然南方的大黑蚊子也巨厉害！ MSFT 的股票我一直没买过， 从前是不买卖股票， 或者只有同事好友提醒我买的时候我才买， 很少主动买。 最近想买了的， 虽然它家AI确实拉胯， 虽然我很喜欢的它家ai ...

68 次阅读|7 个评论 热度 20

分享 MSFT大跌，因为啥？

大黑蚊子 2026-1-30 14:37

MSFT出了财报，其实看数字感觉都还好，为什么大跌？ 个人看法，两个原因，一个是AI太烂，另一个是安身立命之地很可能会被AI干翻。 MS的AI Copilot到底有多烂无需我多说，连GS出研报都只能捏着鼻子吹“其他家的AI模型都很强，但是贵，MS这个AI Copilot虽然烂，但是他便宜啊，又不是不能用”。 这话说的我都绷不住了，ToB的 ...

44 次阅读|2 个评论 热度 12

分享 奇怪的庭审，五味杂陈的安排

testjhy 2026-1-29 07:14

一、女儿大肚子要求离婚，爸爸竟然是女婿的代理人 四川某法庭正在开庭，一个三十多岁的女士以夫妻感情破裂，没有夫妻生活为由，申请与老公离婚。这个庭审有两个出人意外的情景，一是这个女士已经怀孕，肚子明显鼓了起来，法官说没有夫妻生活，你肚子里的孩子是谁的？女士说不是现在老公的，是别人的。二是被告因为重病卧 ...

404 次阅读|1 个评论 热度 31

分享 外电今天报道张案的最新消息

陈比尔 2026-1-29 03:36

Gen. Zhang Youxia, vice-chairman of the Central Military Commission and once a close ally of President Xi Jinping, is under investigation for allegedly leaking technical data on China’s nuclear weapons to the US. The Wall Street Journal reported that the claims emerged during a closed-door briefin ...

553 次阅读|5 个评论 热度 22

分享 关于补贴人口增长的措施

随机微分算子 2026-1-28 20:15

回晨大的“ 如果国家出钱补贴人口增长 ”的帖子，写得比较长，就单独发一个帖了。 ———————————————————————————————— 这里面的措施哪一项是国家出钱了，全部都是慷他人之慨，让用人单位去承担了。（现在鼓励生育的政策很多就是这样，作为中央政府，自己不出钱，都让别人出钱了）。真这 ...

167 次阅读|5 个评论 热度 20

分享 人老心不老

testjhy 2026-1-27 05:38

前面日志说过，在标准池里游1500米挺艰难的，上次日志里的图片是在游了一阶段后选了一个成绩最好的，40'20"。后面成绩一直没有太多进展，在40'~42'之间变化，期间还有几次累得大腿抽筋。今天终于突破了，39'29"，成绩提高不少，原因吗？嘿嘿，让大家嘲笑嘲笑吧，美女带的， 话说今天下水后，前面2-3圈也正常，好 ...

340 次阅读|14 个评论 热度 36

分享 矫情没用处

龙血树 2026-1-26 00:11

　　　　　　　 　　　　　　　　　　　 　　　　　　　　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　　　　　　　 　　　　　　　　　　　　　　　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ...

96 次阅读|20 个评论 热度 22

分享 狗AI分析张又侠，存档

龙血树 2026-1-24 16:55

　　　　　　　 　　　　　　　　　　　 　　　　　　　　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　　　　　　　 　　　　　　　　　　　　　　　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ...

74 次阅读|4 个评论 热度 15

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