30563
solidot.org 非官方 RSS 推送频道。如有侵权，立即删除。 关联： @idaily_magazine @dailyart_magazine @readhub_cn
华为致力于将鸿蒙变成中国的 Android
2023-12-18 21:03 by 人猿泰山之挚友金狮
福布斯报道称，华为正致力于在中国境内用鸿蒙取代 Android。上个月，来自工商银行、中国电信、美团和百度等国有和私有企业的数百名技术专家聚集在北京。会议目的是让员工接受培训获得华为鸿蒙开发者认证。在被禁止使用 Google 应用四年之后，华为想要打败 Android 让鸿蒙成为中国默认的移动操作系统。在中国智能手机市场，鸿蒙系统以 10% 位居第三，远落后于 Android 的 72%，但距离 iOS 的 17% 并不远。华为此前表示，截至 8 月有逾 7 亿台设备运行 HarmonyOS，逾 220 万开发者正致力于构建鸿蒙生态系统。明年将是一个关键时刻，华为表示鸿蒙将不再兼容 Android 应用。
https://mobile.slashdot.org/story/23/12/16/2012222/is-huawei-pushing-forward-with-an-ambitious-plan-to-dethrone-android
https://www.forbes.com/sites/ninaxiang/2023/12/13/chinese-telecom-giant-huawei-pushes-forward-with-ambitious-plan-to-dethrone-android/
#长城
卡塔尔航空因差评封杀了一名 YouTube 主播
2023-12-18 17:12 by 刀剑神域进击篇05
卡塔尔航空公司因差评封杀了 YouTube 主播 Josh Cahillm，他拍摄的航班机组人员也遭到解雇。Josh 是一位专注于评价航班的主播，他在 8 月发表了一则视频抨击了卡塔尔航空。几天后卡塔尔航空联络了他，称他的视频对航空公司造成了负面影响，要求删除视频，表示将提供一次免费航班。他拒绝了。卡塔尔航空又要求删除视频中空乘抱怨工作条件的视频，他再次拒绝。几天后他被列入了航空公司的黑名单，以未经许可拍摄视频为由取消了他预定的航班。他还听到尚未证实的传言称他拍摄视频的整个机组人员全部被解雇。
https://onemileatatime.com/news/qatar-airways-bans-youtuber-negative-review/
#商业
Iterate.ai 开源能识别武器的 AI 系统
2023-12-18 14:29 by 一九八四
Iterate.ai 开源了能识别武器的 AI 系统 Weapon Detection Web Application (WEPWEB)，源代码采用 MIT 许可证托管在 GitHub 上。Iterate.ai 的团队使用了逾 2 万个闯入和武装抢劫视频进行训练，并雇佣了 DEA（美国缉毒署）的一名前特工帮助测试，软件运行在英伟达显卡上，能即时检测出数十种枪支类型、防弹背心、巴拉克拉瓦盔式帽和刀具。开源是为了帮助学校和非盈利组织提高安全性，在发生武装入侵的情况下挽救生命。
https://news.slashdot.org/story/23/12/17/072222/iterateai-open-sources-a-new-ai-system-that-can-recognize-weapons
https://github.com/IterateAI/OpenThreatDetection/tree/dev
#开源
微软宣布 Windows Protected Print Mode
2023-12-17 21:44 by 会飞的人
微软宣布了 Windows Protected Print Mode(WPP)，进一步加强 Windows 打印系统的安全性。微软称，因为打印系统的高权限，它一直是攻击者的主要目标。而保护打印系统的一大挑战之于第三方打印驱动。微软前不久已经宣布将禁用第三方打印驱动。WPP 旨在构建一个更现代、更安全的打印系统，未来 WPP 将会默认启用，而一旦 WPP 默认启用，内置的 Print Spooler 系统将不再以 SYSTEM 权限运行，而是以受限服务启动。这将大大降低 Spooler 作为潜在攻击目标的吸引力。微软还将在 WPP 中引入多个增加利用难度的缓解措施，其中包括控制流执行技术，子进程创建禁用，重定向防护和任意代码防护，等等。
https://techcommunity.microsoft.com/t5/security-compliance-and-identity/a-new-modern-and-secure-print-experience-from-windows/ba-p/4002645
#打印机
Debian 准备停止支持 i386 架构
2023-12-17 19:17 by 图夫航行记
Debian GNU/Linux 发布团队在最近的 DebConf 迷你会议上做出决定：在不久的未来 Linux kernel、Debian Installer 和 Debian 镜像团队将停止支持 i386 架构。此后运行 i386 有两个选项：作为 amd64 上的多架构选项；作为另一个架构系统上的 i386 chroot。大部分 Linux 发行版都早已停止支持 i386，Debian 最终做出这一决定并不令人意外。Debian 大约每两年发布一个大版本，最新版本 Debian 12 Bookworm 是在 2023 年 6 月发布的，下一个版本代号为 Trixie 的 Debian 13 预计要到 2025 年。
https://www.phoronix.com/news/Debian-Plans-Cease-i386
#Debian
土星卫星恩克拉多斯有适合生命的成分
2023-12-16 23:27 by 图书馆员与黄金锅
对卡西尼号任务数据的重新分析表明土星卫星土卫二(恩克拉多斯)释放的气体羽流中包含甲醇、乙烷和氧等分子。卡西尼号飞船在 2005 年首次发现了大量物质羽流从土卫二的南半球逃逸到宇宙空间。这些羽流似乎是来自卫星冰面裂缝下的地下海洋。对收集于 2011 年和 2012 年两次飞越期间的卡西尼号离子和中性质谱仪（INMS）数据的分析，确定了样本中存在水、二氧化碳、甲烷、氨和分子氢。哈佛大学研究团队重新检查了 INMS 设备团队处理的数据，将之与一个大型已知质谱库进行了比较。使用统计分析技术分析了羽流物质数十亿种可能的成分，他们发现最有可能的组成是 5 种已经识别出来的分子和新识别的碳氢化合物氰化氢、乙炔、丙烯和乙烷，以及醇类（甲醇）和分子氧。土卫二表面之下可能符合宜居环境，或可支持微生物群。
https://www.space.com/moon-enceladus-harbors-key-ingredient-for-life
https://news.sciencenet.cn/htmlnews/2023/12/514276.shtm
#太空
贝佐斯表示 Blue Origin 需要加快速度
2023-12-16 22:40 by 继位之争
贝佐斯 (Jeff Bezos)接受采访时承认他的火箭公司 Blue Origin 进展过于缓慢。传闻 Blue Origin 与 SpaceX 在工作方式上是两个极端：SpaceX 要求雇员经常加班，而 Blue Origin 则强调平衡工作和生活，其火箭开发慢到甚至亚马逊将用 SpaceX 的火箭发射其宽带卫星。现在贝佐斯表示 Blue Origin 需要加速。他说，“Blue Origin 需要更快，这是我几年前从亚马逊卸任 CEO 职位的原因之一。”他表示 Blue Origin 需要能量，需要紧迫感，需要更快行动。
https://science.slashdot.org/story/23/12/15/1450216/jeff-bezos-says-blue-origin-needs-to-be-much-faster
#商业
Firefox Android 版支持逾 450 个扩展
2023-12-16 18:29 by 黑珍珠魔咒
Firefox 的 Android 版本开始支持逾 450 个扩展，涵盖了反跟踪隐私保护、广告拦截器、生产力工具、串流音乐、用户界面个性化等各个方面，允许用户根据需要定制移动浏览器。Android 版 Firefox 此前只支持有限的几个扩展，主要是屏蔽广告的 uBlock Origin。今年 8 月 Mozilla 宣布完成了支持开放扩展生态系统所需的基础设施建设，开始逐渐对 Android 用户开放更多浏览器扩展。
https://addons.mozilla.org/en-US/android/
https://techcrunch.com/2023/12/14/three-years-after-its-revamp-firefoxs-android-browser-adds-450-new-extensions/
#Firefox
Google Groups 明年终止支持新闻组（Usenet）
2023-12-15 22:11 by 守卫者
Google Groups 从 2024 年 2 月 22 日起终止支持新闻组（Usenet）。Usenet 用户将无法再使用 Google Groups 在 Usenet 里发表内容、订阅或查看新的 Usenet 内容，但可以继续查看和搜索之前的内容。Google 的 Network News Transfer Protocol (NNTP) 和相应的对等操作将不再可用。Google 表示，Usenet 用户将需要寻找新的客户端和公共服务器。Usenet 始于 1980 年，比万维网的历史更长。Google 称，Usenet 的活跃度已经显著下降，充斥着垃圾信息。
https://support.google.com/groups/answer/11036538
#Google
A24 和小岛工作室制作《死亡搁浅》真人版
2023-12-15 20:50 by 电动新世纪
A24 工作室和小岛工作室宣布联合制作《死亡搁浅》的真人版。《死亡搁浅》是小岛秀夫离开科乐美之后推出的首款游戏作品，电影版将探索被称为“死亡搁浅”的末日事件的未解之迷，死亡搁浅事件模糊了生与死的界限，将噩梦般的生物引入到一个濒临崩溃的世界。小岛秀夫表示，A24 诞生于约十年前，它以制作高质量的独立电影著称，他本人也深受这些作品的影响。他表示《死亡搁浅》真人版不是直接翻拍自游戏，目标观众不只是游戏粉丝，而是适合所有人，将打造一个前所未见的《死亡搁浅》宇宙。
https://www.ign.com/articles/death-stranding-movie-coming-from-a24-kojima-productions
#游戏
加密钱包 Ledger 遭供应链攻击
2023-12-15 15:42 by 影舞
提供硬件和软件钱包的 Ledger 公司遭遇了供应链攻击。它的一名前员工首先遭到了钓鱼攻击，黑客因此能访问到这名员工的 NPMJS 账号，然后发布了恶意版本的 Ledger Connect Kit——该库被其它公司和项目开发的 dApps（去中心化应用）用于连接 Ledger 的钱包服务。恶意版 Ledger Connect Kit 嵌入的恶意代码会将用户的加密货币转移到黑客控制的钱包。这次供应链攻击被 Ledger 很快监测到并迅速修复。恶意版本存活了大约 5 个小时。Ledger 发言人表示正在帮助受影响的用户。
https://it.slashdot.org/story/23/12/14/1858249/supply-chain-attack-targeting-ledger-crypto-wallet-leaves-users-hacked
#安全
太阳释放出一个 X2.8 级耀斑
2023-12-15 13:47 by 帽子里的天空
太阳于 12 月 14 日 1702 GMT 释放出一个 X2.8 级耀斑（X 级是最高强度的耀斑），这是 2017 年 9 月以来太阳释放的强度最高的耀斑。强耀斑通常会伴随着日冕物质抛射，直接喷向地球方向的日冕物质抛射通常会产生强地磁风暴。本月初地磁场在多个 M 级耀斑（次于 X 级）喷发的日冕物质抛射冲击后产生了 G3 级强地磁风暴。据 Spaceweather 报道，最新的 X2.8 级耀斑没有直接瞄准地球，但会有部分会擦过地球，时间是在 12 月 17 日。
https://www.space.com/sun-x-flare-december-2023-most-powerful-since-2017
https://spaceweather.com/
#太空
AMD 开源 FSR 3
2023-12-15 12:11 by 人猿泰山之夺命山谷
AMD 在 MIT 许可证下开源了 FSR（FidelityFX Super Resolution）3，与英伟达 DLSS 竞争的上采样技术，但与 DLSS 不同的是，它不依赖私有的 CUDA 核心，而是基于软件。FSR 3 组合了上采样和帧生成，它目前只支持 DirectX 12，对 Vulkan 的支持还在开发中，会在未来版本中发布。AMD 是在 9 月底发布了 FSR 3，当时只有《Forspoken》和《Immortals of Aveum》两款游戏支持，未来会有更多游戏支持，包括游戏科学的《黑神话：悟空》。
https://gpuopen.com/fidelityfx-super-resolution-3/
https://github.com/GPUOpen-LibrariesAndSDKs/FidelityFX-SDK
#开源
在朝鲜当小说家
2023-12-14 20:12 by 完美女孩
文学是朝鲜政府宣传的重要组成部分。任何有抱负的作家都需要在政府的作协登记，参加年度的写作研讨会。作协在各地都有办事处，作品根据意识形态价值进行评估之后才能在文学期刊上发表。作家的竞争非常激烈，文学上的成功意味着成为“职业革命家”，有很多福利：每年三个月的创意假，在国内自由旅行的许可，以及特殊住房优先分配。Kim Ju-sŏng 是一位有抱负的作家，他是在日本出生的朝鲜侨民，1976 年 16 岁时返回朝鲜定居，28 年后叛逃到韩国。他发表了一份回忆录《Tobenai kaeru: Kitachōsen sennō bungaku no jittai》，讲述了在朝鲜当小说家的生活。他是在 1980 年代加入朝鲜作协，当时普通朝鲜人能接触到的国外文学作品主要来自苏联和中国，他读过高尔基、契诃夫、托尔斯泰等俄作家的作品，也读过鲁迅的《阿Q正传》。但作家和精英们有机会接触到更多国家的翻译作品。
https://www.theguardian.com/news/2023/dec/12/my-doomed-career-as-a-north-korean-novelist
#媒体
泰议员因推文冒犯君主罪被判 6 年
2023-12-14 17:17 by 总门谷
29 岁的泰国国会议员 Rukchanok Srinork 被判处六年监禁，她被控犯有冒犯君主罪。原因是她在 X/Twitter 上曾发布的两条帖子。在第一条中，她被指发布新冠疫苗相关信息诽谤国王，第二条则转发了据称是批评君主制的推文。如果 Rukchanok 最终入狱，她将失去议员身份。她表示不认罪，准备提起上诉。她被以 500,000 泰铢保释，条件是她不得从事类似活动。Rukchanok 所在的前进党在今年的泰国众议院大选中获胜，该党曾誓言将修改冒犯君主罪的法律。由于参议院中的保守势力阻挠，该党领袖未能成为总理。Rukchanok 曾出人意料地在曼谷附近的挽汶选区赢得了席位。几十年来，当地都一直由泰国最强大的政治世家掌控。有泰国媒体给她起了个外号叫“巨人杀手”，因为她仅依靠骑着自行车走街串巷的竞选活动，就从一个重量级政治人物手中夺走了席位。目前，前进党其他几位主要人物也面临冒犯君主罪指控，其中许多人都是参加 2020 年抗议的活动人士。
https://www.bbc.com/news/world-asia-67690725
#审查
美国核聚变实验室多次实现“点火”
2023-12-18 18:22 by 人猿泰山之密林追踪
美国劳伦斯利弗莫尔国家实验室的国家点火装置（NIF）在 2022 年 12 月 5 日的实验中首次实现了聚变反应的净能量增益，即从聚变实验中产生的能量多于输入激光的能量——这种现象被称为“点火”。研究人员证明了这一壮举并非偶然，在过去的 6 次尝试中有 4 次实现了点火目标——创造的聚变反应产生了比太阳内部更大的压力和更高的温度。NIF 使用了 192 台激光器将氢同位素燃料球加热到超过 1 亿摄氏度，并施加逾 1000 亿倍地球大气气压的压力，使氢原子聚变并释放能量。这一过程模拟了太阳的核聚变。2022 年 12 月 NIF 首次实现了输入 2.05 MJ（megajoules） 输出 3.15 MJ，输出比输入多 54%。今年 7 月 30 日在输入能量 2.05 MJ 不变的情况下输出达到了 3.88 MJ，输出比输入多 89%。NIF 在 10 月的两次尝试都实现了点火，但 6 月和 9 月的两次实验输出能量略高于输入能量，不足以确认点火。
https://www.nature.com/articles/d41586-023-04045-8
#科学
英特尔、三星和台积电演示 3D 堆叠晶体管
2023-12-18 15:07 by 冰上斯芬克斯
三大先进芯片制造商英特尔、三星和台积电都演示了 3D 堆叠晶体管。芯片公司正从鳍式场效晶体管(FinFet)过渡到环绕闸极晶体管，下一个突破被称为互补场效应晶体管（CFETS）。CFETS 就是 3D 堆叠晶体管，在单个集成过程中能构建两类晶体管——nFETs 和 pFETs。专家估计 CFETS 将在 7-10 年之后投入商用，但在做好准备前还有很多工作要做。英特尔是三家公司中最早演示 CFETS 的，它在 2020 年的 IEEE International Electron Devices Meeting 会议上就展示了早期版本，最新报告使用 CFETS 制造了最简单点电路逆变器。英特尔称，在最大缩放尺度下，CFETS 逆变器是普通 CMOS 逆变器尺寸的二分之一大小。未来处理器的晶体管密度有望翻倍。
https://spectrum.ieee.org/cfet-intel-samsung-tsmc
#科技
米老鼠将于 2024 年 1 月 1 日进入公有领域
2023-12-18 13:52 by 人类之子
米老鼠或者是最早版本的米老鼠将于 2024 年 1 月 1 日进入公有领域。相比福尔摩斯和小熊维尼，米老鼠对于版权法的影响力和意义更为深远。美国将版权保护期限延长到 95 年，一个重要原因是迪士尼等公司的游说，因此该法律被笑称为“米老鼠保护法”。如此长的版权保护期限制了进入公有领域的作品，但另一方面迪士尼其实受益于公有领域作品，《冰雪奇缘》源自安徒生童话《冰雪女王》、《狮子王》源自莎士比亚的《哈姆雷特》和《圣经》，《爱丽丝梦游仙境》、《白雪公主》、《钟楼怪人》、《睡美人》、《灰姑娘》、《小美人鱼》和《匹诺曹》也都取材于经典童话和作品。米老鼠本身的形象也是借鉴了卓别林等早期电影明星的风格。米老鼠具有鲜明的象征意义。进入公有领域的版本是 1928 年上映的动画片《蒸汽船威利》中刻画的米老鼠，米老鼠有多个版本，后续版本仍然受到了版权保护，仍然掌握在迪士尼手中。
https://web.law.duke.edu/cspd/mickey/
#商业
美国官员称华为最新芯片性能落后
2023-12-17 21:13 by 蓝莓村
华为今年早些时候推出了搭载 7 纳米芯片麒麟 9000S 处理器的 Mate 60 系统智能手机，打破了美国对先进芯片的出口管控。此后美国商务部面临来自共和党的巨大压力，要求对华为以及代工芯片的中芯国际采取更强硬的立场。美国商务部官员本周表示，华为的芯片在性能和产量上都落后，内部半导体芯片性能比几年前更差，显示美国的出口管控对放缓先进技术的获取是有意义的。
https://mobile.slashdot.org/story/23/12/16/1943217/us-officials-doubt-the-performance-of-huaweis-advanced-chip
#USA
科学家确定怀孕期间呕吐恶心的原因
2023-12-16 23:51 by 外交豁免权
根据发表在《自然》期刊上的一项研究，科学家确定了怀孕期间呕吐恶心的原因：胎儿生长过程中产生的激素 GDF15。非孕妇血液存在 GDF15，因为能抑制食欲，它曾被测试帮助减肥。这种激素的水平在怀孕早期会急剧上升，在整个孕期不断增加。GDF15 水平越高孕妇越可能出现呕吐和恶心。有研究人员猜测激素引发的恶心可能旨在鼓励准父母避开对胎儿有潜在危险的食物。在这项研究中，研究人员测试了 6 名孕妇，她们产生的 GDF15 蛋白版本与胎儿略微不同，因此可以判断血液中增加的 GDF15 是来自孕妇还是胎儿。结果显示几乎所有的 GDF15 都来自胎儿。
https://www.nature.com/articles/s41586-023-06921-9
https://science.slashdot.org/story/23/12/15/0011204/scientists-pinpoint-cause-of-morning-sickness-to-hormone-made-by-fetus
#科学
曾呼吁植树的生态学家对种植同一种树发出警告
2023-12-16 23:09 by 破译滑铁卢
联合国“Trillion Trees Campaign（万亿颗树行动）”前首席科学顾问、生态学学家 Thomas Crowther 如今呼吁各国不要一窝蜂的植树，或者确切的说不要一窝蜂的种同一类树，这对环境多样性有害。他同时指出植树的蓄碳作用被夸大了，而且经常被作为避免真正减少排放的借口——企业选择通过植树在没有减少排放的情况下提升其“绿色资本（green credentials）”。Crowther 的新研究表明，保护现有森林比植树对气候影响更大。人工造林未必是好事。
https://science.slashdot.org/story/23/12/15/1510243/stop-planting-trees-says-guy-who-inspired-world-to-plant-a-trillion-trees
#地球
OpenAI 因字节跳动使用 GPT 训练自己的 AI 模型而封锁其账号
2023-12-16 22:11 by 超时空碎片
TikTok 母公司字节跳动一直秘密使用 OpenAI 的技术开发其代号为 Project Seed 的大模型。这种做法在 AI 领域通常被认为是令人尴尬的，也违反了 OpenAI 的服务条款——禁止将其模型输出用于开发竞争的 AI 模型。字节跳动的内部文件证实，在大模型开发的几乎每一个阶段，该公司都依赖于 OpenAI API。字节跳动员工在内部通信平台飞书中甚至讨论了“数据脱敏”。字节跳动员工经常达到 OpenAI API 的限额。在报道发表之后，OpenAI 发言人表示已经封锁了字节跳动的账号。
https://slashdot.org/story/23/12/15/2346251/openai-suspends-bytedances-account-after-it-used-gpt-to-train-its-own-ai-model
#人工智能
Stability AI 发布单幅图像生成 3D 对象的 Stable Zero123
2023-12-15 23:46 by 人猿泰山之绝地反击
Stability AI 发布了能根据单幅图像生成对象各个角度视图的模型 Stable Zero123。Stable Zero123 是基于 Stable Diffusion 1.5，生成一个视图消耗的内存与 Stable Diffusion 1.5 相同，但如果要生成 3D 视图需要更多时间和更多内存，建议 24GB。Stable Zero123 目前只支持研究目的的非商业使用。代码和权重发布在 Hugging Face 上。
https://stability.ai/news/stable-zero123-3d-generation
https://huggingface.co/stabilityai/stable-zero123
#人工智能
拼多多 Temu 指控竞争对手希音使用黑帮风格的恐吓手段
2023-12-15 21:21 by 造星主
拼多多旗下的电商 Temu 指控竞争对手希音使用黑帮风格的手段恐吓其供应商。Temu 称它提起诉讼是因为希音的行为升级了，“他们开始非法拘留商户，强行索要手机，盗取商户账号密码，窃取我们的商业机密，迫使商户离开我们的平台。他们的行为太夸张了；我们别无选择，只能起诉。”两家电商都瞄准低价市场，彼此之间有激烈竞争。两家公司都源自中国，供应商也主要来自中国，Temu 是拼多多首次进军国际电商市场。
https://www.cnbc.com/2023/12/14/online-retailer-temu-files-fresh-lawsuit-against-rival-shein-in-us.html
#商业
亚马逊宽带卫星用太空激光器传输数据
2023-12-15 20:33 by 索拉里斯星
亚马逊在今年 10 月发射了它的首批宽带卫星原型，它表示将使用太空激光器以在大洋中央确保可靠的宽带覆盖。这项技术将让卫星能向邮轮传输数据，即使卫星不处于亚马逊地面站的连接范围内。卫星能将请求发送到另一颗处于连接范围内的卫星。亚马逊表示它已经成功测试了被称为激光星际链路的技术。亚马逊 Kuiper 宽带卫星项目负责人 Rajeev Badyal 称，在大洋中央，即使能够安装卫星地面站，也是十分困难的。SpaceX 的 StarLink 卫星的早期版本不支持该技术，但过去两年发射的版本都支持。
https://tech.slashdot.org/story/23/12/14/1719214/amazons-internet-satellites-will-use-space-lasers-to-transmit-data
#互联网
研究发现 AI 聊天机器人并没有增加学校的总体作弊率
2023-12-15 15:05 by 哈尔的移动城堡
担心 AI 聊天机器人会帮助学生作弊？斯坦福大学的一项调查显示，AI 聊天机器人的普及并没有增加学校的总体作弊率，也就是统计上并不显著。研究人员调查了美国逾 40 所高中， 60- 70% 的学生表示最近有过作弊行为。这一比例与往年相近。斯坦福大学的 Denise Pope 表示，人们担心 AI 模型会带来全新形式的作弊，但数据并没有体现这一变化。研究结果挑战了 AI 聊天机器人正颠覆公立学校的观点。
https://ed.stanford.edu/news/what-do-ai-chatbots-really-mean-students-and-cheating
#人工智能
Google DeepMind 用大模型解决尚未解决的数学问题
2023-12-15 12:38 by 无敌号
Google DeepMind 的研究人员在《自然》期刊上发表论文，报告他们首次用大模型（LLM）发现了一个尚未解决的数学问题的解。Google DeepMind 的新工具被称为“FunSearch”，研究人员将一组产生创造性解决方案的 LLM 和一个作为检查者以避免错误建议的评估程序结合起来。接着将一个多次迭代此过程的演化方法，作为输入来引导 LLM。结果表明，这种方法可以得到新的、可验证的正确结果。他们将“FunSearch”应用到了著名的上限集问题（数学中涉及计数和排列领域的一个中心问题），发现了超越最著名上限集的大上限集新构造。研究人员表示，“FunSearch”的成功关键是它会寻找那些描述怎样解决问题的程序，而非直接寻找解决办法。因为“FunSearch”的结果易于被解释和验证，这意味着这一方法有望激发科学家在该领域的进一步思考。
https://www.nature.com/articles/s41586-023-06924-6?error=cookies_not_supported&code=c8d1cf21-a517-4260-99d4-1dfcdcc43680
https://news.sciencenet.cn/htmlnews/2023/12/514241.shtm
#人工智能
考古学家发现距今八千年的要塞
2023-12-14 22:29 by 彗星来临
柏林自由大学考古学家领导的一个国际团队，在西伯利亚一个偏远地区发现了有复杂防御结构的定居点，距今有八千年历史。这一发现挑战了一个传统观念：人类是在农业出现之后才开始建造永久定居点。而西伯利亚的定居点是由狩猎采集群体建造的。考古学家在西伯利亚 Amnya 发现了 10 个石器时代的防御遗址，其中的穴居用土墙和木栅栏围住。防御工事建在具有战略意义的地点，推翻了狩猎采集社会不存在竞争和冲突的假设。
https://phys.org/news/2023-12-oldest-fortresses-world.html
#科学
Threads 开始测试 ActivityPub 整合
2023-12-14 18:10 by 八十天环游地球
Meta CEO Mark Zuckerberg 在旗下微博平台 Threads 上宣布开始测试 ActivityPub 整合。ActivityPub 是一个开放去中心化社交网络协议，被 Mastodon、Pixelfed 和 PeerTube 等应用使用，支持 ActivityPub 协议的平台之间可以实现互操作，以 Mastodon 为例，该平台的用户将可以关注 Threads 用户，反之亦然。Threads 在上线之初就宣布将支持 ActivityPub。Zuckerberg 此前表示，不同服务之间的互操作性越强，流动的内容越多，所有服务都会变得更好。此前联邦宇宙的用户对 Meta 会继续推进 ActivityPub 整合倍感怀疑，联邦宇宙的规模仍然很小，远比不上 Meta 之类的庞然大物。
zuck/post/C0zXcQmxO77/" rel="nofollow">https://www.threads.net/@zuck/post/C0zXcQmxO77/?
https://www.theverge.com/2023/12/13/24000120/threads-meta-activitypub-test-mastodon
#互联网
澳大利亚在全球率先禁止工程石
2023-12-14 16:38 by 完美女孩
在数百名工人患矽肺病之后，澳大利亚在全球率先禁止工程石。工程石泛指所有结合碎石或石粉，以及黏着剂加工后所形成之类似石头之建材，它被用于制造厨房长凳和浴室梳妆台，是花岗岩和大理石等天然石材的廉价耐用替代品。矽肺病由吸入高浓度的硅尘引起，一种长期性的有时致命的肺部疾病。澳大利亚的禁令将从 2024 年 7 月开始生效，工会、卫生组织和人身伤害律所表示支持，工程石制造商 Caesarstone 对该决定表示失望，认为禁止工程石并不能消除工作场所患矽肺病的风险。
https://www.abc.net.au/news/2023-12-13/engineered-stone-ban-discussed-at-ministers-meeting/103224362
#新闻