炒面面包

888 posts

炒面面包

炒面面包

@erik5187

要来到我这里坐一坐,听点故事吗? | 不懂数学,不会魔法,不是猫猫 | 在数理逻辑与复杂度的交叉处 | 曾经:some algebraic geometry,cat theory | ADHD/疑似ASD | 学术号(已弃用)@liesbg

Turing machine Katılım Kasım 2018
123 Takip Edilen235 Takipçiler
Sabitlenmiş Tweet
炒面面包
炒面面包@erik5187·
新建的聊天群) t.me/+4vvATGH80A43O… 用来交流日常和一些随意的事情。欢迎各位来水群。(因为觉得学术群气氛太严肃就建了这么一个群) 我建的理论(数学,tcs,物理等)学术群 t.me/+ZWymreitFGpiM…
中文
0
0
9
2.2K
炒面面包
炒面面包@erik5187·
@SyRainstormTTN 确实可能。反正我这也只是随机的暴论,概念都不是良定义的()
中文
0
0
0
153
F-02-70
F-02-70@SyRainstormTTN·
@erik5187 game应该比交错量词更一般吧?
中文
2
0
0
193
炒面面包
炒面面包@erik5187·
该发点数学内容了。今天先来一点随意的想法。 在tcs和数理逻辑的研究做,我们经常用的(组合博弈论意义下的)game,两个人轮流行动,讨论一方有无必胜策略。 这些game是否都是在表达某种量词交错的逻辑式呢,任意量词是对手可以用任何策略去阻止你,存在量词是你可以采取的应对策略(1/2)
中文
3
2
32
2.8K
炒面面包
炒面面包@erik5187·
如果你了解Ehrenfeucht–Fraïssé game,你大概会知道我在说什么,或许我们考虑所有具有此类形式的比较简洁的game,都是在把一个量词交错的式子转化为人类易于理解的一种表达方式
中文
0
0
12
230
炒面面包
炒面面包@erik5187·
推上不少蓝v过于伪人了,发表一堆看似有道理的一派胡言。。。
中文
4
0
18
650
Mistivia
Mistivia@mistivia·
@erik5187 不想付钱的话写不下的部分可以放图片里
中文
1
0
1
48
炒面面包
炒面面包@erik5187·
我觉得蓝v最吸引我的一点就是去除了字数限制,让我能更自由的讲一些漂亮的故事。 不过想了想,我发的很多可能都是不那么负责任的暴论,似乎不适合推广给很多人看。而如果要写的不那么随意,与其发在推特上,不如发在其他地方做一些社区贡献。 不管怎么说,谢谢你来听我讲故事
中文
4
0
22
738
炒面面包
炒面面包@erik5187·
@dviolettchan 分段发之前也用过,一下子全发出来感觉稍微不那么麻烦一点 另外不负责任一部分是指一些数学内容我只是粗略了解,所以细节的正确性可能有些模糊,只能保证差不多没问题。如果有很多人看的话还是希望细节上也不会有问题,不过那样工作量大一些,发的意愿自然也小一些
中文
1
0
4
88
紫云
紫云@dviolettchan·
@erik5187 不是蓝v也可以分段发,在评论区自己回复自己盖楼就可以了,对流量不会有影响。 另外,推特其实本来就是个鼓励情绪化内容的平台,有时候发一些暴论反而更多人喜欢就是了(
中文
2
0
11
284
炒面面包
炒面面包@erik5187·
不过很抱歉最近还没有开始讲故事)关于写的内容已经有了一些想法,等我哪天不那么懒大概就会来写)
中文
0
0
3
130
炒面面包
炒面面包@erik5187·
这简直就是我。说起来有趣,我引以为傲的受过的数学训练中,就有本科写了几年的英文证明,但在写论文时还是最近写起来有一种无力感,不知道是因为几年没写过能力退化,还是因为在一个不太熟悉规范的领域内写一个庞大的证明有些困难。事实上去年还帮合作者写过一部分证明,那个时候还完全没有用llm辅助
Xiuyu Li@sheriyuo

其实我从一开始写 paper 就是纯用 AI 写的,之前用 DeepSeek R1,现在用 V4。因为我不具备英语学术能力,但是我能肉眼看出来这句话、这段话是否合适 对于中文写作,我还是比较有自信的,所以我的第一篇 paper 内几乎 90% 内容都是我用 DeepSeek R1 完成的,以 Introduction 为例: 1. 先写一份中文大纲,这个大纲极其重要必须要好好写,显著影响你的后续质量 2. 把你的中文大纲和几篇你导师的 paper 一起喂给 LLM,让它照着写 3. 不管第一次生成什么,一定跟它说“太长了,短一点,用语要精炼浓缩,符合 ICML camera-ready 的水平” 4. 这样初稿大概就能看了,然后一句话一句话的看,感觉不对就让 LLM 继续改,从头到尾我只写中文 prompt,对于论文英文的改动不大于一个词的级别 老板看到我写出来的初稿大为震撼:“不像是第一次写 Paper 能写出来的”。 其实都是 Prompt 写的好、n-shot 给的多,rethinking turns 多罢了。改 LLM 生成的垃圾 writing 真的比我写还累,坐着改一整天 writing 下班回出床上直接累瘫😭

中文
1
0
27
2.8K
炒面面包
炒面面包@erik5187·
给人讲东西是好的。我这里不是说可以可以看自己有没有掌握一个东西,单纯只是为了给自己提供一个学东西的动机。或许之后我会在这里(或我的群里)多发点东西,你有兴趣也可以来找我听故事。这让我怀念大一的那段时光,在班级的数学群里大谈自己对数学粗浅的理解(虽然现在理解也没有好多少)
炒面面包@erik5187

我应当多发表暴论,这样才能更加社会化

中文
1
0
12
521
炒面面包
炒面面包@erik5187·
我应当多发表暴论,这样才能更加社会化
中文
2
0
9
626
Infinity and Beyond
Infinity and Beyond@Kasabylica·
集合论是哲学和数学的城乡结合部。
中文
3
2
24
1.7K
炒面面包
炒面面包@erik5187·
@txyyss 至于培养上,一个能成为数学家的人理应有足够的智商知道如何用好这些东西
中文
0
0
2
66
炒面面包
炒面面包@erik5187·
@txyyss 替代不至于,这几个还没有一个能做不那么初等的open problem。llm离像人一样做严格而又复杂的数学推理还有很远的路要走,证明助手也只是验证证明,至于Sat solver的那个例子,大概其实只是一种暴力穷举来解决问题,之前也有很多类似的事情(比如四色定理)。
中文
1
0
4
202
紫云
紫云@dviolettchan·
@go1415926 感觉我认识的很多人,说话的时候想控制住自己show off的冲动是很难的,总是不知不觉就用自己的merit打压别人。 这种又卑又亢的性格我实在是见的太多了,说不定我自己也是神人群体中的一员😭
中文
6
1
35
765
白首莫离
白首莫离@go1415926·
和任何人聊天都不卑不亢的要点就是,始终坚持不去占对方的便宜,觉得被冒犯就具体描述感受而不是攻击指责。尊重对方的感受并努力做到不冒犯对方,交流和吵架都是觉得对方可以争取有交流的必要。提供情绪价值和具体的信息技术都是交流,和刚认识的人聊天我会自动想哪句话是情绪价值哪句是信息交换...
中文
27
16
275
9.7K
Infinity and Beyond
Infinity and Beyond@Kasabylica·
某会议收400注册费不说还要自己打印海报 是什么会议呢?
中文
1
0
6
618
炒面面包
炒面面包@erik5187·
@SyRainstormTTN 神秘,不过三番不小了,比被别人和到好)一般来说立直前一番的好型,两番和三番都是即立的,立直前两番的情况下,立直一发或中里的概率大概是50%,所以和到满贯(或接近)的期望还是挺高的(()
中文
1
0
1
180
F-02-70
F-02-70@SyRainstormTTN·
依旧神棍麻将。说错了,自摸的是雀头2p,如果推牌就是自摸宝牌1,小孩儿牌。就算当时立直了也是三番的小孩儿牌。
中文
1
0
0
130
F-02-70
F-02-70@SyRainstormTTN·
所以,还是稍微记录一下今天的神秘和牌:自摸低目9s不和,振听打9s立直,然后一发自摸9s,立直一发自摸平和一杯口宝牌2,3000·6000,如果摸的是6s就加一个断幺,4000·8000。
中文
1
0
1
139
炒面面包
炒面面包@erik5187·
@SyRainstormTTN 储君好防好像还是挺多的🤔而且攻击数值也高,所以可以少拿点牌
中文
1
0
1
80
F-02-70
F-02-70@SyRainstormTTN·
玩了四五把了还是没弄懂储君怎么抓,很容易刷一堆牌最后没有好的防导致次次卖十几二十点血三回合攻哈,然后红色格挡条用完就原地暴毙...
中文
3
0
1
185