← Feed

Posts

• View post

  我对机器人还有什么自动驾驶没兴趣，也不懂。但中国现在几乎每年夏天的洪水都非常严重，什么时候这些东西能涉水冒雨搬个箱子背个人、开个摩托艇之类的？机器人救灾应该是一个特别实用的领域吧。

• View post

  一种当代民族性叙事：很多外国人喜欢看日本的电视，尤其那种全天动漫台，需求不小。于是有在日的老外租了服务器，建了个播放列表盗版推直播流。日本版权严格，所以大家长期默契，半地下传播也算快活。后来终于还是进了贼，列表被转发到一个俄国人那里，几乎完全照抄成他自己的，公开发出来，前段时间给老外招来了DMCA；老外蛰伏一个月，好不容易开了个备用服务器，自然逃不过已经盯上他，时刻准备薅羊毛的俄国人，小号盗走。 然后最新动向是，这个俄国人的列表又被中国人说成是“自己整理的”，三次转发还堂而皇之要捐赠。连俄国人自己都破防了，大骂fuck off. 老外感慨，虽然大家都是偷日本的好东西，但我不要名不要钱，自己倒贴给群内圈内享受，这个俄国王八蛋，我找不到是谁总把我的分享偷了给他，但他要名不要钱，我也就认了。中国人是他妈什么东西。

• View post

  六维球面复结构这个事足够大，感觉会成为简中理科生的一个AI版姜萍时刻。不是说它等于姜萍等于不靠谱，甚至恰恰相反，现在手拿着博士学位，声称这种写得一团糟的民科文章一个字也不看，也绝不会去验证，我凭什么给你的AI免费审稿，学术道德烂完了，谁再邀请回答就要拉黑的，反而才更像有点急眼，管不住潜意识里的焦虑了。从人为什么要做数学题，到人为什么要做看起来不像题的数学，国内外几十年上百年陈词滥调的讨论，终于被压缩在这两三年的时间里，告诉你这不是写哲学课小作文，你真要给答案，下注、想出路的。这是好事啊。

• View post

  简中传为翻译和图书引介佳话的GEB，如今看来很难说不过时了。当年没读完，也就算不了了之吧。 https://scottaaronson.blog/?p=10046

• View post

  堂堂千禧年难题，我吃了大半天的瓜，结果内外各个平台刷来刷去也就这么点讨论度，就几个人提供信息，比人人都说早已死透的文学都差远了，好心寒。人们真的不在乎数学。

• View post

  “AI这样拿着已有的点子暴力扫射，推土碾压，会导致大家最后都不发表自己的想法了。数学应该开源。”这话是不是首先应该跟80年代末的怀尔斯去讲呢？

• View post

  敬一丹也死了。期待柴静再做一期。

• View post

  引体向上一旦能做了，真的有点上瘾，像是唤醒了祖先的攀缘传统艺能，走过路过都要挂上去来几个。以后出道视频，就是按美国海军陆战队满分标准，23个死垂引体。

• View post

  我平板支撑到4分半了，怎么感觉屁股并没有明显大起来。

• View post

  费马大定理形式化项目被AI一举干掉之后，秃鹰老师没有破口大骂砸老子饭碗，或者都他妈是屎山slop，反而自陈为乐观派。理由若干，其中我认为最有趣的，是他不同意以最近很火的瑟斯顿所谓“数学的本质是人类理解”来续命。我对全文无保留地赞同。 https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/

• View post

  Buckmaster的小作文里提到，Luis Martínez-Zoroa值得一个菲奖。在整个爆炸新闻中，似乎一直没有看到这位西班牙青椒（三年前才拿到phd）自己出来发声，只有西语推特零星为他鸣不平，说西班牙不阔，青椒待遇也不咋地，课程任务重。现在他终于在陶哲轩的博客上跟导师合写了一篇。 https://terrytao.wordpress.com/2026/10/04/on-classical-solutions-and-singularity-formation-in-incompressible-fluids/

• View post

  挑战：在openai放出霍奇猜想的大新闻之前，再次试着啃下Voisin去年这篇38页，发在所谓“面向研究生”刊物上的介绍文章。 https://t.co/zEdLMmQbhv