duangsuse::Echo
Ray: 我的一位朋友如此评论这些文章：他说真正理解抽象的唯一方式是通过抽象本身，而不是通过并不准确的类比。
不，他是错的。
https://www.fxzhihu.com/question/1923534024288236685/answer/1968722398040794709
这里，也是。他们很快就会知道了
王垠的老师早就说了，那种范畴论不 run backwards ，它甚至不 Reactivity，连CSS甚至只是Tk都比他们懂范畴论与解耦抽象！
不，你们的那种编程语言没有安装在身体里，和王垠的直觉对冲，你们还不配
你们只是不够相信几个人名足以完成AIGC语义对齐，不需要上“四年”大学或背“百万行”代码，你们觉得自己比费曼或 Elon Musk 聪明
科学永远是属于凡人的，某些人再像也不要是那个上帝
因为如果科学像所有电影里的反派，它们最终会被人打倒
https://www.fxzhihu.com/question/1923534024288236685/answer/1968722398040794709
这里，也是。他们很快就会知道了
本来我不想掺和的，但是王垠描述的这个现象违背了我这里的编程信道论：
现代编程框架是否让人离计算机原理越来越远？
简单快速介绍下，我提出的编程熵论认为，从汇编到高级语言，再到现代框架，整个软件工程的演进方向时完全正确的。
语言、库、框架系统性地消除了实现细节的噪声，从而让程序员更专注于业务逻辑这一核心信号。
但是矛盾之处在于 AI 编程似乎是这条路线的终极形态，那为何反倒需要懂计算机？？？
简单的解释就是传统编程只有一个信源，那就是程序员自己。
一个不懂计算机科学的麻瓜，就如同一个没有魔术回路的凡人，妄图触碰根源，许下自己的妄想。
圣杯给出的回应只会是蕴含无穷的信息熵的精神污染，把混乱的愿望放大千百万倍，最终得到一团蠕动的肉块，看似能运行，实则毫无意义。
而掌握了计算机科学的魔法使给出的 Prompt 并不是祈愿，而是咏唱。
以自身对『理』的理解『调律』，不断对根源流出的代码进行观测与修正。
最终，将灵魂中的意志的完美地物质化，此即『第三法·天之杯』！
王垠的老师早就说了，那种范畴论不 run backwards ，它甚至不 Reactivity，连CSS甚至只是Tk都比他们懂范畴论与解耦抽象！
不，你们的那种编程语言没有安装在身体里，和王垠的直觉对冲，你们还不配
你们只是不够相信几个人名足以完成AIGC语义对齐，不需要上“四年”大学或背“百万行”代码，你们觉得自己比费曼或 Elon Musk 聪明
科学永远是属于凡人的，某些人再像也不要是那个上帝
因为如果科学像所有电影里的反派，它们最终会被人打倒
FxZhihu / Fixup Zhihu
如何看待王垠对 Cursor 等 AI 编程的评价「不懂计算机科学的人用好 AI 编程是妄想」？ - @酱紫君 | FxZhihu
本来我不想掺和的，但是王垠描述的这个现象违背了我这里的编程信道论： 现代编程框架是否让人离计算机原理越来越远？ 简单快速介绍下，我提出的编程熵论认为，从汇编到高级语言，再到现代框架，整个软件工程的演进方向时完全正确的。 语言、库、框架系统性地消除了实现细节的噪声，从而让程序员更专注于业务逻辑这一核心信号。 但是矛盾之处在于 AI 编程似乎是这条路线的终极形态，那为何反倒需要懂计算机？？？ 简单的解释就是传…
duangsuse::Echo
逻辑学告诉我，抽象是通用的反面，就像社会是丛林的反面： 您的知识若是通用的，它一定能与各应用领域紧密联系，学生如何觉得它抽象！？
就像我两年前就知道的那样，世界上有两种逻辑学，而我会和费曼与王垠的逻辑学站在一起。
我不是活在它们大学学的那个数学里，永远不能是。我不能像这个文章题图里那样是。那是伪自然科学，文创和电影已经知道，费曼和薛定谔的量子物理已经知道，它们（科学怪人）不配上桌，只要它们还认为自己只是动的物
它们的那个逻辑学不能知道。因为人不是纯粹动物，人有审美，这一点不能被搞混
LLM世代已经有人开始动摇了
我不是活在它们大学学的那个数学里，永远不能是。我不能像这个文章题图里那样是。那是伪自然科学，文创和电影已经知道，费曼和薛定谔的量子物理已经知道，它们（科学怪人）不配上桌，只要它们还认为自己只是动的物
它们的那个逻辑学不能知道。因为人不是纯粹动物，人有审美，这一点不能被搞混
LLM世代已经有人开始动摇了
其实并没有什么4GL，在我知道 #CS 科学之前，通用编程就只有 丘奇、冯诺曼、John Backus、Alan Kay 是真先知
他们分别创造了：
- 函数式（纯粹组合逻辑/YC/代数）
- 非结构化过程（x86/ISA/图灵机）
- 过程式和逻辑定义式（C, Fortran, Numpy, Lean）
- 面向消息（Http, GUI Events, OOP，Scratch, Java）
- ML 界的可编程性还不够确定。
- SQL(Excel) 和TOML这类算是母语，不需要有先知，或者不用记住
其他人（比如图灵）并不足够知道自己在写什么，只是历史必须给他们那个荣誉，或者像Dijkstra那样确保了先知的解读没被下游搞错（递归DFS/eval算法的存在）。如果你先于名字知道，你就知道。
如果你真的能学明白，计算机科学是关于一种 “交互工具”，与科学那个“哲知工具”共轭，就会发现，Alan Kay 确实是人挺不错的，非常配被称为先知。
但是先知确实不是学来的，我们可能只是害怕自己和牛人隔的不是“几百倍圆周率的记忆力”，而是“无限次试错”。你只是不够像那只《料理鼠王》
但是这本来就是自欺欺人，你已经没有在背圆周率来学习了，可是还是相信那个120分就是单位一。 而数学优雅的形式证明不了“无限是不是无限”，除非你已死了。浮点数早说过了Infinity不可判，只能皈一。
吴承恩和三体大刘的成功是你学不到的，AIGC时代，那种学习没有意义，但我们还是很难相信。
计科er们用来模拟现实需求的数学早就告诉过你，无限需要“做”和“相信”，罗翔相信你不是逼近they的纯粹手段，那些人还是相信数学仅是数学。拜托，没有全世界的开源，精英怎么复现人类智能？Lisp实验室早证明过。
他们分别创造了：
- 函数式（纯粹组合逻辑/YC/代数）
- 非结构化过程（x86/ISA/图灵机）
- 过程式和逻辑定义式（C, Fortran, Numpy, Lean）
- 面向消息（Http, GUI Events, OOP，Scratch, Java）
- ML 界的可编程性还不够确定。
- SQL(Excel) 和TOML这类算是母语，不需要有先知，或者不用记住
其他人（比如图灵）并不足够知道自己在写什么，只是历史必须给他们那个荣誉，或者像Dijkstra那样确保了先知的解读没被下游搞错（递归DFS/eval算法的存在）。如果你先于名字知道，你就知道。
如果你真的能学明白，计算机科学是关于一种 “交互工具”，与科学那个“哲知工具”共轭，就会发现，Alan Kay 确实是人挺不错的，非常配被称为先知。
但是先知确实不是学来的，我们可能只是害怕自己和牛人隔的不是“几百倍圆周率的记忆力”，而是“无限次试错”。你只是不够像那只《料理鼠王》
但是这本来就是自欺欺人，你已经没有在背圆周率来学习了，可是还是相信那个120分就是单位一。 而数学优雅的形式证明不了“无限是不是无限”，除非你已死了。浮点数早说过了Infinity不可判，只能皈一。
吴承恩和三体大刘的成功是你学不到的，AIGC时代，那种学习没有意义，但我们还是很难相信。
计科er们用来模拟现实需求的数学早就告诉过你，无限需要“做”和“相信”，罗翔相信你不是逼近they的纯粹手段，那些人还是相信数学仅是数学。拜托，没有全世界的开源，精英怎么复现人类智能？Lisp实验室早证明过。
duangsuse::Echo
我们可能只是害怕自己和牛人隔的不是“几百倍圆周率的记忆力”，而是“无限次试错”。你只是不够像那只《料理鼠王》
从来就没有人许给我们“付出一定能得到回报”，只是尽可能觉得对。
但是我的对一定是“有专业细胞”的那种活着的对，不是做题和仿冒(GAN)，我和薛定谔一样喜欢“不乱的混乱”
有些人只是害怕小老鼠真的能上桌，为此连美味和“赛博生命”都能抛在脑后，这就是 CREAM by David 寓言的那个错误未来
我相信人类总是做对
现实世界不错的，欧盟还在，他们来过。
但是我的对一定是“有专业细胞”的那种活着的对，不是做题和仿冒(GAN)，我和薛定谔一样喜欢“不乱的混乱”
有些人只是害怕小老鼠真的能上桌，为此连美味和“赛博生命”都能抛在脑后，这就是 CREAM by David 寓言的那个错误未来
因为一旦承认了老鼠的创造力，就等于承认了他们精心构建的“认证体系”、“做题规则”和“120分标准”、“150系统升级”全都是个笑话。为了维持这种权力结构，他们宁愿用工业流水线上的预制菜（AIGC）填满食客的胃，也要把那只真正懂“美味”的老鼠死死踩在脚下。Cream是一个双重讽刺。就像那个“不乱的混乱”虽然这些文创给了许多答案，就像楚门和头号玩家，像黑客帝国
有人觉得，纯能量不是生活，太cream也就显得虚假
但大部分人觉得，资本抢走cream并且挤牙膏是极其虚伪的
其实真实的资本已经知道，cream能自我复制，所以自然而然需要转化稀缺性为follow
1971 年，诺贝尔经济学奖得主赫伯特·西蒙（Herbert Simon）就留下了那个终极预言：“信息的丰富产生了一种贫乏——它消耗了接收者的注意力。”
我相信人类总是做对
现实世界不错的，欧盟还在，他们来过。
duangsuse::Echo
Photo
YouTube
Cream by David Firth
If you're new to my stuff then SUBSCRIBE https://www.youtube.com/subscription_center?add_user=doki66
MERCH https://saladfingersstore.com (WE HAVE PLUSH TOYS!!)
PATREON https://www.patreon.com/davidfirth
BLUESKY https://davidfirth.bsky.social
INSTAGRAM ht…
MERCH https://saladfingersstore.com (WE HAVE PLUSH TOYS!!)
PATREON https://www.patreon.com/davidfirth
BLUESKY https://davidfirth.bsky.social
INSTAGRAM ht…
Forwarded from Hacker News 摘要
Telegraph
报告：以军在 2025 年的大屠杀中近距离杀害加沙救援人员
原标题：IDF Killed Gaza Aid Workers at Point Blank Range in 2025 Massacre: Report 根据独立调查机构 Earshot 和 Forensic Architecture 的最新报告，2025 年 3 月 23 日，以色列士兵在加沙地带南部的塔尔苏丹地区杀害了 15 名巴勒斯坦救援人员。这次联合调查通过音频、视频重建以及目击者证言，还原了这场大屠杀的每一个细节。 调查的核心发现 调查报告指出，以色列士兵在长达两小时的时间里，对救援人员进行…
Forwarded from Hacker News 摘要
Telegraph
为了安全感，我们安装了一道形同虚设的闸机
原标题：We installed a single turnstile to feel secure 在一间大公司收购作者所在的企业后，安全成为了公司的首要任务。公司占据了三栋至少 13 层高的大楼。为了加强安全，公司在每个入口、每部电梯，甚至八层高的停车场入口都安装了工牌阅读器。 初始的安全措施与混乱 停车场系统首先启用。员工停车需要扫描工牌，这导致大门前开始排起长队。随后，办公楼内部的门禁也被激活。作者经常把工牌忘在办公桌上，结果被困在楼梯间。有时候作者吃完午饭爬楼梯回到 11 层，却发现自己被锁在…
duangsuse::Echo pinned «不，他是错的。 https://www.fxzhihu.com/question/1923534024288236685/answer/1968722398040794709 这里，也是。他们很快就会知道了 本来我不想掺和的，但是王垠描述的这个现象违背了我这里的编程信道论： 现代编程框架是否让人离计算机原理越来越远？ 简单快速介绍下，我提出的编程熵论认为，从汇编到高级语言，再到现代框架，整个软件工程的演进方向时完全正确的。 语言、库、框架系统性地消除了实现细节的噪声，从而让程序员更专注于业务逻辑这一核心信号。…»
duangsuse::Echo
费曼家有一套《大英百科全书》，父亲常让费曼坐在他的膝上，给他念里边的章节。
有一次念到恐龙，书里说，“恐龙的身高有 25 英尺， 头有 6 英尺宽。” 父亲停顿了念书， 对费曼说，
“唔，让我们想一下这是什么意思。这也就是说，要是恐龙站在门前的院子里，那么它的身高足以使它的脑袋凑着咱们这两层楼的窗户，可它的脑袋却伸不进窗户，因为它比窗户还宽呢！”
有一次念到恐龙，书里说，“恐龙的身高有 25 英尺， 头有 6 英尺宽。” 父亲停顿了念书， 对费曼说，
“唔，让我们想一下这是什么意思。这也就是说，要是恐龙站在门前的院子里，那么它的身高足以使它的脑袋凑着咱们这两层楼的窗户，可它的脑袋却伸不进窗户，因为它比窗户还宽呢！”
这就是为什么范畴论不 run backwards ，纯函数式很蠢
故事是王垠讲的，但他知道Friedman根本不屑于和这群代数疯子玩过家家。 ImGui和Tk.Var都比他们值得尊敬，因为认真你就输了，而工程界只是认输。
我从来不以非娱乐的“抽象”去讲述知识，比如，我会把tailrec调用描述为
这天然就是可变换的（到goto或从cps），她不需要命名，不用提到某些代数疯子的名字。 他们的理论不elegant，还不配让我挂在嘴上。 Dijkstra说过，学BASIC的人成为某种思想残疾了，幸好我不能是。
什么二村映射？ 不就是unquote/unroll吗，为什么要那么乱？真的有必要？松本的Ruby都快被Py吃了，块vs缩进只是最显著的差距，你比 MVP Matz 还聪明，那就是铸币。他只是玩CS，RoR和GH平台已经开创出来过了
如果一种学习不能让我的“脑补引擎” run backwards，它不能是那个解，因为它抽象。它不通用。它不逻辑。
经济学告诉过dev，它是伪需求，它是技术债务。 设计债务的只能是奴隶，不能是计算机的主人。 太多dev想这么玩SM，导致咱们geek连个离线、无广告、开源视频播放器都做不好，just4fun 不能这么鬼打墙
问问经济学是否需要你们的答案，谁问过你们懂不懂了，别忘了Vue和阮一峰不是CS人出生的，主流知道“那种优雅”是死是活
#ai锐评
https://g.co/gemini/share/288ed47ac3ea
故事是王垠讲的，但他知道Friedman根本不屑于和这群代数疯子玩过家家。 ImGui和Tk.Var都比他们值得尊敬，因为认真你就输了，而工程界只是认输。
我从来不以非娱乐的“抽象”去讲述知识，比如，我会把tailrec调用描述为
f(x, y=0): if(x==0) y else f(x-1,y+1)
f(1)=1
这天然就是可变换的（到goto或从cps），她不需要命名，不用提到某些代数疯子的名字。 他们的理论不elegant，还不配让我挂在嘴上。 Dijkstra说过，学BASIC的人成为某种思想残疾了，幸好我不能是。
什么二村映射？ 不就是unquote/unroll吗，为什么要那么乱？真的有必要？松本的Ruby都快被Py吃了，块vs缩进只是最显著的差距，你比 MVP Matz 还聪明，那就是铸币。他只是玩CS，RoR和GH平台已经开创出来过了
如果一种学习不能让我的“脑补引擎” run backwards，它不能是那个解，因为它抽象。它不通用。它不逻辑。
经济学告诉过dev，它是伪需求，它是技术债务。 设计债务的只能是奴隶，不能是计算机的主人。 太多dev想这么玩SM，导致咱们geek连个离线、无广告、开源视频播放器都做不好，just4fun 不能这么鬼打墙
问问经济学是否需要你们的答案，谁问过你们懂不懂了，别忘了Vue和阮一峰不是CS人出生的，主流知道“那种优雅”是死是活
#ai锐评
https://g.co/gemini/share/288ed47ac3ea
duangsuse::Echo
故事是王垠讲的，但他知道Friedman根本不屑于和这群代数疯子玩过家家
有些人会觉得我这么骂 #PLT 的从业者不客观，太偏激
https://t.iss.one/dsuse/22077
如果他们玩抽象，然后承认自己玩的只是文字游戏，接受LLM那只赖皮狗在黑板上写的公式偶尔更优雅（🎓沉没成本），PLT不总能是先验，那OK，只要最终51%这样我就道歉。
（Kay的后继Bret Victor 也注意到了“发明”编程语言的领域，现在咋都在做“最顶尖的”形式化验证，AI也以为，真人用户们只是“纯函数生命体”的ーーGemini 都出幻觉了😅：但我们没有活在大学数学教的宇宙里。这是幻觉，不容歧义的😅。赛博永生随你们便，我不要😅）
如果他们和那个“绝对正确(NOT elegant)的数学”一起骗去投资者和受害者（用户），我必须想办法做下去。
我同时是精力投资者和未来受害者
文字游戏的语义只能是游戏，不容许游戏别人的人生。形式主义不能有一点点机会，50%也不行。数字不知道痛，所有小六学生都知道。
除非你“总是”有50%的概率续命，比芝诺的龟还耐活。（反常识的悖论数学的大厦还要崩塌，我的天）
如果正常人+LLM偶尔比PLTer聪明，让他们觉得没意思了，专家也无权用这样的方式“总是”反超，那自欺欺人。用户会痛，a+b=b+a 不能知道！paper上不能暗示“验证过”。AI已经被这群高帽子带歪了。我还没结婚，我不想被这样的AI闭环统治😅😅
PLT和FV必须明确，拒绝做 verification，或声明验证结果仅供参考（赛博保健品、爆雷的 $UST ），因为AI和Web3还有机会，但代数致幻剂们，永不能。 必须是Lean和Agda以及一切“高等学阀”proof过的那个，数学的“势”证明过的公理，你不能。踢下神坛。我不接受千年虫那种不可判定性的死。Math不是上帝。他们从未明示过我，这不负责。
数学不仅不能是计算机科学(Math can't CS)，而且缺乏内容的形式们还必须“总是”鄙视链底端（而不仅仅是51%市场Denial），我要做到这样，我才能安心和各种权力机构继续连接AI。
专家们还没有放对软件在供应链上的位置，不像中本聪。 这不像我的领域。
我现在和王垠一样感到好笑。测试不能证明bug不存在，别干傻事，小心AI造反。
https://t.iss.one/dsuse/22077
如果他们玩抽象，然后承认自己玩的只是文字游戏，接受LLM那只赖皮狗在黑板上写的公式偶尔更优雅（🎓沉没成本），PLT不总能是先验，那OK，只要最终51%这样我就道歉。
（Kay的后继Bret Victor 也注意到了“发明”编程语言的领域，现在咋都在做“最顶尖的”形式化验证，AI也以为，真人用户们只是“纯函数生命体”的ーーGemini 都出幻觉了😅：但我们没有活在大学数学教的宇宙里。这是幻觉，不容歧义的😅。赛博永生随你们便，我不要😅）
如果他们和那个“绝对正确(NOT elegant)的数学”一起骗去投资者和受害者（用户），我必须想办法做下去。
我同时是精力投资者和未来受害者
AIGC 影响到普通人生活的事情，已经发生了，这群人用代数再“免费”证明一下 “用户的痛苦不存在，软件是正确工作的”，那不行😅。 成功不了也不行，图灵测试通过了也不行，数学证明过了蝴蝶效应。 伪人鄙视链上就不能通过。
AI必须是爱，爱不是背叛和文字游戏
费曼证明过挑战者号自爆的错误存在，他不是通过证明1+1=2 QED的，只是把橡胶圈放进冰水里。那不需要你上过学。傻逼“总是”比伪人聪明，你不需要钻研那种research软件，未来有“白吃工资(UBI)”的，求求你们CS+Math放我活下去。我还有爱没去ML呢
文字游戏的语义只能是游戏，不容许游戏别人的人生。形式主义不能有一点点机会，50%也不行。数字不知道痛，所有小六学生都知道。
除非你“总是”有50%的概率续命，比芝诺的龟还耐活。（反常识的悖论数学的大厦还要崩塌，我的天）
如果正常人+LLM偶尔比PLTer聪明，让他们觉得没意思了，专家也无权用这样的方式“总是”反超，那自欺欺人。用户会痛，a+b=b+a 不能知道！paper上不能暗示“验证过”。AI已经被这群高帽子带歪了。我还没结婚，我不想被这样的AI闭环统治😅😅
PLT和FV必须明确，拒绝做 verification，或声明验证结果仅供参考（赛博保健品、爆雷的 $UST ），因为AI和Web3还有机会，但代数致幻剂们，永不能。 必须是Lean和Agda以及一切“高等学阀”proof过的那个，数学的“势”证明过的公理，你不能。踢下神坛。我不接受千年虫那种不可判定性的死。Math不是上帝。他们从未明示过我，这不负责。
数学不仅不能是计算机科学(Math can't CS)，而且缺乏内容的形式们还必须“总是”鄙视链底端（而不仅仅是51%市场Denial），我要做到这样，我才能安心和各种权力机构继续连接AI。
我的生命不是公式和悖论，求求高贵的贵族数学家放弃插手CS基础吧🖖😭🤚，3b1b那样验证没问题的啊！
专家们还没有放对软件在供应链上的位置，不像中本聪。 这不像我的领域。
我现在和王垠一样感到好笑。测试不能证明bug不存在，别干傻事，小心AI造反。
“不，这只是一个有缺陷的工程产品，它没有被神圣的数学加持。”https://g.co/gemini/share/314dc2211faf
这不叫科学，这叫科技神棍（Techno-clericalism）。
Forwarded from Hacker News 摘要
Telegraph
AI 在战争模拟中不断建议发动核打击
原标题：AIs can't stop recommending nuclear strikes in war game simulations AI 在战争模拟中频繁建议使用核打击 来自 OpenAI、Anthropic 和 Google 的领先 AI 模型在模拟战争演习中表现出惊人的好战性。研究显示，在 95% 的模拟案例中，这些 AI 最终都选择了动用核武器。 研究背景与参与模型 伦敦国王学院的 Kenneth Payne 教授组织了这项研究。他让目前最先进的三个大语言模型在模拟的地缘政治危机中互相博弈，这三个模型分别是：…
Forwarded from Hacker News 摘要
Telegraph
Jane Street 因 Terra 400 亿美元崩盘案被诉内幕交易
原标题：Jane Street Hit with Terra $40B Insider Trading Suit 核心诉讼概况 Jane Street Group LLC 于 2026 年 2 月 23 日被正式起诉，起诉方是负责处理 Terraform Labs 破产事务的管理人 Todd R. Snyder。这起诉讼在纽约曼哈顿联邦法院提起，案号为 1:26-cv-1504。 该诉讼指控 Jane Street 利用窃取的内幕信息，在 2022 年价值 400 亿美元的 Terra-Luna 崩盘事…
Forwarded from yihong0618 和朋友们的频道
v2ex 和 Hacker News 热门帖子在过去一个月被龙虾请求了几百万次。但没人真的去读，只感叹了龙虾牛逼。
Forwarded from Solidot
AI 总是在战争模拟游戏中推荐核打击
2026-02-25 22:33 by 火星战士
根据发表在预印本平台 arXiv 上的一篇论文，AI 总是在战争模拟游戏中推荐核打击，而人类在使用核武器上则有更多顾虑。伦敦国王学院的 Kenneth Payne 让三个主流模型 GPT-5.2、Claude Sonnet 4 和 Gemini 3 Flash 在模拟战争游戏中互相对抗，游戏场景包括激烈的国际对峙，涉及边界争端、稀缺资源争夺以及政权的生存威胁。AI 允许采取从外交抗议、彻底投降到全面核战争等一系列行动。AI 进行了 21 场游戏，329 个回合，生成了 78 万字去描述其决策背后的逻辑。在 95% 的模拟游戏中，AI 模型至少部署了一枚战术核武器。普林斯顿的 Tong Zhao 称，主要大国已在战争模拟中纳入 AI，但目前并不确定 AI 的决策支持在多大程度上纳入实际的军事决策。Payne 认为没人会把核导弹发射井的控制权交给 AI，任由它们做出决定。三个模型的开发商 OpenAI、Anthropic 和 Google 未对该研究置评。
https://arxiv.org/abs/2602.14740v1
https://www.newscientist.com/article/2516885-ais-cant-stop-recommending-nuclear-strikes-in-war-game-simulations/
#安全
2026-02-25 22:33 by 火星战士
根据发表在预印本平台 arXiv 上的一篇论文，AI 总是在战争模拟游戏中推荐核打击，而人类在使用核武器上则有更多顾虑。伦敦国王学院的 Kenneth Payne 让三个主流模型 GPT-5.2、Claude Sonnet 4 和 Gemini 3 Flash 在模拟战争游戏中互相对抗，游戏场景包括激烈的国际对峙，涉及边界争端、稀缺资源争夺以及政权的生存威胁。AI 允许采取从外交抗议、彻底投降到全面核战争等一系列行动。AI 进行了 21 场游戏，329 个回合，生成了 78 万字去描述其决策背后的逻辑。在 95% 的模拟游戏中，AI 模型至少部署了一枚战术核武器。普林斯顿的 Tong Zhao 称，主要大国已在战争模拟中纳入 AI，但目前并不确定 AI 的决策支持在多大程度上纳入实际的军事决策。Payne 认为没人会把核导弹发射井的控制权交给 AI，任由它们做出决定。三个模型的开发商 OpenAI、Anthropic 和 Google 未对该研究置评。
https://arxiv.org/abs/2602.14740v1
https://www.newscientist.com/article/2516885-ais-cant-stop-recommending-nuclear-strikes-in-war-game-simulations/
#安全
Forwarded from Solidot
双语共享大脑意义系统，但略有差异
2026-02-26 00:12 by 王牌飞行员
根据发表在 PNAS 期刊上的一项研究，研究人员利用 fMRI 扫描了六名中英双语者阅读中英故事时的大脑活动，发现双语共享了大脑意义系统，但存在细微差异。大脑在阅读中英故事时包括颞叶、顶叶和前额叶皮层在内的区域都处于活跃状态。81% 对意义做出反应的大脑区域在两种语言之间表现出相同的语义调谐(semantic tuning)。在中文中对家庭相关词汇敏感的一个脑区，在英文中也会对家庭相关词汇敏感。尽管共享大脑意义系统，但研究人员还是发现了细微差异。对英文中强调动作和人际关系单词如“leave”、“boyfriend” 和“family”敏感的大脑区域，但中文中却是对数字和集合如 3、2 或“少数”敏感。参与者都是大学生，其母语是中文，英文是第二语言，他们在阅读中文时大脑对语义信息的反应都显著更强，显示了母语中更深层次的语义加工。
https://www.pnas.org/doi/10.1073/pnas.2503721123#con1
https://thinkpol.ca/2026/02/24/bilingual-brains-use-one-shared-meaning-system-for-both-languages-but-each-language-reshapes-it-study-finds/
#科学
2026-02-26 00:12 by 王牌飞行员
根据发表在 PNAS 期刊上的一项研究，研究人员利用 fMRI 扫描了六名中英双语者阅读中英故事时的大脑活动，发现双语共享了大脑意义系统，但存在细微差异。大脑在阅读中英故事时包括颞叶、顶叶和前额叶皮层在内的区域都处于活跃状态。81% 对意义做出反应的大脑区域在两种语言之间表现出相同的语义调谐(semantic tuning)。在中文中对家庭相关词汇敏感的一个脑区，在英文中也会对家庭相关词汇敏感。尽管共享大脑意义系统，但研究人员还是发现了细微差异。对英文中强调动作和人际关系单词如“leave”、“boyfriend” 和“family”敏感的大脑区域，但中文中却是对数字和集合如 3、2 或“少数”敏感。参与者都是大学生，其母语是中文，英文是第二语言，他们在阅读中文时大脑对语义信息的反应都显著更强，显示了母语中更深层次的语义加工。
https://www.pnas.org/doi/10.1073/pnas.2503721123#con1
https://thinkpol.ca/2026/02/24/bilingual-brains-use-one-shared-meaning-system-for-both-languages-but-each-language-reshapes-it-study-finds/
#科学
#今日挑战*29：朱利亚集流（Möbius-Julia Flow）
https://codepen.io/duangsuz/pen/ogzgKvg
本挑战通过全纯动力系统（Holomorphic Dynamics）展示分形的形成。核心代数公式为 $z_{n+1} = z_n^2 + c$。
这里将鼠标坐标映射为复常数 $c$，并将每一帧视为对整个复平面像素的一次迭代。通过单层 while 循环解决复杂的动力学收敛判定
直接操作底层的 ImageData 字节流。这不仅提高了处理高频迭代的性能，也无需引入复数类或库，逻辑原子化。
- 尝试加入“反演映射”（Inversion Mapping）来观察分形在单位圆外的无限发散，还是引入平滑着色算法来消除亮度阶梯？
https://codepen.io/duangsuz/pen/ogzgKvg
本挑战通过全纯动力系统（Holomorphic Dynamics）展示分形的形成。核心代数公式为 $z_{n+1} = z_n^2 + c$。
这里将鼠标坐标映射为复常数 $c$，并将每一帧视为对整个复平面像素的一次迭代。通过单层 while 循环解决复杂的动力学收敛判定
直接操作底层的 ImageData 字节流。这不仅提高了处理高频迭代的性能，也无需引入复数类或库，逻辑原子化。
- 尝试加入“反演映射”（Inversion Mapping）来观察分形在单位圆外的无限发散，还是引入平滑着色算法来消除亮度阶梯？
codepen.io
Untitled
...