今天

• 菜单
  方恨少 送了一个“鲜花”给 唐家山 的日志 AI辅助做定理证明的几点心得（续） 13 分钟前

  其他参与者:testjhy, mezhan, 老票, 马鹿, 石璧

• 菜单
  方恨少 送了一个“鲜花”给 semtex 的日志 江湖大佬 15 分钟前

  其他参与者:长叶林, 马鹿, mezhan

• 菜单
  皇家骑警总监 回复了 齐若散 的话题 2025年12月3日签到红包 17 分钟前

  其他参与者:无言, mezhan, 宁娜, jellobean, helloworld, 喜欢, 黄序, 马鹿, 清凉山, 齐若散

• 菜单
  mezhan 在 沉宝 的留言板留了言 1 小时前
• 菜单
  mezhan 在 黄序 的留言板留了言 1 小时前

• 菜单
  helloworld 送了一个“鲜花”给 龙血树 的日志 西媒高纪律性地不报道封存，。。。十四亿人吸毒的大蛋糕 ... ... ... ... ... ... ... ... 2 小时前

  其他参与者:长叶林, 北京阿新, 黄序, testjhy, mezhan, 松叶牡丹, 老票, 石璧, 我爱潜水, 方恨少

• 菜单
  semtex 发表了新日志 2 小时前 (评论)

  4马上参与

  江湖大佬
  这半年我老妈生病，因为病比较少见，花了很长时间诊断。我也一直在医院陪床。 住院要做很多检查，尤其老妈这种疑难杂症。她做检查有一个现实的困难，当时医 ...

• 菜单
  鳕鱼邪恶：日本继烧了一个社区之后，钢铁厂发生爆炸。。忽然想起，低烈度战争形式应该也包括特务破坏吧？东亚三国最近火灾一个连一个，棒子最大的. 2 小时前 (回复)
• 菜单
  鳕鱼邪恶：兔子用机器人在中印边境站岗，被阿三拍下来放网上了～ 3 小时前 (回复)

• 菜单
  齐若散：[landlord]2025年12月1日首5? http://www.aswetalk.net/bbs/plugin.php?id=luckypacket&pid=6626 3 小时前 (回复)

• 菜单
  林美好 送了一个“鲜花”给 semtex 的日志 回乡偶感 2 3 小时前

  其他参与者:如风如雨

昨天

• 菜单
  林美好 送了一个“鲜花”给 马鹿 的日志 2025回国散记-1 昨天 23:51

• 菜单
  孟词宗：DeepSeek 3.2 正式版和特别版发表了。 昨天 23:06 (回复)

• 菜单
  黄序 在 heinsect 的留言板留了言 昨天 22:30

  其他参与者:常挨揍

• 菜单
  landlord 送了一个“路过”给 陈比尔 的日志 关于老式三星掌上电脑请教过来人 昨天 22:24

  其他参与者:testjhy, 石璧, xiejin77, mezhan, 伯威, 赫然

• 菜单
  testjhy 送了一个“雷人”给 可梦之 的日志 日本人的一根筋初窥 昨天 22:17

  其他参与者:蓦然回首, 九麟居士, 龙血树, tanis, 水风

• 菜单
  heinsect 在 testjhy 的留言板留了言 昨天 21:07

  其他参与者:马鹿

• 菜单
  方恨少 回复了 晨枫 的话题 放雪假：孩子欢乐大人愁 昨天 19:06

  其他参与者:随机微分算子

• 菜单
  唐家山 发表了新日志 昨天 18:56 (评论)

  7马上参与

  AI辅助做定理证明的几点心得（续）
  受蚊行启发，我也开始同时用DeepSeek和Gemini辅助进行定理证明。有时候让它们进行交叉验证。 Gemini给出的证明框架更简洁，DeepSeek对证明细节的把控更好。 如 ...

• 菜单
  xiejin77 回复了 晨枫 的话题 中国人这次为什么不抵制日货了 昨天 15:25

  其他参与者:可梦之, 陈比尔
• 菜单
  xiejin77 回复了 大黑蚊子 的话题 论AI的“比学赶帮超” 昨天 13:59
• 菜单
  xiejin77 发表了新话题 昨天 13:37

  消失的私钥：一场被数学逻辑困死的选举
  消失的私钥：一场被数学逻辑困死的选举 偶然之间看到了一条新闻，却忍不住刨根问底的溯源了一下；也许是因为我之前研究了好久基于隐私计算的电子投票系统的缘故 ...

• 菜单
  龙血树 发表了新日志 昨天 13:59 (评论)

  12马上参与

  西媒高纪律性地不报道封存，。。。十四亿人吸毒的大蛋糕 ... ... ... ... ... ... ...
  　　 　　　　　　　 　　　　　　　　　　　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ...

• 菜单
  马鹿 在 zhouzp 的留言板留了言 昨天 12:44

  其他参与者:皇家骑警总监

• 菜单
  马鹿 在 逍遥探花 的留言板留了言 昨天 12:42

• 菜单
  zhouzp 回复了 齐若散 的话题 2025年12月2日签到红包 昨天 12:44

  其他参与者:宁娜, 老爷王, 逍遥探花, 皇家骑警总监, testjhy, 我爱潜水

• 菜单
  逍遥探花 在 我爱潜水 的留言板留了言 昨天 11:18
• 菜单
  逍遥探花 在 宁娜 的留言板留了言 昨天 11:18
• 菜单
  逍遥探花 在 无言 的留言板留了言 昨天 11:11

展开

• 菜单
  逍遥探花 在 皇家骑警总监 的留言板留了言 昨天 11:11

  其他参与者:warbrai, 无言

• 菜单
  warbrai 在 可梦之 的留言板留了言 昨天 11:15
• 菜单
  warbrai 在 伯威 的留言板留了言 昨天 11:14
• 菜单
  warbrai 在 小书童 的留言板留了言 昨天 11:13

展开

• 菜单
  warbrai 在 鳕鱼邪恶 的留言板留了言 昨天 11:13

• 菜单
  如风如雨 送了一个“鲜花”给 马鹿 的日志 2025回国散记-6 昨天 10:52
• 菜单
  如风如雨 送了一个“鲜花”给 indy 的日志 倭岛有事，蛙岛有事 昨天 10:51

• 菜单
  皇家骑警总监 在 喜欢就捧捧场 的留言板留了言 昨天 10:31
• 菜单
  皇家骑警总监 在 马鹿 的留言板留了言 昨天 10:31
• 菜单
  皇家骑警总监 在 mezhan 的留言板留了言 昨天 10:31

• 菜单
  sleepyr 回复了 晨枫 的话题 如果日本不发动珍珠港偷袭 昨天 10:27

  其他参与者:赫然, 陈比尔

• 菜单
  jerf71：开心1。 昨天 10:22 (回复)

• 菜单
  三力思 回复了 晨枫 的话题 关于钍堆上舰：再请T教授、沉宝兄和其他爱友指教 昨天 10:14

• 菜单
  陈比尔 发表了新日志 昨天 08:47 (评论)

  8马上参与

  关于老式三星掌上电脑请教过来人
  最近收拾房间，竟然翻出一台老式的三星TabE掌上电脑。但发现两个问题： 1，无法安装今日头条的APP，系统提示“此应用与您的手机不兼容”，难得北美的三星掌上电 ...

• 菜单
  凡卡：BBC中文一天连发几十个视频贴文说香港大火，这是又看到能下蛆的地方了 昨天 08:00 (回复)