Solidot
47.4K subscribers
30.6K links
solidot.org 非官方 RSS 推送频道。如有侵权,立即删除。
→ Buy Ads: https://telega.io/c/solidot
Download Telegram
25 名菲尔茨奖得主发表公开信批评 AI 公司

2026-09-12 20:17 by 无尽的边界

包括陶哲轩、新晋得主邓煜在内的 25 名菲尔茨奖得主发表公开信《A Severe Misalignment of AI in Mathematics》,批评 AI 公司最近的所作所为。公开信称,“过去几个月 LLM 的数学能力有飞跃式提升,甚至达到了能解决数学领域重大悬而未决问题的地步。但各大 AI 公司仅仅将解决数学问题作为基准测试(Benchmark)推动的技术竞赛,却对数学这门科学以及整个数学界构成了伤害。AI 公司的目标与数学界的本质目标之间存在着严重错位(Misalignment)。”这是 AI 影响科学与创意行业乃至整个社会的对齐(alignment)危机的一个缩影。“最近几个月 AI 在解决重大数学难题上取得的突破甚至冲出数学界,登上了大众媒体的头条。然而解决问题仅仅是达成概念理解与深刻洞察这一核心目标的工具和替代指标。在 AI 浪潮中忽略这一点,无异于异化了工具,使其走向核心目标的对立面。事实上,以越来越快的节奏批量生产‘真/假’断言,非但无法为新思想注入生命力,反而可能毁掉孕育创新的沃土。AI 的解答往往发布得过于仓促,甚至没有留出足够时间去编写一份严谨且规范的论文,无法去提炼其中蕴含的新方法与新思想,也无法合理引用前人的相关工作。正如在所有创意行业中发生的一样,这引发了严重的归属权认定与学术剽窃问题。此外,如果没有心怀热忱的数学家去负责对其进行后续开发并融入数学规范体系,AI 所孕育的思想就永远无法真正获得生命,数学家之间至关重要的人际传递纽带也将断裂。”

https://mathandai.org/

#人工智能
👍31👎7🤪7🤔3🔥2
克雷数学研究所就 Navier-Stokes 问题发表公开声明

2026-09-12 23:31 by 月光狂想曲

OpenAI 本周早些时候宣布通过动用约 1 万个 AI 智能体进行长达 88 小时的攻坚,于 9 月 5 日发现了一个 Navier-Stokes 方程失效的特例。Navier-Stokes 问题是克雷数学研究所列出的七大千禧年数学问题之一,它为每道题的解决提供了一百万美元奖金。目前七大问题只有庞加莱猜想确认解决,但解决该问题的俄罗斯数学家格里戈里·佩雷尔曼拒绝接受该奖。克雷数学研究所就此公开声明,表示将根据其评奖流程确认成果。根据克雷数学研究所的规则,OpenAI 首先需要在同行评审的期刊上发表解题结果,需要至少发表两年并且获得数学界的普遍认可。OpenAI 至今没有给出 Navier-Stokes 问题的证明,因此确认该问题被解决至少需要到 2029 年。

https://www.claymath.org/wp-content/uploads/2022/03/millennium_prize_rules_0.pdf
https://www.claymath.org/news/navier-stokes-announcement/

#数学
🔥101
Waymo 举报了两名携带幽灵枪的青少年乘客

2026-09-12 23:53 by 歌剧院魅影

Waymo 举报了两名携带幽灵枪的年轻乘客。事件发生在 9 月 3 日凌晨 4 点前,地点是旧金山的 Richmond 区。Waymo 发言人称,它在检测到乘客携带枪支之后,停下了无人出租车,通知了执法部门。旧金山警方拘留了两名未成年青少年,一名男孩和一名女孩,搜查汽车后发现了一支已上膛的 AR 风格突击步枪。两名乘客已被送往少年拘留中心。这不是 Waymo 第一次举报乘客,它在今年 7 月曾举报了玩玩具枪的两名青少年乘客。

https://www.latimes.com/california/story/2026-09-12/juveniles-riding-in-waymo-arrested-after-police-find-ghost-gun

#Google
👍12👎9🔥1🤔1
墨西哥毒贩涉足加密货币挖矿

2026-09-13 00:49 by 科玛

墨西哥贩毒集团涉足了加密货币挖矿业务。墨西哥警方在 Puebla 州的 Sierra Norte 地区发现了一个用电量远超周边村庄的矿场,查获了 300 个 GPU、80 个中压终端设备以及 8 个卫星天线。虽然就国际商业规模而言,该矿场的规模相当较小,但这已是自去年年初以来该地区发现的第四个加密货币矿场。根据区块链分析公司 Chainalysis 对流向非法钱包地址的交易量进行的分析,全球范围内非法加密货币交易在 2025 年增长一倍以上,与犯罪活动相关的地址接收的资金总额达到 1540 亿美元,而前一年仅为 590 亿美元。拉美的贩毒集团也愈来愈频繁利用加密货币转账和挖矿洗钱。电力是加密货币挖矿的最主要成本,挖一枚比特币的成本接近 4.5 万美元。按当前约 7.8 万美元的市场价出售,矿场仍能有可观的利润。如果矿场还能偷电,那么利润会更高。

https://www.reuters.com/world/americas/hidden-crypto-farm-mexican-mountains-puts-spotlight-cartel-funding-2026-09-12/

#犯罪
🔥5🥰5
暴雪宣布 FPS 版《星际争霸》

2026-09-13 11:10 by 开普勒62号6:秘密

暴雪宣布了 FPS 版《星际争霸》,游戏仍然处于早期开发阶段,目标发售时间是在 2030 年。暴雪称,新作是一款开放世界、剧情驱动的科幻射击游戏,故事背景设定在《星际争霸 II》事件发生后数十年,是《星际争霸》宇宙中的一款全新作品。RTS 版《星际争霸》于 1998 年发布,2015 年发布了《星际争霸II》三部曲中的第三部《虚空之遗》,时隔 11 年之后宣布的正统续作不再属于 RTS。FPS 版《星际争霸》游戏设定在 Koprulu 星区(Koprulu Sector),时间位于《虚空之遗》剧情结束后的 70 年。

https://www.youtube.com/watch?v=9eQUtOQXYgQ
https://variety.com/2026/gaming/news/starcraft-3-release-2030-1236859626/

#射击
🔥11👎4🤩31🤡1
北京全面限制无人机

2026-09-13 21:01 by 奇迹之夏

北京市政府公布了新修订的《北京市无人驾驶航空器管理规定》,全面限制无人机。《规定》)将自 2026 年 11 月 15 日起实施。《规定》明确,本市行政区域全域为无人驾驶航空器管制空域,禁止在本市行政区域内实施无人驾驶航空器飞行活动,禁止在本市行政区域内持有、存放无人驾驶航空器及其核心部件,禁止运输、携带无人驾驶航空器及其核心部件进入本市行政区域。《规定》还要求特殊保障单位应当建立安全管理制度,明确管理责任,防止发生安全事件,特殊保障情形的飞行活动严格按照国家有关规定执行。

https://www.beijing.gov.cn/ywdt/yaowen/202609/t20260913_4861674.html

#长城
🤡33🖕4👍1👎1🔥1
Matt Mullenweg 据报道恢复了对 Automattic 的控制

2026-09-13 22:20 by 哈尔的移动城堡

被董事会强制休假的 Matt Mullenweg 称恢复了 Automattic CEO 的职务。Automattic 可能发生了类似 OpenAI 的小型“未遂政变”。Automattic 旗下包括 Wordpress.com、Tumblr 和 Beeper 等业务。本周早些时候 Mullenweg 通过公司 Slack 频道指责首席财务官 Mark Davies 与董事会串通,董事会投票决定由 Davies 担任临时 CEO。两天后,Mullenweg 称董事会已重新达成一致,他本人恢复了对 Automattic 控制。而 Davies 的 Slack 账户则被停用了,Automattic Slack 频道中的所有管理员也都被移除了。

https://www.theverge.com/tech/994087/matt-mullenweg-automattic-ceo-return

#商业
4🔥1
宇树如何将机器狗的价格降至 2000 美元

2026-09-13 23:23 by 拥王者的女儿

宇树的机器狗除了做些花哨动作外可能用处不大,但它拥有一个巨大的优势:价格极其平民。George Mason 大学的机器人专家 Xuesu Xiao 教授称,十年前只有少数团队从事四足机器人的运动控制研究,因为只有这些团队能制造四足机器人,宇树进入市场之后推动了四足机器人运动控制研究的普及化。他的实验室里有四台宇树的四足机器人,每台售价约 1.5 万美元,以及波士顿动力的四足机器人 Spot,起售价 7.5 万美元。波士顿动力原本是这一领域的领导者,它在 2016 年 6 月发布了电动版的四足机器人 Spot,但直到 2020 年才上市销售。而宇树创始人王兴兴在 2016 年创办公司之后第二年就推出了第一款四足机器人产品莱卡狗(Laikago)。宇树在 2021 年推出了 Go1 系列四足机器人,其中 Air 型起售价 2700 美元。2023 年宇树发布了 Go2,价格更亲民——Air 版售价 1600 美元,性能更强的 Pro 版售价 2800 美元。Go2 Air 的价格仅为 Spot 的 3%。宇树的机器人为何如此便宜?Simplexity 公司拆解了一台 Go2,发现它使用了 12 个相同的电机,四条腿各由 3 个电机驱动。一个位于肩部的电机控制腿部角度,另外两个电机分别驱动腿部的两段结构。四个肩部的结构布局完全相同。复用组件和电机既降低成本,又减少了零部件数量。MAB Robotics 的电机与足式机器人专家 Jakub Bartoszek 指出,宇树电机磨损更快。而宇树在设计时也考虑了修复磨损机器人的便捷性。机器人专家称更换机器狗的一条腿可能只需要一分钟。 宇树还在名为减速器(reducer)的组件上降低成本。减速器是降低电机转速增大扭矩的传动装置,通常比电机还贵。Spot 腿部的两个电机配备了减速比为 51:1 的减速器,即电机转 51 圈腿部关节才完整转 1 圈,其优点是动作更精确,缺点是更昂贵。相比下宇树使用了减速比 6.33:1 的减速器。宇树可能在模仿大疆,即快速迭代未成熟有缺陷但更低成本的产品而占领市场,通过销量增长将更多组件纳入自主生产,进一步降低成本,继续带动销量增长。相比大疆,宇树当前面临的竞争对手可能更多。

https://arstechnica.com/gadgets/2026/09/i-spent-4000-on-a-robot-dog-from-china/

#科技
👍8🤡8🐳21🤔1
青藏高原升温与加州的洪水相关

2026-09-14 13:58 by 2010太空漫游

受拉尼娜(La Niña)气候的影响,加州通常会在冬季面临干旱。然而 2016-2017 年和 2022-2023 年两个冬季虽然都是拉尼娜气候,加州却反常的出现了强降水、洪水、大量降雪以及反复的大气河流事件。研究人员发现,在加州遭遇洪水前,青藏高原上空都出现了异常的升温。研究人员将青藏高原升温因素纳入气候模拟,发现能解释加州及周边的异常降雨。青藏高原升温之所以能影响大气,是因为该地区海拔极高。大片区域的海拔逾 4000 米,地面直接处于通常远高于低海拔地形的大气层中。如此广袤的高海拔地区温度发生变化,会进而改变气压场、高空风以及在亚洲上空移动的大型大气波动。这些扰动能为 Rossby 波(Rossby waves,即跨大陆与海洋的大气环流巨大蛇形波动)提供能量。模拟结果表明,在此类情境下,会出现一种从青藏高原向落基山脉延伸的波动模式。该波动横跨太平洋,改变了东北太平洋和北美西部的环流,进而影响了与大气河流及 Rossby 波破碎相关的气象条件。

https://www.abovethenormnews.com/2026/09/11/california-floods-linked-to-heat-thousands-of-miles-away-over-tibet/

#地球
💊9😢5🎉3👎1🔥1
中国要求电动汽车显示屏配备物理按键

2026-09-14 15:11 by 再会,谢谢所有的鱼

今天越来越多的汽车都配备了中央显示屏,厂商也将越来越多的功能整合到触摸屏控制系统中。但中国工信部起草了新规定,要求新车恢复提供关键功能的物理控制。新规将于 2027 年 7 月 1 日生效,增加了对实体控制的要求,明确规定物理控制应易于触及和使用,支持在驾驶过程中进行盲操作——即驾驶员无需视线注视即可操作相应的按键与开关。将雨刷器启动、转向灯控制等功能从触摸屏中剥离出来,旨在减少驾驶员在行车过程中注视并操作屏幕而产生的分心。奔驰等汽车厂商也开始重新引入物理按键。

https://www.bgr.com/2253682/china-is-bringing-back-physical-controls-for-cars/
https://openstd.samr.gov.cn/bzgk/std/newGbInfo?hcno=B86592BE40CD4694294CC5B254ACF651

#科技
👍32🔥1
微信蠕虫事件敲响 AI 安全警钟

2026-09-14 15:39 by 秘密团伙

微信在中国几乎已成为国家基础设施的一部分,融入了日常通信、政府服务和数字支付之中。正因如此加州一个小型研究团队最近的发现——一种利用人工智能构建的工具可以在短短几个小时内攻破数以百万计的账户——让专家和分析人士感到震惊。这证明,有了人工智能,即使是没有政府背景的小型团队也能对一款每月有 14 亿人使用的应用程序发起毁灭性的攻击。“从破坏力的角度来讲这个是非常强的,”上海复旦大学美国研究中心副主任赵明昊说。他表示,鉴于微信对中国公众的重要性及其庞大的用户群,搞垮这样一款应用程序的能力相当于“一种新的核武器”。这一发现进一步印证了研究人员的警告:人工智能黑客能力的发展速度超过了防御手段的跟进速度。Calif 展示了这款被他们命名为 WeWorm 的工具,它可以劫持微信用户的账户,拨打其联系人的电话,然后在无需任何人接听电话的情况下,在手机之间传播。Calif 表示,该公司花了一个多星期的时间构建了这个漏洞利用程序,并且已经向白宫和微信的母公司腾讯披露了该缺陷。

https://blog.calif.io/p/weworm
https://cn.nytimes.com/technology/20260914/china-ai-attack-wechat/

#安全
🤡216👏2🔥1🖕1
AI 时代隐晦式安全已死

2026-09-14 16:27 by 约翰的预言

安全工程领域有一种名为隐晦式安全(Security through obscurity)的设计方式,即只要网络和系统的架构以及任何漏洞或弱点保密或不为人知,它们就是安全的。但在 AI 辅助 bug 发现的时代,这种设计方式过时了。软件供应商和独立研究人员正利用 AI 智能体在各种产品和开源代码中搜寻漏洞——其中一些漏洞极其隐蔽且存在已久。这导致安全漏洞披露和补丁发布数量创下历史新高,同时也给项目维护者带来了巨大的积压事项。微软上周二释出例行安全更新,修复了 974 个 CVE 漏洞。趋势科技的 Dustin Child 指出,微软和 Adobe 所修复漏洞涉及的组件多年来基本无人问津,如 Telnet 客户端、Windows RNDIS、NFS Portmapper 和 Link Layer Topology Discovery。与此同时,攻击者也在利用 AI 对补丁进行逆向工程,在数小时内开发出相应的漏洞利用方法。在 AI 时代,攻击者无需成为某个领域的专家就能针对关键网络和设施发动破坏性网络攻击。

https://zh.wikipedia.org/wiki/%E9%9A%B1%E6%99%A6%E5%BC%8F%E5%AE%89%E5%85%A8
https://www.theregister.com/security/2026/09/13/security-through-obscurity-is-dead-and-ai-delivered-the-fatal-blow/5296000

#安全
😱7🔥1
日本无意结婚的男女比例都超两成

2026-09-14 17:56 by 父子双雄

日本国立社会保障与人口问题研究所公布了 2025 年出生动向基本调查。18-34 岁未婚人群“终生不打算结婚”的男女受访者比例首次都超过 2 成,其中男性为 24.0%,女性为 21.5%。表示“打算将来结婚”的人群中男性占 75.1%,女性占 77.8%。均首次跌破 8 成。回答结婚有好处的人群男性占 56.3%,女性占 63.4%,均创历史最低水平。夫妻理想中的子女数量比 2021 年上一次调查的平均 2.25 人减少 0.07 人至 2.18 人。计划生育的子女数量为 1.95人,自统计开始以来首次跌破 2 人。减少生育的原因回答“育儿和教育花费太高”的受访者达到 52.9%,比例最高。回答“不想高龄生育”(35.0%)和“无法再承受育儿带来的心理及身体负担”(27.8%)紧随其后。

https://cn.nikkei.com/politicsaeconomy/politicsasociety/63987-2026-09-14-05-00-16.html

#五七桐
🥱7🤔4🎉4🥰3🤓1