今天

• 菜单
  风雨无阻 送了一个“鲜花”给 唐家山 的日志 关于AI辅助交互定理证明 19 分钟前

  其他参与者:moletronic, 五月, mezhan, zhouzp, semtex, 赫然, landlord

• 菜单
  皇家骑警总监 在 warbrai 的留言板留了言 半小时前

  其他参与者:常挨揍, 龙血树, 笑羽, togo

• 菜单
  皇家骑警总监 回复了 齐若散 的话题 2026年2月1日签到红包 半小时前

  其他参与者:zhouzp, 老爷王, 常挨揍, 赫然, 逍遥探花, testjhy, 宁娜, landlord, 喜欢, 马鹿, helloworld, mezhan, 清凉山, 黄序, 齐若散

• 菜单
  忧郁金桥 回复了 老票 的话题 我开了20年大巴，在西甲摆大巴很正常吧？ 半小时前

• 菜单
  warbrai 在 zhouzp 的留言板留了言 1 小时前
• 菜单
  warbrai 在 semtex 的留言板留了言 1 小时前

  其他参与者:马鹿

• 菜单
  五月 回复了 晨枫 的话题 深圳会划为直辖市吗 1 小时前

  其他参与者:pcb, 无言, moletronic, 晨枫

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

  轰炸机能取代海上决战吗
  在说到中美航母海上对决的时候，有人提出，可能都轮不到美国航母出战，美国轰炸机就把中国航母解决了。B-52、B-1、B-2、B-21携带的大量LRASM早就从远距离上密集 ...
• 菜单
  晨枫：法国式浪漫拉扯真是很法国。总算看到电影《芳芳》，好莱坞拍不出这样的。苏菲·玛素年轻时真好看，Vincent Perez看着眼熟，原来是《印度支那》里的 7 小时前 (回复)

• 菜单
  龙血树 回复了 indy 的话题 未来已经到来？ 2 小时前

  其他参与者:五月, 赫然, 方恨少, 黑洞的颜色
• 菜单
  龙血树 在 我爱潜水 的留言板留了言 2 小时前
• 菜单
  龙血树 在 黄序 的留言板留了言 2 小时前

展开

• 菜单
  龙血树 在 mezhan 的留言板留了言 2 小时前
• 菜单
  龙血树 在 笑羽 的留言板留了言 2 小时前
• 菜单
  龙血树：竟然拿到签到奖励 14 小时前 (回复)

• 菜单
  笑羽 在 蓦然回首 的留言板留了言 2 小时前
• 菜单
  笑羽 在 重重无尽 的留言板留了言 2 小时前
• 菜单
  笑羽 在 smileREGENT 的留言板留了言 2 小时前

展开

• 菜单
  笑羽 在 西行的风 的留言板留了言 2 小时前
• 菜单
  笑羽 在 游泳的鱼 的留言板留了言 2 小时前
• 菜单
  笑羽 在 landlord 的留言板留了言 2 小时前
• 菜单
  笑羽 在 松叶牡丹 的留言板留了言 2 小时前
• 菜单
  笑羽 在 龙血树 的留言板留了言 2 小时前
• 菜单
  笑羽 在 老票 的留言板留了言 2 小时前
• 菜单
  笑羽 在 宝贝小猪 的留言板留了言 2 小时前

• 菜单
  togo：在超市买了一大盒荔枝才二十几人民币，太美味了，一边干活一边吃荔枝当零食   还琢磨岭南到长安的距离，快递几个小时能到 2 小时前 (回复)

• 菜单
  住在乡下 回复了 晨枫 的话题 俄罗斯游客春节赴华预订单增471% 2 小时前

  其他参与者:五月, 方恨少, 陈比尔, 晨枫
• 菜单
  住在乡下：诸位LLM听了该兴奋了！家政妇，未亡人，姐妹花！老伤拖累，扫除请家政，彻底一点2个人的活。人妻送午饭 3 小时前 (回复)

• 菜单
  老爷王 送了一个“鲜花”给 马鹿 的日志 【跟风】MSFT 3 小时前

  其他参与者:johnsonjian, 五月, helloworld, 北京阿新, 我爱潜水

• 菜单
  无言 回复了 mingxiaot 的话题 由粟裕不封帅聊聊政委的作用（2） 3 小时前

  其他参与者:hsb, 陈比尔, mingxiaot

• 菜单
  常挨揍 回复了 晨枫 的话题 提高出生率能靠花钱吗 3 小时前

  其他参与者:semtex, 方恨少, 随机微分算子, 可梦之, 晨枫
• 菜单
  常挨揍 送了一个“鲜花”给 大黑蚊子 的日志 MSFT大跌，因为啥？ 4 小时前

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

  8马上参与

  关于AI辅助交互定理证明
  最近在做AI辅助的交互式定理证明，又有了一些新的发现： 1. AI带来的效率提升是有上限的。 2. 你做不到的，AI也做不到。 3. 多AI交互可能是处理复杂问题的最 ...

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

• 菜单
  陈比尔 回复了 mingxiaot 的话题 由粟裕不封帅聊聊政委的作用(1) 6 小时前

• 菜单
  鳕鱼邪恶：所以，达赖在西方“精英”圈子很吃得开， 是因为同类相聚， 都喜欢用高达零部件做器具？ 6 小时前 (回复)

• 菜单
  马鹿 在 无言 的留言板留了言 14 小时前

昨天

• 菜单
  老票 回复了 喜欢 的话题 2026.01.30 满贯红包 昨天 22:17
• 菜单
  老票 回复了 无言 的话题 20260131满贯 昨天 22:16

  其他参与者:老爷王, jerf71
• 菜单
  老票 回复了 齐若散 的话题 2026年1月31日签到红包 昨天 22:11

  其他参与者:老爷王

• 菜单
  领班军机 送了一个“雷人”给 landlord 的日志 前前同事又去法庭打官司了 昨天 17:16

• 菜单
  数值分析 回复了 晨枫 的话题 如果美国军事入侵加拿大 昨天 13:24

• 菜单
  togo 送了一个“感动”给 随机微分算子 的日志 关于补贴人口增长的措施 昨天 13:03
• 菜单
  togo 送了一个“感动”给 陈比尔 的日志 外电今天报道张案的最新消息 昨天 13:02
• 菜单
  togo 送了一个“感动”给 testjhy 的日志 奇怪的庭审，五味杂陈的安排 昨天 13:02