今天

• 菜单
  我爱潜水 回复了 齐若散 的话题 2025年11月21日签到红包 58 秒前

  其他参与者:北京阿新, testjhy, 皇家骑警总监, 无言, helloworld, 赫然, mezhan, 马鹿, 黄序, 喜欢, 清凉山, 齐若散

• 菜单
  xiejin77 送了一个“鲜花”给 唐家山 的日志 AI辅助做定理证明的几点心得 2 分钟前

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

• 菜单
  testjhy：全运会快结束了，看了一下奖牌榜，山东浙江广东江苏福建前五，上海第六，组成了东南海防线， ，可惜的是原来的辽老大，落到第12名， 29 分钟前 (回复)
• 菜单
  testjhy 送了一个“鲜花”给 伯威 的日志 手欠一则：从Ventoy到开不了机到最终恢复 1 小时前

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

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

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

  其他参与者:赛泊, tanis

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

  其他参与者:晨枫

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

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

• 菜单
  喜欢 在 heinsect 的留言板留了言 6 小时前
• 菜单
  喜欢 在 如风如雨 的留言板留了言 6 小时前

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

• 菜单
  喜欢 在 逍遥探花 的留言板留了言 6 小时前

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

  其他参与者:有牙老虎, erict, landlord, helloworld, pcb, 我爱潜水

昨天

• 菜单
  我爱潜水 在 喜欢 的留言板留了言 昨天 20:38

  其他参与者:无言

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

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

  其他参与者:老票

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

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

• 菜单
  zhouzp 在 常挨揍 的留言板留了言 昨天 17:43

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

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

  9马上参与

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

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

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

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

  8马上参与

  手欠一则：从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 (回复)

• 菜单
  雷达：乒乓球那两个莎头好像现在有点引起公愤了，粉圈过头物极必反 昨天 06:02 (回复)

• 菜单
  asquyd：游泳比赛的电子显示牌上发现了一个奇怪的名字 昨天 03:11 (回复)

• 菜单
  无言 在 黄序 的留言板留了言 昨天 01:10

2025-11-19

• 菜单
  jellobean 回复了 齐若散 的话题 2025年11月19日签到红包 前天 23:46

  其他参与者:老票

• 菜单
  laser 回复了 北京阿新 的话题 2025年11月18日魁首 前天 22:14

• 菜单
  黄序 在 清凉山 的留言板留了言 前天 21:58
• 菜单
  黄序 在 testjhy 的留言板留了言 前天 21:58
• 菜单
  黄序 在 龙血树 的留言板留了言 前天 21:58