今天

• 菜单
  马鹿 送了一个“开心”给 唐家山 的日志 AI辅助做定理证明的几点心得 1 分钟前

  其他参与者:mezhan, 西行的风, 老票

• 菜单
  mezhan 送了一个“鲜花”给 伯威 的日志 手欠一则：从Ventoy到开不了机到最终恢复 19 分钟前

  其他参与者:老票, 唐家山

• 菜单
  我爱潜水 在 喜欢 的留言板留了言 半小时前

  其他参与者:无言

• 菜单
  我爱潜水 在 如风如雨 的留言板留了言 半小时前

  其他参与者:常挨揍, zhouzp, warbrai, 沉宝

• 菜单
  我爱潜水 在 zhouzp 的留言板留了言 半小时前

• 菜单
  西行的风 回复了 老票 的话题 正确积极的借题发挥，外交策略走向成熟灵活 半小时前

  其他参与者:老票
• 菜单
  西行的风 回复了 testjhy 的话题 从高中生到“院士候选人”，江苏科技大学郭伟造假案解析 1 小时前

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

• 菜单
  住在乡下：庖厨面前，万物平等 2 小时前 (回复)

• 菜单
  我是人间惆怅客 更新了自己的个人信息 3 小时前

• 菜单
  zhouzp 在 常挨揍 的留言板留了言 3 小时前

• 菜单
  赛泊 送了一个“开心”给 testjhy 的日志 火星探测的新方法 4 小时前

  其他参与者:jerf71

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

  其他参与者:tanis, 数值分析, jerf71

• 菜单
  唐家山 送了一个“鲜花”给 孟词宗 的日志 狸猫换太子？ 4 小时前

  其他参与者:jerf71

• 菜单
  唐家山 发表了新日志 4 小时前 (评论)

  5马上参与

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

• 菜单
  aahuan 回复了 齐若散 的话题 2025年11月20日签到红包 5 小时前

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

• 菜单
  晨枫 发表了新话题 5 小时前

  高市在火上烤的时候，美国溜号了
  日本防务省11月17日证实，部署在岩国基地的“堤丰”中程导弹系统撤了。这是为参加9月间美日的“坚毅之龙” 联合演习而部署的，9月11日进驻，9月15日公示，原计划 ...

• 菜单
  伯威 发表了新日志 6 小时前 (评论)

  4马上参与

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

• 菜单
  warbrai 在 asquyd 的留言板留了言 8 小时前

• 菜单
  有牙老虎 评论了 下山虎 的日志 土共这次的目标 9 小时前

  其他参与者:erict, landlord, helloworld, pcb, 我爱潜水, 老树, 西行的风, testjhy, semtex, 老票, 住在乡下, 李根

• 菜单
  沉宝 在 warbrai 的留言板留了言 9 小时前

• 菜单
  jerf71：开心又3。    10 小时前 (回复)
• 菜单
  jerf71：开心又3。    10 小时前 (回复)

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

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

• 菜单
  asquyd：游泳比赛的电子显示牌上发现了一个奇怪的名字 18 小时前 (回复)

• 菜单
  无言 在 黄序 的留言板留了言 20 小时前

昨天

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

  其他参与者:老票, aahuan, 皇家骑警总监, 老爷王

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

  其他参与者:aahuan, 皇家骑警总监, 老票

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

• 菜单
  鳕鱼邪恶：美甲哥咋进的国足？ 昨天 15:28 (回复)

• 菜单
  老票：库拉索（荷兰自治领）创历史的闯入世界杯！人口15万，领土400平方公里...     没听说过这地方吧？别急骂国足哈，这届意大利都悬乎了 昨天 15:28 (回复)

• 菜单
  johnsonjian 在 雷达 的留言板留了言 昨天 15:08

• 菜单
  数值分析 评论了 西行的风 的日志 高影响因子期刊发表的科研工作的一些感想 昨天 14:41
• 菜单
  数值分析 评论了 伯威 的日志 AI心理咨询一小例，有点意思。 昨天 14:39

• 菜单
  孟词宗：问：超跑现在都改电混而不是纯电？答：纯电的话，你想听“引擎的轰鸣”就只能用音响了。 昨天 13:10 (回复)

• 菜单
  皇家骑警总监 在 我爱潜水 的留言板留了言 昨天 12:06

• 菜单
  jerf71 送了一个“鲜花”给 鳕鱼邪恶 的日志 兔子愤怒的原因 昨天 11:29
• 菜单
  jerf71 送了一个“鲜花”给 喜欢就捧捧场 的日志 八条腿儿（5） 昨天 11:29
• 菜单
  jerf71 送了一个“鲜花”给 semtex 的日志 回乡偶感 2 昨天 11:28

展开

• 菜单
  jerf71 送了一个“鲜花”给 马鹿 的日志 2025回国散记-4 昨天 11:28
• 菜单
  jerf71：开心3。 昨天 11:18 (回复)

• 菜单
  李根：“为什么亲我这么多下？”“爸爸我好喜欢你，你和妈妈我都是百分之百的喜欢。”“那姐姐呢？”“姐姐我只有百分之五十一的喜欢，还差四十九。”       ... 昨天 11:05 (回复)