HN榜单(2026年10月08日 21:15 北京时间)


“Math 2.0”需要更全面地评估数学进步

Hacker News 首页,评论译成简体中文。

首页

排行第一:“Math 2.0”需要更全面地评估数学进步
作者对AI在数学领域的应用持怀疑态度,认为AI擅长整合大量信息,但数学领域分支众多,人类难以掌握。(405 分 · 396 条评论)
查看原文

排行第二:Opus 5.5六小时生成《看不见的城市》可视化
作者用Opus生成《看不见的城市》的可视化,提醒读者阅读时留白想象,不要直接查看。(45 分 · 13 条评论)
查看原文

排行第三:Zotero:学术软件的典范
作者盛赞Zotero,称其使用体验极佳,能自动同步并保存网页,方便标记和查阅。(60 分 · 16 条评论)
查看原文

排行第四:Telnet BBS指南
作者分享了一个旧的T.A.G. BBS网站,用户可以通过现代浏览器体验经典BBS游戏,如LORD、Trade Wars 2002等。(14 分 · 3 条评论)
查看原文

排行第五:Claude Haiku 5.5
作者使用Claude生成不同级别的俳句,展示AI生成诗歌的质量差异,最贵的版本用时5分钟9秒,最便宜的仅用7秒。(941 分 · 442 条评论)
查看原文

排行第六:15年寻找只发行过一次的乐队
作者分享了15年寻找只发行过一次的乐队的历程,最终在互联网上找到了相关信息。这条下面暂时没有抓到评论。(206 分 · 74 条评论)
查看原文

排行第七:OpenAI 撤回 3 篇数学论文
如果没有一个繁荣的数学社区指出这些问题,这些错误可能会一直存在。正如陶哲轩(Tao)指出的那样,自动化数学使这个社区面临风险。(112 分 · 88 条评论)
查看原文

排行第八:离网生活:Hundred Rabbits
对这些人没有任何恶意,他们的项目非常有趣,如果这是你想要的生活方式,那就去做吧!但不得不说,离网生活本质上是自我中心的。放弃社会而不是尝试在社会中好好生活,总是死胡同。这是我的看法。说要独自生活很容易,但留下来并改善它,不仅为自己,也为其他人,更有价值。(276 分 · 93 条评论)
查看原文

排行第九:Margaret Hamilton 去世
我曾有机会见到她和其他在麻省理工学院仪器实验室(Draper Lab)工作的人。我所在的初创公司获得了一家由阿波罗时代的其他 Draper Lab 成员创办的风险投资公司的资金。我完全超出了我的能力范围与他们交谈。这是三十年前的事了,我记得她谈论形式化的控制系统。这非常有趣,但我完全听不懂。我的初创公司是一家相当愚蠢的多媒体 CD-ROM 公司,我只是很高兴能在这个房间里。(1773 分 · 190 条评论)
查看原文

排行第十:GPT-6 和面向所有人的智能 UI
我对 5.6 和 6 的周日烤肉比较很感兴趣。大多数人可能会更喜欢 6,但我几乎被所有图像、不必要的空白区域和复选框所反感。感觉像是在被居高临下地对待,像对待孩子一样。鉴于 OpenAI 在谈论将工作与聊天合并(我认为这是一个糟糕的想法),而 Work 与 Codex 非常相似,我真心希望这些东西不会对实际的工作工具产生任何有意义的影响。(682 分 · 399 条评论)
查看原文

排行第十一:Rosalind Franklin 在她的标志性 DNA 图像中错过了螺旋吗?她
令人难过的是,尽管有这种澄清,但在学校里,它仍然会被教授为沃森/克里克的发现,而不是富兰克林的。这就像电话仍然被教授为贝尔的发明,而不是他在专利局工作时窃取的东西,爱迪生因为灯泡而获得荣誉,尽管他是个后来者。一旦这些事情被印刷出来,就很难改变它们。我记得在学校里曾经被教过一些东西(不记得是什么了),然后发现事实并非如此。(218 分 · 80 条评论)
查看原文

排行第十二:Anne Carson 获得 2026 年诺贝尔文学奖
实至名归。她的《红的自传》非常出色,片段式的结构赋予每个词神话般的重量。(33 分 · 2 条评论)
查看原文

排行第十三:乔纳森是地球最老陆生动物
我们不需要治愈死亡,只需解决脱发和皮肤老化问题,就能催生价值50万亿美元的新企业市场。(188 分 · 105 条评论)
查看原文

排行第十四:数学界的末日
数学本是AI的理想领域,但这篇论文写得混乱不堪,充满术语堆砌却无实质论证,读起来像迷幻药影响下的产物,许多证明根本无法验证。(290 分 · 306 条评论)
查看原文

排行第十五:Show HN:Bigwords.page
用URL直接作为消息内容,无需后端或存储。通过URL片段配置显示信息,浏览器不发送片段到服务器,确保用户隐私,完全无痕。(564 分 · 143 条评论)
查看原文

排行第十六:Cleo(数学家)
有人在2023年底分析Cleo的活动,但其实早在4月就有人察觉异常,相关线索可追溯至X平台的公开讨论。(183 分 · 37 条评论)
查看原文

排行第十七:AHM对OpenAI数学文档发布声明
这正是保罗·G多年前警告过的语言风格,如今完全应验,所有预警特征都已出现。(18 分 · 6 条评论)
查看原文

排行第十八:Dat生态:P2P协议上的高阶应用
Dat仍活跃,但缺乏移动端NAT穿透解决方案和持续种子激励机制,这些协议始终难以脱离爱好者圈子。(25 分 · 12 条评论)
查看原文

排行第十九:经典PC演示作品在浏览器中原生运行
我理解在浏览器中播放旧演示可能很好,但请让AI远离演示场景。我从事演示场景近30年,它是我生活的重要部分。我真担心使用AI构建工具和代码演示会破坏它,因为这正是其有趣之处的核心。我想被真实人类的知识、技能和创造力所打动,而不是你的提示能力。尤其是,我讨厌AI重制选项。(110 分 · 94 条评论)
查看原文

排行第二十:血腥穴居人
这条下面暂时没有抓到评论。(19 分 · 2 条评论)
查看原文

排行第二十一:用于配置拉取请求访问的新仓库设置
锁定拉取请求的做法对大多数人来说是错误的。应提供一个子标签页在拉取请求标签下,显示新用户的拉取请求。一个标签页用于已有拉取请求的贡献者和用户,另一个标签页用于首次提交或尚未批准拉取请求的用户。维护者可将其视为垃圾箱。偶尔,用户可标记为有用,维护者可查看。添加按钮将拉取请求从其他标签移至主标签。(29 分 · 17 条评论)
查看原文

排行第二十二:在维也纳和北京,第一批(钍)核时钟开始滴答
《自然》杂志发布的文章,因纽约时报未提供链接: https://www.nature.com/articles/s41586-026-11084-4(122 分 · 38 条评论)
查看原文

排行第二十三:分享人工智能在数学领域的进展
我曾长期沉迷于图论,甚至为研究大师们移居布达佩斯。在那里我开始研究巴内特猜想,并在此后24年里断断续续投入,即使去年夏天我以为已解决。但该问题被列为已证明的第180题。我不知如何判断——我为此投入了数千小时,非常享受这个过程。(1289 分 · 1464 条评论)
查看原文

排行第二十四:Docker代理
看到其他人的编排方法很有趣。我一直在开发Pullboard并刚开源: https://github.com/pullboard-dev/pullboard。对我来说,编排并非核心问题。更大的挑战是长期维护代理一致性(漂移),因此我的方案是类似论坛的活跃系统,代理互相呼喊、用条目记录工作,并遵循开发者传递的教义和已知规范。(264 分 · 121 条评论)
查看原文

排行第二十五:将if上移for下移:惯用法、代数及其局限
讨论是从计算机科学(算法优化)还是软件工程(代码设计)角度出发。从软件工程角度看,建议创建一个明确处理集合的flatmap函数,具体实现不重要。如果语言/框架已有兼容的flatmap函数,可制作一个返回必要值的frobnicate函数。从计算机科学角度看,从集合到集合的过滤操作可能更高效。(162 分 · 73 条评论)
查看原文

排行第二十六:Braid 游戏中的时间旅行
这条下面暂时没有抓到评论。(8 分 · 0 条评论)
查看原文

排行第二十七:网页上的动画ASCII艺术
这真是我长时间以来在网上看到的最棒的东西之一。(393 分 · 70 条评论)
查看原文

排行第二十八:维多利亚时代的精英为何如此有效?
文章没有提供具体数据说明其有效性。现代标准下,实际治理帝国的人数很少。例如,1816年伦敦殖民办公室只有14名员工,到1850年增长到约25人。(189 分 · 315 条评论)
查看原文

排行第二十九:浏览器中的模拟模拟计算机
通过调整右侧的系数电位器,可以改变默认设置中的衰减电压。这是一个模拟计算机的浏览器模拟器。(31 分 · 10 条评论)
查看原文

排行第三十:机器学习的精确性
感谢制作这个动画。我父亲在印度北部的一个小镇上经营过一个机床制造厂,后来转行制造铸铁零件。这个动画勾起了许多回忆。(195 分 · 65 条评论)
查看原文



扫描二维码,在手机上阅读

OpenBMB:Jev 引发了一个有趣的问题:为什么生成一段话,让代理做出决…

阶跃星辰:第五步预览现在可以在你构建的地方使用。现在已经在 @Open…

评 论
评论已关闭