今天

• 菜单
  zhouzp 在 我爱潜水 的留言板留了言 4 小时前
• 菜单
  zhouzp 回复了 齐若散 的话题 2025年11月21日签到红包 4 小时前

  其他参与者:老爷王, 逍遥探花, 宁娜, 我爱潜水, 北京阿新, testjhy, 皇家骑警总监, 无言, helloworld, 赫然, mezhan, 马鹿, 黄序, 喜欢, 清凉山, 齐若散

• 菜单
  老爷王 送了一个“鲜花”给 雷达 的日志 减速，再减速 6 小时前

  其他参与者:groovy26, 赛泊

• 菜单
  云淡风轻 送了一个“膜拜”给 喜欢就捧捧场 的日志 八条腿儿（5） 6 小时前

• 菜单
  马鹿 在 熊掌 的留言板留了言 7 小时前
• 菜单
  马鹿 在 不成熟 的留言板留了言 7 小时前

• 菜单
  北京阿新：外交部发言人：“请日方自重” 7 小时前 (回复)

• 菜单
  雷达：小李子的“一战再战”不错，像是要号召美国人民起来革命的意思。尤其最后红脖子上校的结局挺狠。 7 小时前 (回复)

• 菜单
  龙血树：据说种花进步靠反华：已有川建国，拜振华， 如今又出现高统一 8 小时前 (回复)

• 菜单
  住在乡下 送了一个“鲜花”给 伯威 的日志 手欠一则：从Ventoy到开不了机到最终恢复 8 小时前

  其他参与者:testjhy, 药芯电弧焊, 赫然, pcb, mezhan, 老票, 唐家山

• 菜单
  住在乡下： 8 小时前 (回复)

• 菜单
  jerf71：开心5。 9 小时前 (回复)

• 菜单
  黄序 在 齐若散 的留言板留了言 9 小时前

• 菜单
  heinsect 在 宁娜 的留言板留了言 10 小时前
• 菜单
  heinsect 在 如风如雨 的留言板留了言 10 小时前

  其他参与者:喜欢, 我爱潜水, 常挨揍, zhouzp, warbrai

• 菜单
  heinsect 在 逍遥探花 的留言板留了言 10 小时前

  其他参与者:喜欢

展开

• 菜单
  heinsect 在 常挨揍 的留言板留了言 10 小时前

  其他参与者:zhouzp

• 菜单
  heinsect 在 mezhan 的留言板留了言 10 小时前
• 菜单
  heinsect 在 皇家骑警总监 的留言板留了言 10 小时前
• 菜单
  heinsect 在 喜欢 的留言板留了言 10 小时前

  其他参与者:我爱潜水

• 菜单
  landlord 送了一个“路过”给 唐家山 的日志 AI辅助做定理证明的几点心得 11 小时前

  其他参与者:xiejin77, testjhy, 松叶牡丹, 赫然, 马鹿, mezhan, 西行的风, 老票

• 菜单
  yanei：据说美提议，乌克兰割让顿巴斯全境，承认俄罗斯对克里米亚及其他被占领地区的主权，乌军上限40万，严禁外国军队驻扎，还有一些杂七杂八的。 11 小时前 (回复)

• 菜单
  testjhy：全运会快结束了，看了一下奖牌榜，山东浙江广东江苏福建前五，上海第六，组成了东南海防线， ，可惜的是原来的辽老大，落到第12名， 11 小时前 (回复)

• 菜单
  孟词宗：问：如何评价俞敏洪的“南极门”事件？答：据说，北大的平均智商是125，而俞的智商是110，他自己说的。 15 小时前 (回复)
• 菜单
  孟词宗：川总推出五十年房贷。问题是这只比三十年房贷月供低10% 而总利息则几乎翻倍。 怎么看这玩意儿就是个长租协议。 15 小时前 (回复)

• 菜单
  鳕鱼邪恶 回复了 晨枫 的话题 高市在火上烤的时候，美国溜号了 16 小时前

  其他参与者:晨枫

• 菜单
  松叶牡丹 回复了 testjhy 的话题 从高中生到“院士候选人”，江苏科技大学郭伟造假案解析 16 小时前

  其他参与者:西行的风, 老树, 数值分析, 鳕鱼邪恶, testjhy

• 菜单
  喜欢 在 heinsect 的留言板留了言 18 小时前

• 菜单
  无言 送了一个“开心”给 下山虎 的日志 土共这次的目标 18 小时前

  其他参与者:有牙老虎, erict

昨天

• 菜单
  我爱潜水 在 zhouzp 的留言板留了言 昨天 20:36

• 菜单
  西行的风 回复了 老票 的话题 正确积极的借题发挥，外交策略走向成熟灵活 昨天 20:15

  其他参与者:老票

• 菜单
  住在乡下：庖厨面前，万物平等 昨天 18:26 (回复)

• 菜单
  我是人间惆怅客 更新了自己的个人信息 昨天 17:58

• 菜单
  赛泊 送了一个“开心”给 testjhy 的日志 火星探测的新方法 昨天 16:58

• 菜单
  唐家山 送了一个“鲜花”给 孟词宗 的日志 狸猫换太子？ 昨天 16:43
• 菜单
  唐家山 发表了新日志 昨天 16:40 (评论)

  10马上参与

  AI辅助做定理证明的几点心得
  1. 提前写出非形式的证明。这一点最关键。后面需要反复用这些非形式证明与AI进行交互，给出提示。 2. 相信AI的建模和构造能力，但是不要指望它们的自我纠错能 ...

• 菜单
  aahuan 回复了 齐若散 的话题 2025年11月20日签到红包 昨天 15:37

  其他参与者:老爷王, 宁娜, 逍遥探花, mezhan, 黄序, 我爱潜水, testjhy

• 菜单
  伯威 发表了新日志 昨天 14:25 (评论)

  9马上参与

  手欠一则：从Ventoy到开不了机到最终恢复
  手欠开场：决定试试Ventoy。U盘装了Ventoy后塞了两个ISO进去，准备重启U盘启动试试。 Dell台式机该U盘无法启动，问了AI建议关掉secure boot。关掉后U盘重启成 ...

• 菜单
  warbrai 在 asquyd 的留言板留了言 昨天 12:57

• 菜单
  沉宝 在 warbrai 的留言板留了言 昨天 11:53

• 菜单
  jerf71：开心又3。    昨天 10:35 (回复)
• 菜单
  jerf71：开心又3。    昨天 10:35 (回复)

• 菜单
  testjhy：这一阵子，江苏科大的郭伟震惊科技界，我特意转发了水木社区的一篇文章，比较详细地介绍这件事， 昨天 07:27 (回复)