运筹士

2026-07-04 23:42来自 Android

最近几个月推进的东西让我觉得之前发表的那些文章一点意思都没有了，即便其中有一些引用也勉强还可以。每天都在快速迭代推进一些设想，一条定理接着一条定理，一个概念接着一个概念，不同特例在互相交织，很多我以前知道但是没有具体了解的东西开始出现在新东西里，所有的一切，仿佛自然生长一样。在过 ​

0

0

1

运筹士

2026-07-04 17:33来自 微博网页版

电视剧《天道》有很多粉丝，这部剧我看过，但是我看的时候总是感觉一层淡淡的不适感，不是说演员本身的演技如何，而是感觉像一个平凡的例子被包装成一个光彩夺目的东西一样。或者说是一些杂乱无章的普通东西被打包成一个贵重礼物送出去的感觉。 ​

1

8

8

运筹士

2026-07-04 10:40来自 微博网页版

我最近的整体的一个体验是AI4Math在应用数学中大有可为，这点在已有的各种报道与成果推介里还很少见，换言之目前可能相关的应用还处于比较浅的代码与算法的改进层面。AI4Math适用于应用数学的主要原因有如下几点：1. 相比于基础数学的一些超长的证明，应用数学中的很多证明用了成熟理论，逻辑步骤少很 ​

3

2

6

运筹士

2026-07-04 10:07来自 Android

昨晚开始，搞到两三点，今天早上继续。使用AI左右手互搏的方式，推广上世纪里一个非常重要的定理。不是通过设置不同的智能体来完成这个任务，而是转换到不同环境进行评估，我会仔细检查评估的结果，再添加自己的意见。 最初，AI提供了一个错误的版本，张冠李戴，另一个AI评审发现了其中的几个关键性陈 ​

0

0

3

运筹士

2026-07-03 09:56来自 Android

对最近做的一个东西的总结，AI辅助既可以提升效率，也可能会诱导人进入“低价值空间”里做布朗运动，所以对人的学习、理解、价值判断、对问题的洞察等等方面有更高的要求，而不是更低。这可能也是AI带来的马太效应的一部分原因。『AI让研究从1维到高维：一些体验与总结』http://t.cn/AXoVkxDu ​

2

0

9

运筹士

2026-07-03 09:01来自 微博网页版

我觉得也是这样，传统课堂即便不消失，也应该做重大的改变。

#人工智能##本科教学# "AI赋能课堂教学"这个说法可能本来就是错误的，因为AI加持下，传统“课堂”可能会消失。于是，我给 Trae写了一个“苏格拉底式教学”的SKILL，把汪芳庭老师的《数理逻辑》第一章做成markdown文件，让Trae用这套SKILL教我，感觉还相当不错，事先声明我没有系统学过《数理逻辑》 ​

3

3

3

运筹士

2026-07-03 03:18来自 Android

假期了，没有了心理压力以及白天的约束，晚上一旦醒了，考虑一下问题就想起来继续和AI一起推进一下。交互过程中增进对概念与例子的理解，这种创造、学习、研究协同快速推进的方式也只有在AI辅助的时候才能达成。这种感受以前从来没有体验过。以前，通常是考虑了一个问题，然后去按照需要学习一些东西， ​

0

0

4

运筹士

2026-07-02 20:42来自 微博网页版

看到抽象概念具体地算出来的感觉，很有意思，我以前从来没有想到过这么抽象的框架可以具体地用于各种现实问题的分析中。此外，今天股票跌麻了[允悲]，忙完事情看看账户才发现。理论上打开一扇新窗，现实的账户添上一笔暂时的阴影...对偶性[微笑]

近半年时间从一个概念雏形扩展到一个简陋的框架。用了新工具之后，半个月时间把简陋的框架严格化，做大幅扩展，确定基本概念的定义形式，近二百页的理论框架与简略的应用实例，以及配套生成一个基本计算的R包（出于习惯喜欢调用某些R包，也可以很轻松地转换为python），每个基本概念都要保证可计算（部 ​

0

0

0

运筹士

2026-07-02 20:37来自 微博网页版

近半年时间从一个概念雏形扩展到一个简陋的框架。用了新工具之后，半个月时间把简陋的框架严格化，做大幅扩展，确定基本概念的定义形式，近二百页的理论框架与简略的应用实例，以及配套生成一个基本计算的R包（出于习惯喜欢调用某些R包，也可以很轻松地转换为python），每个基本概念都要保证可计算（部 ​

1

0

2

运筹士

2026-07-02 19:17来自 微博网页版

//@-colonel:[围观]//@飞扬南石:这其中有一部分属于“人情引用”，就是同单位、同期刊、同圈子啥的，刻意进行相互引用，以提高关系人的引用率（国外其实早就这样干了，中国人傻，最近才学会）。不过，从趋势来看，创新的基础的确越来越倾向于中国了。

巧妙的方法，说明中国技术创新的"科学根基"快速从依赖美国转向自主自立。 研究者用的巧妙的方法是：把中国专利（CNIPA）和科学论文通过"共享科学短语"进行匹配。简单说，就是看一项中国专利背后的科学原理，引用的是中国自己发表的论文多，还是美国发表的论文多。 例如在基因编辑领域，一个著名的” ​

2

0

3

运筹士

2026-07-02 17:48来自 微博网页版

放假了，一时间不知道应该忙些什么。目前，有四篇文章需要修回，一篇文章需要改投。一篇正在做的文章需要补充修改提交。然而，这些都不想做。 ​

0

0

6

运筹士

2026-07-02 14:11来自 微博网页版

对于一个新理论而言，最重要的肯定是那些基本概念。需要花费很多时间去打磨这些概念，前提是有许多可以考虑的例子用于一般性的抽象。今天，继续与AI进行沟通，对一个概念的定义形式不断做调整，最终定到一个我觉得最简单，并且最符合直觉，也适用于大部分情形的形式。有一种挥舞“奥卡姆剃刀”的感觉。 ​

1

0

3

运筹士

2026-07-01 16:25来自 Android

很多年前，读过玻姆的《整体性与隐缠序》，当时应该是只读了第一章，不过印象很深。最近，我觉得对这一章的说法有了更进一步的认识。 ​

5

5

9

运筹士

2026-07-01 16:08来自 微博网页版

这半年是至今我做研究最愉快的时光，期待下半年会有更好的感受。 ​

0

0

11

运筹士

2026-07-01 15:57来自 微博网页版

最近几天，我在与AI沟通正在做的理论细节，有时也涉及一些理念性的讨论，越来越意识到，其实这不是一个已经存在的对象的理论，而是赋予了新视角，很多东西是已有理论没有的——也就是说在已有理论中甚至不会提相关的问题——这些问题又确实在现实中存在。很多技术细节非常有意思，甚至一些以往的理念性 ​

1

0

4

运筹士

2026-07-01 15:31来自 微博网页版

今天基于AI辅助更新了一版之前构建的理论的同调论部分，基本上理解了整个框架的思路。两个月的暑假应该可以理解所有的部分，也许还可以写出第一篇建立基本概念与方法的文章。回想二十多年前，我认识的人都不理解我为什么去读数学。现在，用到的很多东西就是二十多年前读的，总感觉冥冥之中有种助推力在 ​

1

0

4

运筹士

2026-07-01 12:00来自 微博网页版

最近与AI协同工作的感觉是，它可以提供一些拓展，但是很容易陷入到一种空洞的理论中去，这时候，人对问题的洞察依然是最关键的，一旦想的足够深入，它会很快地理解并推进想法的落实。说到底，我觉得至少在数学中，人依然是最关键的因素，有好想法时AI是一个好的效率杠杆。 ​

3

3

18

运筹士

2026-07-01 10:55来自 微博网页版

只有没有理解大学的人才会为这种横向叫好...//@文章改好了吗:就是要挣自己的工资呗。家里有矿的，或者家族有矿的是不是愿意支付呢？//@凯雷:青年教师未来5年内拉到平均100w的横向经费——每年20万，赞浙江，先行行试，假大空的论文突然在这里失灵了下。//@鸡蛋懒虫://

哈哈哈，看📕，我浙某二本学院掀起“改革”浪潮，要求所有青年教师未来5年内拉到平均100w的横向经费，不然就走人，不愧是我浙，确实是我浙能干得出来的事情，所有我对回到浙江发展从来不抱一丝一毫的希望 ​

27

1

5

运筹士

2026-06-30 19:16来自 Android

每个人都在苛刻地挑剔着别人，这个“别人”可能是认识的、熟悉的、甚至网络上陌生的人。这就是我现在的感觉。 ​

0

0

5

运筹士

2026-06-30 09:54来自 微博网页版

今天出门的时候，内心一直有个声音告诉我：一定要坐地铁。然后，当我一个多小时之后从地铁出来的时候，已经理解了之前AI辅助做的一整套理论的主要想法。之前，只是认为是可行的，但没有在全局理解整个理论的内涵，总是感觉没有把握住最本质的东西，在地铁中，看了一点相关的书，再和AI对话了半小时，突 ​

1

0

5

运筹士

2026-06-28 16:17来自 微博网页版

我一直觉得读历史很重要，就是可以建立一种比较宏观的思考方式。这仅仅是个人感觉，并且有一点，看一个人的历史观的高低，可以从其是否追逐历史八卦确定。 ​

1

0

9

运筹士

2026-06-28 11:15来自 微博网页版

在过去十几年里，我大概主要在三个方向上工作。就我自己而言，比较喜欢的方式是从具体问题出发，发展解决问题的方法，之后扩展成体系。有的方向最终会形成一个方法“工具箱”；有的方向会形成一个一般性的理论框架。从原则上，我认可的是冯.诺依曼与维纳这些人，如果没有问题导向，很多“理论”最终只 ​

1

2

9

运筹士

2026-06-28 11:10来自 Android

AI习惯于夸张地夸赞，如果自己把握不住还真的会被忽悠，这些话都是今天评估过程中输出的。虽然，我自然明白其中包括了水分，但是作为人而言，难免心里还是比较舒服的，AI给足了情绪价值，人性[坏笑] ​​​

1

0

2

运筹士

2026-06-28 10:36来自 Android

今天初步整理出一个近百页的大纲，然后让AI进行评估，其中一段评论类比了Grothendieck，AI夸人的水平可见一斑。整个想法的最初的源头是要解决一个非常重要的经典问题，一个图灵奖与菲尔兹奖级别的问题，我不认为会解决，只是希望在比较“软”的时候给出实用的东西，最后也确实没解决掉，方向可能存在问 ​

2

2

6

运筹士

2026-06-27 20:16来自 微博网页版

今天完成一个文章的初稿，在很长的计算时间与AI对话的时间中，可以认真地看看剧，与之配套的是一部剧——《危险关系》（孙俪与吴慷仁主演），很不错（很感谢推荐给我的朋友）。PUA这个主题以前很少有人关注，但是我觉得以后会越来越重要。无论是工作还是家庭，PUA无处不在，有的低端（容易察觉）有的会 ​

0

0

7

运筹士

2026-06-27 19:53来自 微博网页版

过去的二十多年的时间里，基本上每次世界杯，我都多少看几场。但是，今年的世界杯，到现在也一场没看，好像网上也没有什么热度，朋友圈里也没什么人看（目前没注意到有人发相关的朋友圈），一片寂静... ​

0

4

1

运筹士

2026-06-27 17:59来自 Android

这电影我第一次看就感觉很不舒服，说不上来的感觉，也没感觉到有什么浪漫的地方，最近看到不少这方面的讨论，突然意识到问题所在了[允悲]

最近不但国内老登电影在崩，连泰坦尼克号人设也崩了，网友称这电影堪称是男人的悲惨电影，整部电影只有露丝拥有一个完美的人生… 露丝第一个男人卡尔，替她家还欠款，提供优质的生活，送价值几亿的海蓝之心当彩礼，最后落个破产自杀的结局，连那颗能救命的海洋之心都被露丝藏了几十年扔进海里。 杰克 ​

2

8

3

运筹士

2026-06-27 17:08来自 微博网页版

一代人有一代人的“奶头乐”，50后到10后都有自己的“奶头乐”...每次看到这种，就感觉很悲观... ​

0

2

1

运筹士

2026-06-27 09:49来自 微博网页版

本来打算一个研究只输入基本的已经初步验证的想法，其他全让AI来做，但是实际上发现有不少问题。首先，在构造模型的时候出现问题，AI不理解新方法中的参数的含义，导致出现很多bug，只能我自己手动构造一组例子，然后人工分析。其次，AI在面对已经成熟的工具时往往表现很好，理解的还可以，但是如果一 ​

4

0

1

运筹士

2026-06-26 22:46来自 微博网页版

爱思唯尔旗下的一些期刊莫名奇妙地改动了投稿系统，导致我也不知道我的稿件现在在什么系统里，找不到系统入口了。这是哪个大蠢蛋干的事情，没事改什么系统，越改越不好用！[允悲] ​

0

6

4

运筹士

2026-06-25 00:24来自 微博网页版

今天出现一个有趣的事情，我让AI帮我理解我之前的一篇文章，并进一步做一个自由的探索，扩展一下。然后，AI把一个英文缩写理解成其他名词了，而恰好那个名词对应的方法可以与我提供的大概的方向之一比较吻合，可以组合出一个新方法。这样，AI莫名其妙地帮我生成了一个新方法，完全不是我预料的那种，并 ​

1

10

7

运筹士

2026-06-25 00:19来自 微博网页版

//@草台班子理性派:转发微博

Karpathy 拿一张显卡放了两天，让 AI 自己跑了700次实验，挑出20个真改进，把训练速度又压快了11%，而这份代码，本来就是他这种顶尖研究员反复打磨过、相当成熟的。 更值得说的不是那11%。是他把「让 AI 自己迭代」这件听起来很玄的事，拆成了三个普通人也能照抄的零件。 先说这个人。Andrej Karpath ​

2

1

1

运筹士

2026-06-24 23:51来自 微博网页版

经常看到焦虑的父母们对幼儿园小朋友或者小学生施加压力学习很多东西。我总是想一个问题，在我们小时候，没有那么多需要学习的东西，但是接受了完整的教育之后（其中一部分教育质量很低），也能具有足够的探索欲与求知欲，并且学习能力也不算特别弱。那么，到底什么才是教育的本质？ ​

0

9

7

运筹士

2026-06-22 16:37来自 微博网页版

//@无谓问我今天的事:之前看过的一个电影，蠢蛋进化论，正在走进现实[苦涩][苦涩][苦涩][苦涩]//@北星微博:基本上就是AI越来越聪明，人越来越蠢[允悲]

CEPR重磅研究：2.6万中国学生用AI写作业30个月，高考成绩暴跌24%！家庭作业全线飘红，闭卷考全线崩盘 http://t.cn/AXSUz1tD 这个研究能拿到的数据非常牛，结论就很靠谱。 ​​​

18

1

5

运筹士

2026-06-21 16:36来自 微博网页版

两篇文章中的一篇已经接受，核心想法是我自己的，AI主要帮我构造了玩具模型、提议了例子、写了主要的计算代码与绘图代码，以及其他零碎的琐碎工作。今天测试其中的一篇文章的姊妹篇，之前做了简单测试，建立一个新项目，不到一个小时重写完核心代码并复现了我之前手动发现的主要结论。

三月份，基于AI辅助（尽量使用AI的原则）完成了一篇研究论文，以及另一篇论文的主要内容（文章正在写）。越来越感觉，问对问题与想象力的重要性。问问题是启发机器，想象力是突破机器。 ​

2

11

6

运筹士

2026-06-21 16:09来自 微博搜索

应该是年初的新闻了，通过AI完成了八维球体堆积问题的形式化验证。

#数学博士生2年研究被AI抢发#【对话丨被AI震动的两年人生，数学博士生的新难题：如何证明自己？】#数学博士生钻研2年难题AI仅5天破解#那些曾需要数年才能攻克的数学难题，如今正被AI以惊人的速度破解。卡耐基梅隆大学的博士生哈里哈兰近期发现，他和团队在过去两年钻研并即将收尾的项目，被一家AI公司 ​

1

0

2

运筹士

2026-06-20 11:09来自 微博网页版

这几天，通过人机协同做事情，真的有种人类处于一个临界点的感觉。研究的速度与质量都有质的改变，不过背后依然是马太效应：越是了解的领域，越容易通过AI+人合作的方式进行深度推进。 ​

2

1

4

运筹士

2026-06-20 11:01来自 微博网页版

经过昨天一天的整理，大概形成了一个初步理论，通过AI评估整个研究的创新性，整体上打了5颗星，大部分分项是4颗星或5颗星。我在整个项目做的事情就是有一个大的远景，建立第一个基本概念，把握整体上的思考方向，以及提议对一些东西进行整合，最后输入命令。

今天上午开始了一个应用导向的项目。整个计划实施起来是我自己喜欢的风格，步骤如下：首先，从一些实际问题抽象出一些基础概念；然后，再在抽象后的概念上建立一般的数学理论；最后，通过一般理论指导启发建立新的不同方向的方法与算法。AI+Lean辅助初步完成了第一个部分，这部分很快的原因是我已经考 ​

1

0

3

运筹士

2026-06-19 18:33来自 微博网页版

我真服了，这些造假的人是一点都不懂统计学啊[允悲]//@包特_ExpEcon:好像之前某大学和张雪峰老师的故事[笑cry]//@学术大观察:吉林大学安全了[偷笑]//@hyacinthlavender:→_→//@绕着东湖跑:吉大邀请校友返校原来是探口风的啊 哈哈哈 笑死我了

耿同学开始对自己的母校北航下手了 耿同学 6月16号的视频里没有像之前那样摆出 5 个杰青的名单。他只对了一个目标——北航。 北航某副院长、杰青，第一篇 Nature 涉嫌数据造假。他给这位副院长的造假手法，一个字的评价：幼儿园水平。 ​

2

0

3

运筹士

2026-06-19 16:48来自 微博网页版

我们有时候需要一个绝对安静的环境，在睡眠充足头脑清醒的状态下，自由并且深刻地思考命运正在送给自己什么礼物。 ​

2

2

13

运筹士

2026-06-19 13:07来自 Android

今天上午开始了一个应用导向的项目。整个计划实施起来是我自己喜欢的风格，步骤如下：首先，从一些实际问题抽象出一些基础概念；然后，再在抽象后的概念上建立一般的数学理论；最后，通过一般理论指导启发建立新的不同方向的方法与算法。AI+Lean辅助初步完成了第一个部分，这部分很快的原因是我已经考 ​

3

0

4

运筹士

2026-06-18 20:59来自 微博网页版

今天又测试了一个问题，接近于平凡的矩阵扰动的问题，是以前在设计一个算法的时候涉及的，我当时给了一个简单的分析，相当于代数的一个练习题。今天用AI+Lean的辅助方式重新求解，AI做了一点简单的扩展，整体上比我当时给出的证明要严格的多。遗憾的是这个算法最终放弃了，因为我自己都觉得创新性不够 ​

0

0

2

运筹士

2026-06-18 20:54来自 微博网页版

对于有点天分的孩子而言，最大的困境之一是摊上了一对平庸且自大的父母。我大概是三十多岁的时候才真正理解《马说》的第一句：“世有伯乐，然后有千里马”。对于有天分的孩子而言，其的第一关就是需要父母意识到孩子是非平凡的——并且还能保证不去拔苗助长，正确引导。这对父母的要求非常高。然而，遗 ​

2

8

5

运筹士

2026-06-17 21:15来自 Android

今天，基于AI+Lean的形式证明了我的一个计划里的主要定理，其中一部分是之前没考虑过的，整个证明只有两三页，比较简单。不过，这个定理是建立在新的概念上，所以不是靠搜索整合可以直接得到证明。整个过程中AI提供了一种开放性的探索，Lean提供严格检验。 ​

1

7

8

运筹士

2026-06-17 09:09来自 微博网页版

昨天看到有人说有00后大专生不会使用电脑，是指不能开机关机用word这种使用。我很震惊，如果是一个小学毕业的中老年人，你说不会还可以理解，毕竟时代在那，平时也不一定能接触。但是，作为一个大专毕业的学生，不会用就很难理解。这可能是手机深度介入生活的一个侧影。几年前，我就发现大学生使用电脑 ​

0

10

3

运筹士

2026-06-17 08:43来自 微博网页版

由于AI的各种辅助，脑子感觉快炸了，有的半成品的大纲都已经近百页，每周还新增很多新东西，要做的事情太多，现在只能通过AI筛选一些问题深入分析。各种计划列了一堆，我内心知道最终能完成一半就算不错了... ​

6

8

4

运筹士

2026-06-17 08:37来自 微博网页版

今天用AI+Lean证明了我的一个研究计划里的定理，这个定理很简单，我自己也可以证明。然而，这是我用AI+Lean证明的第一个新东西，以前未被人研究过的问题，所以值得写一条微博纪念一下。 ​

4

4

10

运筹士

2026-06-15 22:57来自 微博网页版

现在男权女权打的这么激烈——很多事情纯粹是莫名其妙，真想不到二十年之后男女关系是什么样子，一声叹息。也许现在一些思想病毒的传染本身就是在做自然筛选的事情——类似于进化论的社会学版本。 ​

2

7

8

运筹士

2026-06-15 12:39来自 微博网页版

以前做学生的时候，有想法，感觉可以写写，就花一些时间整理一下，写出来投出去，有时会最终扔垃圾桶（我有一个文件夹，就叫垃圾桶，专门放这些最终没发表的研究），有的最终会发表出来。这是没有AI的时期的处理方式，那些扔垃圾桶的东西，有一些后来变个形式或者作为其他研究的一部分，也发出来了。然 ​

0

0

9

运筹士

2026-06-13 18:39来自 微博网页版

有时，我会无所事事地坐在桌子前，浏览东西，看看书，写点代码等等，通常预热一段时间之后，就会不知不觉地进入到工作状态，然后明显能感觉到大脑活跃起来。现在有AI作为杠杆，这种感觉更明显了。通常，这种状态会持续几个小时，一直到其他事情打断。如果没有事情打断，会持续几天，所以现在遇到有空白 ​

0

0

9

运筹士

2026-06-13 15:57来自 微博网页版

//@-colonel:转发微博

美银对人形机器人的预测 第一是规模。美银预计，全球人形机器人年出货量将从2025年的2万台，增长到2030年的120万台、2035年的1000万台，十年复合增速高达86%。长期看，到2040年全球保有量可能达到3亿台，到2060年达到30亿台，其中家庭场景占62%。 第二是价格。现在试点阶段，人形机器人硬件成本仍在9 ​

2

0

0

运筹士

2026-06-11 23:11来自 Android

//@华山派小6:牛叉

#人工智能##lean4# 我搞了一个到目前为止最大的买卖：用Trae+deepseek实现AlphaProof Nexus的如图一的类似功能，因为我安装了Lean4，我的 trae IDE接上了 deepseek v4pro和GLM-5-Turbo，我用它们代替Gemini。我想做这个项目，用它来研究图论和组合数学难题。我的框架已经搭建起来了，见图二。AlphaProo ​

0

0

0

运筹士

2026-06-11 13:13来自 Android

大概用了4个小时左右的时间，AI辅助构造了一个拓扑数据分析的技术，想法很简单，部分实现了我这几年一直想做的事情，成本极低。从想法选择到最终完成一个无误的用于验证的R包，大部分时间是我在核对想法是不是合适，以及比较分析创新性。AI是一个杠杆，在时间上可以短期撬动以前长期才能做的事情，在深 ​

1

11

13

运筹士

2026-06-11 01:28来自 Android

AI会把人快速带到以前可能需要很多时间才能到达的高度。今晚，不到两个小时，AI辅助下，基于一些最近十几年才出现的代数拓扑工具构造了一个TDA分析方法。检查了整个想法，似乎没有大的问题，实现的例子也像模像样，但是我还不是非常确定整个想法有足够的价值以至于可以整理发表。 ​

2

1

11

运筹士

2026-06-06 08:17来自 微博网页版

//@-colonel:[围观]//@阿武看世界:转发微博

【瑞·达利欧刚刚警告 AI 泡沫即将破裂】 他不仅预判了结果，还清晰地点出了崩盘的原因和确切路径，建议所有人在被市场套牢前认真看完： 第一，危险的临界点已经逼近 达利欧的独家泡沫指标显示，当前的 AI 狂热已经达到了 1929 年大萧条前夕和 2000 年互联网泡沫顶峰 80% 的水平。 我们正在无限逼近 ​

19

1

3

运筹士

2026-06-05 18:41来自 微博网页版

AI重写代码的时候，发现我两年前完成的一个稿子（幸好，这个稿子被我这个拖延症患者拖了两年多，改了几遍也没投稿）中提的一个平滑数据的方法存在一点小问题，在处理边界的时候存在一些模糊。检验与理解一个方法的方法之一是用代码实现它，现在多了一种备选方案——用AI实现并检验它。另外，AI清晰准确 ​

0

2

2

运筹士

2026-06-05 13:18来自 Android

应该给个博士，从成果来说，超过绝大部分博士了。//@包特_ExpEcon:对于这样的学生不能用传统框架浪费他的时间，应该允许免修和主业无关的课程，直接授予研究型硕士或博士学位//@草台班子理性派:转发微博

半个多世纪前数学巨匠留下的未解谜题，正被一名中国大四学生与AI联手破局。从疯狂压缩通识课、自学纯数学的青涩少年，到与陶哲轩深夜探讨解答的科研新锐，西安交通大学的本科生汤泉宇，正以敏锐直觉探索着“人机协同”的数学边界。 《返朴》联系了汤同学，以亲历者的讲述，带您触碰AI浪潮前沿研究者的 ​

7

2

9

运筹士

2026-06-04 22:59来自 微博网页版

2026年的第一个想法的论文，总算被editor送审，而现在已经是夏季了[doge]，他/她太稳了，虽然是一个letter期刊，结果拖了几个月才真正有审稿人接受审稿，发邮件也不回[允悲]，如果我是一个等论文毕业的学生，估计得愁死...

伴随着窗外的烟花，2026年的第一个想法验证出来了。也许整个想法最终可以真正地推进某个领域。 ​

0

2

3

运筹士

2026-06-04 22:52来自 微博网页版

AGI出现之后，人类就业怎么办？或者人还需要就业吗？//@草台班子理性派://@高飞://@Superstartar:一个小小的学界观察，侧面体现了现有体系或将面临巨大改变。导师说她做editor的期刊由于收到了大量激增的投稿，且AI生成的论文增多，现有审核体系很快就会支撑不住。未来有可能从开放转向封闭，也就是只

哈萨比斯：AGI还有两三年，社会还没做好准备，我们需要新的经济学，文科理科都可以获益 2026年6月3日刚出炉，Google DeepMind联合创始人兼CEO哈萨比斯（Demis Hassabis）在斯坦福大学商学院的炉边对话笔记。对话由斯坦福校长Jonathan Levin主持。两周前的Google I/O 2026上，他以一句"我们正站在奇点 ​

1

0

6

运筹士

2026-06-04 21:31来自 微博网页版

我遇到过类似的，不过我比较刚，直接电话回去训了一顿。//@包特_ExpEcon:当大人不教小孩规矩，没规矩的小孩长大了就会觉得自己可以给一切立规矩[允悲]//@布布668:这最后一句一出也不知道谁是老师了[允悲]//@吴沉水:除了最后一句目前还没遇到，这种事每年都好几次，完全不出奇//@装甲省油灯://

老师打开手机一看 以为自己这些年来都是黄粱一梦[苦涩] 8122 ​

2

5

8

运筹士

2026-06-04 21:07来自 微博网页版

人会忘记大部分事情，或者在大脑中隐藏了大部分记忆，只会留下少许的记忆“切片”或“快照”，不时会跳出来。我有一个亲戚，其他人都说她一辈子过的苦。今晚跑完步，突然想起她。然后想到记忆里关于她的一些片段，其中一个“快照”是在我读初中的时候，一个阳光很好的中午，我骑车经过她家门口的时候， ​

0

0

8

运筹士

2026-06-03 15:18来自 Android

这样的话，以后想捞人也捞不了了[允悲]//@华山派小6:听到新闻，说系里正在测试用ai批卷子，目前和真人阅卷的误差已经在可控范围之内。期末还要大规模实验训练，预计明年要推广开。 以后老师想放水也不行了，哈哈哈。学生现在依赖ai替代自己来学习，老师未来用ai替代自己阅卷，也算是用魔法打败魔法。

又要开会了，好烦。明明没啥东西是必须要会上讲的，但是学校规定每个月要开一次。我准备坐在那里玩自己的即梦[哈哈] ​

0

3

1

运筹士

2026-06-02 21:42来自 Android

真正的老戏骨，一路走好[祈祷]

【94版《三国演义》#司马懿饰演者魏宗万去世#，享年89岁】据新京报：6月2日，记者从94版《三国演义》制片主任汪瑞处证实，演员魏宗万于2026年6月1日去世，享年89岁。魏宗万曾出演《一个和八个》《三毛从军记》《投名状》等电影作品，以及94版《三国演义》、98版《水浒传》等电视剧作品。 ​

1

1

1

运筹士

2026-06-02 20:49来自 微博网页版

最近几年，基本上没有大的时间段用于考虑问题，长度超过4小时的时间段都很少，更不用说长度是几天的时间段。这种时间的碎片化的结果就是很难去真正深度思考一些问题。 ​

0

2

10

运筹士

2026-06-02 20:48来自 微博网页版

做行为金融的人都应该去开个户，真实地感受金融市场，观察理论上的模式如何在现实中体现，同时看看自己是否能规避一些人性的陷阱。这时，往往会发现懂了理论和现实实践是两码事。 ​

0

2

5

运筹士

2026-06-02 12:14来自 微博网页版

今天看到一个视频，才知道“链接”这个词现在有不同的含义[不愧是你]，通过社交软件一夜情的人喜欢用这个[允悲] ​​​

0

6

2

运筹士

2026-06-01 18:25来自 Android

我觉得有多种类型的创造（创新），通过组合移植不同领域的工具进行有效应用是一种常见的创新类型，AI的很多创新就是属于这一类，并且复杂度非常高。另一种对基本概念的洞察的创新，似乎还没看到例子。我前不久尝试通过AI辅助引入新概念，虽然AI有时可以帮助引入新的概念，但是对概念底层的洞察还是由我 ​

3

3

4

运筹士

2026-06-01 18:09来自 Android

从教的最初两三年里，有很多学生，我印象比较深，聊的也比较多，即便后来没有联系有时也会浮现这些学生的样子与聊天的话题，有时还看到朋友圈里他们分享各种，结婚生子工作等等。最近几年，发现好像很难和学生沟通了，就是有种学生的防备心很强的感觉，就是把自己封起来的感觉，新添加的学生的微信也常 ​

4

7

14

运筹士

2026-06-01 12:58来自 Android

我发现，不上班的人普遍显得年轻，那种从来没有上过班的尤其如此[允悲] ​

1

16

12

运筹士

2026-05-31 21:59来自 Android

//@草台班子理性派:转发微博

【AI裁员陷阱：一场集体理性的经济自杀】 沃顿商学院最新论文用数学推导出了一个恐怖闭环：企业用AI干掉员工提高效率，竞争对手被迫跟进。在微观上，每个老板都做出了最符合自身利益的理性选择；但在宏观上，被裁掉的员工恰恰也是市场上的消费者。 当全行业同时加速自动化，结果就是生产力无限飙升， ​

5

1

2

运筹士

2026-05-31 12:42来自 Android

一个超市而已，有那么值得感动嘛[允悲]这价值观也是够了...

某宝妈感慨：我儿子5岁就能来山姆，而我30多岁才有机会来山姆，这就是父母托举的意义！[good] http://t.cn/A6re2tWl ​

5

2

5

运筹士

2026-05-31 12:12来自 微博网页版

b站上有个up，摩的司机徐师傅，采访了很多人。最近我经常看，很有感触，真的是人生百态。 ​

2

0

14

运筹士

2026-05-31 11:08来自 微博网页版

最近使用范畴论与几何中的一些理论对我以前提的几个概念进行抽象化。发现抽象化之后，往往只是变了一种方式叙述，实际落地，依然需要延续已有的方法，并且有时进一步提出的方法在实际中经常受限，或者意义不大。例如，可以定义一种同调论，但是实际的可计算性很弱，并且往往得不到什么有意义的面向现实 ​

3

4

7

运筹士

2026-05-29 18:04来自 Android

把之前的相关的微博集合在一块，我觉得目前也许数学正在经历Alphago时刻。『数学的“Alphago时刻”』http://t.cn/AX61j3AR ​

5

1

10

运筹士

2026-05-28 22:28来自 微博网页版

对于任何领域的研究者，如果没有很好地拥抱AI，被时代淘汰是迟早的事情。对于其他一些行业，可能有类似的结果，但是可能没有学术研究这么明显。AI会剧烈地放大人与人之间的智力活动的不平等。更激进地说，对于一个老师而言，如果无法很好地让学生过度到AI辅助的阶段，我觉得可能是失职的。 ​

4

1

17

运筹士

2026-05-28 22:23来自 微博网页版

看了一下报道，和积猜想(sum-product conjecture)在实数上的版本被推翻，其中使用了前不久推翻单位距离猜想时AI使用的技术。当年围观Alphago与李世石的围棋大战，机器在此之后把人类远远抛在后面，并且开始在技巧上反哺人类。现在，我的感受是，可能我们也正在围观数学的“Alphago时刻”。当年复一年在 ​

4

3

10

运筹士

2026-05-28 22:01来自 Android

最近，AI在基础数学，特别是组合数学方面接连有大突破。与之对比，我觉得AI在另一个广泛的多的领域也会大有可为——应用数学。应用数学中，一个很重要的特征是需要面向现实复杂性，这种复杂性与逻辑深度与广度带来的复杂性截然不同，需要人对事物本质有一定的经验积累与洞察——似乎AI还很难完全替代。 ​

1

3

12

运筹士

2026-05-28 17:04来自 微博网页版

AI对自己的冲击，“润物细无声”，直到自己略微想一下，才能体会到很多事情本质上已经发生了剧烈变化。 以今天下午——一个很普通的下午——为例。首先，我要检验一个拓扑数据分析的想法，提供了基本思路与几个关键问题之后，AI辅助提供了一些尝试方案，综合考虑各种可行性，在其中选择一些想法进行测 ​

3

4

8

运筹士

2026-05-28 16:53来自 微博网页版

借用Vibe Coding与Vibe Modeling，也许可以提一个Vibe Studying，或者类似的提一个Generative Inquiry。以我自己而言，几乎每天都在用这种方式进行处理，做一些非常自由的探索，一些时候甚至可以直接拿到一个还不错的问题解决方案。那么问题来了，什么是Vibe Studying或者Generative Inquiry的基础？这 ​

1

0

1

运筹士

2026-05-28 09:48来自 微博网页版

之前，为了做研究时有一些直观体验，我开了个证券账户，主要用于观察一些模式与简单测试一些策略。没事的时候，有时会看看手里持有的股票与基金的表现，特别是早上开盘之后的一段时间。整个事情里，比较有趣的是一方面直观地看价格变动，另一方面要使用高度抽象的语言对一些问题进行重述、提升、抽象与 ​

0

0

1

运筹士

2026-05-27 19:24来自 微博网页版

我试了一下，让豆包陈述5.7空战这个事实的回答没有问题，但是，如果提问的问题表达了对真实性的疑问，马上会得到一个声称5.7空战“高度存疑”与“细节注水”的回答。//@汪海林:哈哈哈//@24k纯帅-贾小贤:豆包：五七空战不存在。 http://t.cn/AX6YEUKy //@汪海林:希望有关部门关注豆包的政治倾向问题

跟豆包聊了聊，关于LGBT运动在中国，豆包完全是境外ngo组织在中国搞颜革的话术，不是说它有立场，它没立场，是网络信息的综合观点，基本与政府和社会提倡的方向相悖，可以说，形势很严峻。 ​

0

0

1

运筹士

2026-05-27 10:38来自 微博网页版

//@包云岗:这两天被韬定律刷屏了，很多人询问我的看法，那就谈谈一些不成熟的看法： 1）韬定律，背后是一场全球半导体产业评价体系的话语权争夺战。“什么是先进？”，这个话语权过去都是由极少数企业主导——采用了先进制程的芯片就被评判为先进，比如3nm就比7nm先进。如果有企业在7nm下做出了达到3nm

# 半导体新路径探索与实践（何庭波 ISCAS 2026 主旨演讲全文） （2026 年 5 月 25 日，上海・国际电路与系统研讨会 ISCAS 2026） 尊敬的各位专家、各位同仁： 大家好！非常荣幸在 ISCAS 2026 这一国际顶级电路与系统盛会，与全球业界精英共同探讨半导体产业的未来方向。今天，我想围绕 “后摩尔时代的半导体新路径”，分享华为六年探索的思考、实践与展望，并正式提出指导产业持续演进的新原则 ——韬（τ）定律。 ## 一、摩尔定律的极限：产业面临双重困局 过去六十余年，半导体产业始终沿着摩尔定律的轨迹高速发展：通过几何缩微（持续缩小晶体管物理尺寸），每 18-24 个月单位面积晶体管数量翻番，性能提升、成本下降。从微米到纳米，从 7nm、5nm 到 3nm，几何缩微驱动了全球数字经济的爆发式增长。

1

0

4

运筹士

2026-05-27 08:58来自 微博网页版

转发微博

#给阿嬷的情书# 国内近年来好不容易出个思想还算积极、描绘正常女性的电影，劳东燕立马看不惯了，赶紧转发了一个女权无脑黑影评。发现被粉丝冲了又慌忙改说辞。最后再发几条破防微博洗粉。就这种事事跟公序良俗对着干、千方百计破坏家庭价值、打拳打到神志失常的女权教授，能蹦跶到现在也不知道清朗是 ​

1

0

1

运筹士

2026-05-26 20:15来自 Android

//@文章改好了吗://@阑夕:嚯

分享阿里巴巴出的 88查，完全免费 覆盖超过两亿家国内企业信息，输入公司名称就能查到工商注册信息、联系方式、公司地址、股东和高管、商标专利、融资历史、法律诉讼、经营风险等关键数据，跟付费平台能查到的内容基本一致。 链接：88cha.com ​

6

0

4

运筹士

2026-05-26 18:32来自 Android

回复@梅长牙擦苏:你把八项规定复述一下，看看哪一条是不允许戴金饰的。//@梅长牙擦苏:回复@然然而自得:八项规定了解下[good]

【#女干部展示不到100元的耳环#】#戴耳环女干部说打击我的使我成长# 近日，湖南石门县遭遇连续强降雨。龙池河村的村支书向金元奋战在救灾一线，累到声音嘶哑，却因一对金色耳环遭少数网友质疑。今天，记者见到了向金元。她大方展示了这款网购不到100元的“金色耳环”↓↓她说，自己只关心村民有没有安 ​

1

0

4

运筹士

2026-05-25 23:00来自 微博网页版

最近经常想一个事情，按照目前的AI的冲击的效果，数学学术与教学应该是最直接被（大部分）替代的，又或者产生的马太效应会最强。 ​

3

2

10

运筹士

2026-05-25 20:40来自 微博网页版

经济学的人喜欢说“taste”，注意，在使用这个词的时候一定是在中文里夹杂着这个单词。不过，我一直没搞清楚这个词在对应语境里的意思，好像说的人也没有说清楚到底什么是“taste”，或者是“道可道，非常道”？[并不简单] ​

1

0

3

运筹士

2026-05-25 20:17来自 Android

很多人微信昵称加博士[doge]//@包特_ExpEcon:差不多，领英都不一定需要加～

马斯克：在你社交媒体名字中加上「博士」肯定是浮夸弱智的标志 ​

1

3

3

运筹士

2026-05-25 10:05来自 Android

确实是，我刚才ds搜了一下，称“更准确地说，这个译法的完整思想渊源是 《易经》中的“品物流形”，并通过文天祥《正气歌》的“杂然赋流形”被数学家们引用的。”//@-colonel: 是江泽涵老先生翻译的，不过可能是来自《易经》的“云行雨施，品物流形。”

Weyl的一百多年前的名著《曲面的概念》有了一个中文版，最近几年越来越为大众熟悉的名词“流形”的第一个正式定义就是由这本书提供的，准确的说是“一维复流形”的概念，不过定义扩展起来没有什么特别的困难。流形这个属于由于计算机方面的人大量使用一时成为热门的词之一，这点在二十多年前我读书的时 ​

2

0

2

运筹士

2026-05-25 09:49来自 Android

Weyl的一百多年前的名著《曲面的概念》有了一个中文版，最近几年越来越为大众熟悉的名词“流形”的第一个正式定义就是由这本书提供的，准确的说是“一维复流形”的概念，不过定义扩展起来没有什么特别的困难。流形这个属于由于计算机方面的人大量使用一时成为热门的词之一，这点在二十多年前我读书的时 ​

14

6

17

运筹士

2026-05-24 10:45来自 Android

这个理解不错[good]//@暗能量泡泡:用DeepSeek-V4-Pro探讨了一下： http://t.cn/AX6MbOYj

方程本质上也是一种结构，指明了变量之间的关系。按照这个方式理解，很多理论本质上也有“方程”，只不过是按照系统的方式描述的，或者关系的定量描述不是那么清晰，甚至只有定性描述。 ​

3

7

6

运筹士

2026-05-24 10:13来自 Android

方程本质上也是一种结构，指明了变量之间的关系。按照这个方式理解，很多理论本质上也有“方程”，只不过是按照系统的方式描述的，或者关系的定量描述不是那么清晰，甚至只有定性描述。 ​

7

0

12

运筹士

2026-05-23 18:41来自 微博网页版

一些老年人嘴里含了一辈子的“安抚奶嘴”，年轻时琼瑶剧，毫无营养的爱情片，非诚勿扰这种娱乐节目，到老了就是dy与短剧，没有任何意义，每天的大部分时间浪费在这种东西上。年轻人也好不到哪里，他们有自己的“奶头乐”。 ​

1

4

18

运筹士

2026-05-23 18:07来自 Android

思想标签≠身份标签，另外，这书名和普里戈金的一本书的中文版译名很像——《从混沌到有序：人与自然的新对话》，以及与霍兰的一本书的副标题很像——《涌现：从混沌到有序》。//@包特_ExpEcon:我觉得相关事实很有价值，但是道理可能是不需要辩论的：法家创始人不是法家，就像孔子也不知道自己是“儒家

这两日在看唐晓峰先生的《从混沌到秩序》，他也注意到“回溯性概念”经常被夸大了，会造成历史研究的偏差。他举的是历史地理方面的例子，而在我的研究领域里，一个更典型的例子就是所谓先秦学派。 举例而言，你可以认为韩非是一个法家人物，但必须认识到这个“法家”是回溯性概念，是后人赋予韩非的， ​

0

0

1

运筹士

2026-05-23 11:51来自 微博网页版

今天修改一篇论文，审稿人给了一个严格的解——很简单，但是之前我没有注意到。然后，我让AI帮我按照这个严格解写代码进行计算。然后，测试的例子怎么都感觉不对，来回拉扯了几次让它自己检查并修改，AI始终认为自己是对的。于是，我自己手动在AI的代码上进行修改——按照我自己的逻辑重写。最终，验证 ​

1

0

5

运筹士

2026-05-23 09:42来自 Android

现在有的年轻人真奇怪，微信把别人屏蔽了，然后还能坦然地要求别人帮忙做什么事情[允悲]。按照我的理解这样的屏蔽就是一种软的切断联系，其实没必要再沟通什么了。恶心的是有的人我还不能马上删除，也是比较拧巴[允悲] ​

4

8

19

运筹士

2026-05-21 14:17来自 Android

之前基于AI辅助做了两篇文章，审稿人都给了大修或者接受的意见。初步总结一下，首先，想法依然最重要，两个文章做的顺利的前提都是我已经预先做了一些分析，确定是可行的，并且避开了一部分“坑”；其次，AI提升效率最快的部分是写代码，包括实现想法以及复现别人工作的代码，这部分节省了很多时间；第 ​

6

4

9

运筹士

2026-05-21 10:49来自 Android

最近AI连接突破一些数学的历史难题，今天早上又看到一个。数学的复杂性主要在于逻辑的深度与广度，与真实世界的复杂性有所区别，所以AI首先在数学上替代人类是必然趋势。那么，与之对应的，应对现实复杂性的领域，诸如一些人文社科领域，受AI的影响就会小一些。很多现实问题的复杂因素、关联、价值判断 ​

4

14

19

运筹士

2026-05-21 09:20来自 Android

愤青一下。目前国内的某些领域用一句“抄袭剽窃金腰带，严谨认真无尸骸”应该不算太过。 ​

13

2

27

运筹士

2026-05-21 00:03来自 微博网页版

我买了很多书，很多买了之后放那好几年都没怎么翻，或者根本就没翻。不过，我也不怎么在意（在意的是没地方放），因为这些书放在那就提供了一个环境，并且有时候突然某一天就起作用了。 ​

1

0

8