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

#人工智能

太阳释放出一个 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/

#太空

研究发现 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


#人工智能

加密钱包 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


#安全

亚马逊宽带卫星用太空激光器传输数据

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


#互联网

A24 和小岛工作室制作《死亡搁浅》真人版

2023-12-15 20:50 by 电动新世纪

A24 工作室和小岛工作室宣布联合制作《死亡搁浅》的真人版。《死亡搁浅》是小岛秀夫离开科乐美之后推出的首款游戏作品，电影版将探索被称为“死亡搁浅”的末日事件的未解之迷，死亡搁浅事件模糊了生与死的界限，将噩梦般的生物引入到一个濒临崩溃的世界。小岛秀夫表示，A24 诞生于约十年前，它以制作高质量的独立电影著称，他本人也深受这些作品的影响。他表示《死亡搁浅》真人版不是直接翻拍自游戏，目标观众不只是游戏粉丝，而是适合所有人，将打造一个前所未见的《死亡搁浅》宇宙。

https://www.ign.com/articles/death-stranding-movie-coming-from-a24-kojima-productions

#游戏

拼多多 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


#商业

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

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

#人工智能

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

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

#人工智能

贝佐斯表示 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


#商业

曾呼吁植树的生态学家对种植同一种树发出警告

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


#地球

土星卫星恩克拉多斯有适合生命的成分

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

#太空

科学家确定怀孕期间呕吐恶心的原因

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

#科学

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-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

微软宣布 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


#打印机

米老鼠将于 2024 年 1 月 1 日进入公有领域

2023-12-18 13:52 by 人类之子

米老鼠或者是最早版本的米老鼠将于 2024 年 1 月 1 日进入公有领域。相比福尔摩斯和小熊维尼，米老鼠对于版权法的影响力和意义更为深远。美国将版权保护期限延长到 95 年，一个重要原因是迪士尼等公司的游说，因此该法律被笑称为“米老鼠保护法”。如此长的版权保护期限制了进入公有领域的作品，但另一方面迪士尼其实受益于公有领域作品，《冰雪奇缘》源自安徒生童话《冰雪女王》、《狮子王》源自莎士比亚的《哈姆雷特》和《圣经》，《爱丽丝梦游仙境》、《白雪公主》、《钟楼怪人》、《睡美人》、《灰姑娘》、《小美人鱼》和《匹诺曹》也都取材于经典童话和作品。米老鼠本身的形象也是借鉴了卓别林等早期电影明星的风格。米老鼠具有鲜明的象征意义。进入公有领域的版本是 1928 年上映的动画片《蒸汽船威利》中刻画的米老鼠，米老鼠有多个版本，后续版本仍然受到了版权保护，仍然掌握在迪士尼手中。

https://web.law.duke.edu/cspd/mickey/

#商业

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

#开源