solidot | Unsorted

Telegram-канал solidot - Solidot

39630

solidot.org 非官方 RSS 推送频道。如有侵权,立即删除。 → Buy Ads: https://telega.io/c/solidot

Subscribe to a channel

Solidot

国际热核聚变实验反应堆将运行时间推迟至少八年

2024-07-05 23:54 by 黑暗平原

国际热核聚变实验反应堆(ITER)将其托卡马克装置的运行时间推迟至少八年。托卡马克(Tokamak)是一种利用磁约束来实现磁约束聚变的环性容器,其中央是一个环形的真空室,内部气体在极端高温和高压下变成等离子体。ITER 正在建造世界最大的托卡马克装置,演示可控核聚变的可行性。它原计划在 2025 年测试产生等离子体。但该计划如今推迟到了 2033 年。但推迟并不出人意料。

https://www.theregister.com/2024/07/04/iter_new_baseline_project_delays/?td=rt-3a
https://zh.wikipedia.org/wiki/%E5%9B%BD%E9%99%85%E7%83%AD%E6%A0%B8%E8%81%9A%E5%8F%98%E5%AE%9E%E9%AA%8C%E5%8F%8D%E5%BA%94%E5%A0%86

#电源

Читать полностью…

Solidot

印尼发现世界最古老的具象洞穴艺术

2024-07-05 23:02 by 魔法生活

澳大利亚和印尼科学家在印尼苏拉威西岛发现了最古老的具象洞穴艺术。这幅洞穴画刻画了一头猪和三个人,至少有 5.12 万年历史,比此前最古老的洞穴艺术还要早逾五千年。研究报告发表在《自然》期刊上。最早的洞穴画是在非洲南部 Blombos 洞穴的岩石上发现的,是抽象的几何图形,其时间可追溯到 7.5 万-10 万年前。在印尼苏拉威西岛 Maros-Pangkep 地区 Leang Karampuang 石灰岩洞穴中发现的绘画则是已知最早的具象化艺术。它代表了现代人类思维过程的演变,艺术和科学由此产生。至于是什么触发了人类思维的觉醒,可能是是 5 万年前发生的某些事情,此后不久人类近亲如尼安德特人和霍比特人都灭绝了。

https://www.bbc.com/news/articles/c0vewjq4dxwo
https://www.nature.com/articles/s41586-024-07541-7

#地球

Читать полностью…

Solidot

去年中国 AI 顶级论文数量和专利授权高于美国

2024-07-05 17:10 by 没有你的天堂

中国科学技术信息研究所和北京大学发表《2023 全球人工智能创新指数报告》,报告称去年中国 AI 顶级论文数量和专利授权均高于美国,但在综合能力上美国仍然领先于中国。在主要国家 AI 顶级论文数量占比上,中国占比 36.7%,美国占比 22.6%。在主要国家 AI 专利授权数量占比上,中国占比 34.7%,美国占比 32%。《报告》显示,2023 年产业界独立研发的机器学习模型达到 176 个,是学术界的 3.5 倍。近十年 GitHub 上人工智能开源项目总数持续增长,从 2013 年的 1.2 万个增加到 2023 年的约 190 万个。印度成为最大的开源项目来源国,每年贡献的人工智能开源项目数量占全球的比重从 2013 年的 3.1% 增长到 2023 年的 27.3%。

https://www.thepaper.cn/newsDetail_forward_27971972


#人工智能

Читать полностью…

Solidot

英伟达将向中国公司交付逾百万 H20 芯片

2024-07-05 15:53 by 向世界倾诉爱

英伟达今年有望在中国销售价值 120 亿美元的人工智能芯片,尽管美国的出口管制抑制了该公司在全球最大半导体市场之一的业务。根据分析师预测,英伟达将在未来几个月交付逾 100 万块新型 H20 芯片。这种芯片的设计旨在避开美国对向中国客户销售人工智能处理器的限制。每块 H20 芯片价格在 12,000 至 13,000 美元之间,总销售额将超过上个财年中国全年销售额——截至 2024 年 1 月的财年中国区业务收入为 103 亿美元。在美国对中国实施出口管制前的 2021 年,中国区收入占英伟达总收入的四分之一,今年即使将预测的 H20 芯片收入包含在内,中国区收入可能也只接近十分之一。


https://www.ft.com/content/b76ef55b-21cd-498b-ac16-5660908bb8d2


#人工智能

Читать полностью…

Solidot

AI 模糊真实与欺骗是特性不是 bug

2024-07-05 14:32 by 人猿泰山之真假狮人

Google 研究人员在预印本平台 arXiv 上发表论文,指出通过在互联网上发布虚假内容,绝大多数生成式 AI 正在模糊真实性和欺骗性之间的界限。深度伪造和伪造证据是目前最盛行的滥用方式,其中大多数都有明显意图,旨在影响公众舆论、进行诈骗或欺诈活动。生成式 AI 日益先进,可随时使用,对使用者的技术要求非常低,它正在扭曲人们对社会政治现实或科学共识的集体理解。生成式 AI 非常擅长于大量制作虚假内容,这其实是它的特性而不是 bug,互联网正日益充斥着 AI 的垃圾。研究人员表示这种状况将考验人们辨别真假的能力。随着生成式 AI 内容的无处不在,部分人可能会将对其不利的证据解释为 AI 生成,转移举证责任。

https://www.404media.co/google-ai-potentially-breaking-reality-is-a-feature-not-a-bug/
https://arxiv.org/abs/2406.13843

#人工智能

Читать полностью…

Solidot

僧人使用的洞穴发现大量丹尼索瓦人相关化石

2024-07-04 23:50 by 穿越黑暗之门

现代人类的近亲尼安德特人留下了大量的化石,但另一位近亲丹尼索瓦人留下的东西非常少。兰州大学和中国科学院青藏高原研究所领导的一个国际团队在《自然》期刊上发表了白石崖溶洞遗址的研究成果。白石崖溶洞遗位于甘肃省夏河县,海拔 3280 米,常年温度 6-8 度,原本是佛教徒的圣地。一位僧人在洞内发现了部分下颌骨,将其捐赠给大学,DNA 分析发现它属于丹尼索瓦人,现在它被称为夏河下颌骨,是至今发现的最重要丹尼索瓦人化石。最新分析显示,丹尼索瓦人在该地的生活时间可上溯至 4.8-3.2 万年前。他们生活在以草原景观为主的自然环境里,周围可能分布有零星的森林资源斑块,他们利用了多样性的动物资源,具有较广的食谱,对动物资源进行了充分的利用,在该洞穴进行了剥皮、肢解、剔肉、敲骨吸髓等动物资源加工和消费行为,并且还尝试利用骨骼制作简易工具。

https://arstechnica.com/science/2024/07/high-altitude-cave-used-by-tibetan-buddhists-yields-a-denisovan-fossil/
https://news.lzu.edu.cn/c/202407/113009.html
https://www.nature.com/articles/s41586-024-07612-9

#科学

Читать полностью…

Solidot

Linux DRM Panic 死机屏幕将能支持二维码

2024-07-04 22:43 by 泰山复仇

Linux 6.10 引入了 DRM Panic,提供了类似 Windows 蓝屏死机的功能,在屏幕上显示内核错误信息。但内核错误信息通常很长,尤其是它如果包含堆栈跟踪的话。现在 Red Hat 开发者 Jocelyn Falempe 发布了补丁,提供了将错误信息转换为二维码的功能(类似微软的做法),允许用户通过智能手机扫描去捕捉错误信息,方便以后进行分析,或将其添加到 bug 报告里。Falempe 使用 Rust 语言开发了 DRM Panic QR 代码。他表示没有特殊理由,只是想学习下 Rust。

https://www.phoronix.com/news/Linux-DRM-Panic-QR-Codes


#Linux

Читать полностью…

Solidot

为什么癌症的发病率在老年会下降?

2024-07-04 16:29 by 特辖军的一天

癌症是由长期积累的 DNA 突变引起的。寿命的延长意味着有更多的机会积累突变,这些突变是产生不受控制的恶性癌细胞所必需的。曾经能控制肿瘤的免疫反应也可能随着年龄的增长而变得更温和。但是随着年龄的增长,组织的变化也会通过改变癌细胞生存的环境来阻止肿瘤的生长。年老的肺部往往比年轻的肺部有更多的疤痕组织。肺细胞的再生能力也会下降,对不受控制的生长压力的适应能力也会下降。为了进一步了解衰老是如何影响肿瘤生长,斯坦福大学的研究人员研究了具有致癌突变的小鼠,他们通过基因开关控制突变。研究小组打开了年轻小鼠和年老小鼠肺部的突变基因,发现年轻鼠的肿瘤比年老鼠的更大、更频繁。他们使用 CRISPR-Cas9 基因编辑技术评估 20 多个通常抑制肿瘤生长的基因中每一个失活的效果。平均而言,在所有年龄的小鼠中,关闭这些基因中的大多数会增加肿瘤的生长速度,但年轻的小鼠比年老的小鼠有更多的肿瘤,而且长得更大。这表明一个不同的过程可能在抑制老年小鼠的癌症中起作用。

https://www.nature.com/articles/d41586-024-02107-z
https://www.ebiotrade.com/newsf/2024-7/20240704070534015.htm

#医学

Читать полностью…

Solidot

Threads 月活跃用户数突破 1.75 亿

2024-07-04 15:21 by 智能侵略

在上线一周年之际,Meta CEO Mark Zuckerberg 宣布 Threads 月活跃用户数突破了 1.75 亿。因 Twitter/X 在马斯克(Elon Musk)控制下面临的不确定性,Meta 的微博客服务 Threads 于 2023 年 7 月 5 日登陆 App Store,推出前五天吸引了 1 亿用户注册,但此后下载量不断下降,到了去年 12 月,Threads 的下载量恢复了增长,进入苹果和 Google 应用商店的下载量前十。这在很大程度上是因为 Meta 通过 Instagram 推广 Threads 上的热门帖子。Meta 没有披露 Threads 的日活跃用户数,而马斯克接手 Twitter/X 之后没有公布可对比的指标。

zuck/post/C89oeSORn81?xmt=AQGzya_Cp1pvllguZMsj41Ilk3MnGyQyS_Ayh75eaeRQxw" rel="nofollow">https://www.threads.net/@zuck/post/C89oeSORn81?xmt=AQGzya_Cp1pvllguZMsj41Ilk3MnGyQyS_Ayh75eaeRQxw


#Facebook

Читать полностью…

Solidot

日本政府淘汰软盘

2024-07-04 14:05 by 快乐基因

日本政府终于在所有系统中移除了软盘的使用。日本数字大臣河野太郎宣布在 6 月 28 日赢得了对软盘的胜利。截至 6 月中旬日本数字部门废除了所有 1,034 项管理软盘使用的法规,只有一项与汽车回收相关的环境法规除外。日本数字部是在 2021 年新冠疫情期间成立的,当时日本在全国范围内推广新冠检测和疫苗接种,但政府被发现仍然依赖纸质文件和过时技术。

https://www.reuters.com/world/asia-pacific/japan-declares-victory-effort-end-government-use-floppy-disks-2024-07-03/

#五七桐

Читать полностью…

Solidot

三分之二中国 PC 玩家去年在 PC 游戏上的支出超过其它平台

2024-07-04 00:00 by 三个太阳

根据 Niko Partner 的《中国游戏玩家行为和市场报告》,近三分之二中国 PC 玩家去年在 PC 游戏上的支出超过其它平台。报告调查了 1,079 名玩家。报告称,19% 的 PC 玩家表示游戏开支比去年至少增加三成;Steam 是最大的 PC 游戏平台,近八成玩付费游戏的玩家使用 Steam;大部分玩家表示 Steam 国际版能正常访问;44% 的人看游戏和电竞直播,其中 69% 的人使用抖音;45% 的人通过短视频内容发现游戏;手游玩家玩小游戏的人数多达 6.5 亿,三分之二手游玩家每天或每周玩几次小游戏。

https://www.gamesindustry.biz/niko-partners-62-of-china-pc-players-spending-more-on-games-than-last-year


#游戏

Читать полностью…

Solidot

工信部宣布将制定脑机接口标准

2024-07-03 23:06 by 夏日永别

工信部宣布将制定脑机接口标准,正在筹建脑机接口标准化技术委员会,成立之后该委员会将围绕脑电采集、信号获取及处理、信号输出/执行、反馈等环节开展脑信息读取与写入等输入输出接口标准,数据格式、传输、存储、表示和预处理标准,脑信息编解码算法标准研究。工信部此举表明在脑机接口领域中国将从以学术研究为主转向更具有针对性的研发。

https://www.miit.gov.cn/jgsj/kjs/jscx/bzgf/art/2024/art_2b0840d099844560868666f237befd65.html
https://science.slashdot.org/story/24/07/02/140254/china-signals-brain-tech-ambitions-with-standards-drive

#长城

Читать полностью…

Solidot

澳大利亚人类仪式传承逾 1.2 万年

2024-07-03 20:54 by 影舞

澳大利亚东南部 1.2 万至 1 万年前的火塘保存了已知最古老的文化传承仪式的证据。在无书面语言的社会中,有关文化习俗的考古资料很难在时间长河中保存下来,而且对古代仪式的历史叙述可能在代代相传的过程中发生改变。19 世纪的澳大利亚民族志记录了古奈库尔奈原住民进行治愈或伤害的一种仪式。他们会将属于目标受害人的一个物件绑在一根由木麻黄木和脂肪制作的有形状的木棍上,并将其放在一堆火前直到木棍倒下。研究人员在 Cloggs 洞穴发现了举行相同仪式的证据,其时间可追溯至 1.2 万至 1 万年前,仪式传承逾 500 代人。

https://phys.org/news/2024-07-aboriginal-ritual-years-cave.html
https://news.sciencenet.cn/htmlnews/2024/7/525646.shtm

#科学

Читать полностью…

Solidot

美国最高法院将受理德州限制成人网站诉讼

2024-07-03 19:28 by 月海沉船

美国德克萨斯州 HB 1181 法案于去年 6 月成为法律,它要求成人网站验证访客的年龄,以阻止未成年人浏览成人内容。成人行业认为该法律违反宪法第一修正案,因为出于隐私以及身份盗窃等安全方面的考虑,验证访客年龄也会阻止成年人访问网站。美国最高法院周二同意受理对这项法律的质疑。德州总检查长 Ken Paxton 则表示,今天网络上的色情比过去的成人杂志(Girlie magazine)更露骨,更暴力也更可耻,HB 1181 并不限制成人内容,它只是要求成人行业采取合理措施,确保访客是成年人,这没有违宪。

https://yro.slashdot.org/story/24/07/02/2041239/supreme-court-to-hear-case-on-texas-law-restricting-access-to-porn


#USA

Читать полностью…

Solidot

魔方诞生 50 年

2024-07-03 16:12 by 永恒先生

诞生于 1974 年的魔方已有 50 年历史,而它至今仍然有着巨大的魔力。匈牙利建筑学和雕塑学教授 Rubik Ernő 在 1974 年发明了第一个魔方,1979 年 Ideal Toy 公司将魔方带至全世界,更名为 Rubik's Cube。魔方有着 4300 亿亿种可能组合,启发了无数变体,在教育和艺术领域获得广泛应用。

https://www.nytimes.com/2024/07/01/science/rubiks-cube-puzzles.html

#游戏

Читать полностью…

Solidot

Mt. Gox 客户在 10 年后开始拿回资金

2024-07-05 23:34 by 皇后之爱

2014 年 2 月,Daniel 在电脑上通过日本东京的交易所 Mt. Gox 交易比特币,突然网页变成了白色并停止了响应,他惊慌失措的去 Bitcoin Talk 论坛寻找答案。一个流言认为 Mt. Gox 陷入了困境。Daniel 通过交易比特币小赚一笔之后把个人所有资金都投入进去,他还在上大学,需要钱支付大学费用。2 月 28 日 Mt. Gox 申请破产,该公司声称当时价值 4 亿美元(目前价值 450 亿美元)的比特币被盗,它已经没有资金处理客户的提款要求。10 年之后,客户终于再次与他们的比特币重聚了。负责处理 Mt. Gox 资产的破产律师 Nobuaki Kobayashi 宣布从本周五开始向客户归还加密货币。Mt. Gox 的资产只有一小部分追回,客户能拿回原有资产的 15%,尽管如此,由于比特币币值在此期间暴涨百倍,他们拿回的资产仍然远高于原始价值。总共有价值 90 亿美元的比特币将归还给客户。Daniel 说他见证了加密货币世界的兴起、衰落和再次兴起,他每天都看盯着比特币图表。一名 17 岁的客户在 10 年前失去了价值几千美元的比特币,现在他将得到价值 7 万美元的意外之财。 另一名客户称自己的房子快要失去了,这笔钱将是救命钱。


https://www.wired.com/story/after-a-10-year-wait-mt-gox-bitcoin-is-finally-being-returned/?utm_source=press.coop


#比特币

Читать полностью…

Solidot

FDA 禁止在食品和汽水中使用溴化植物油

2024-07-05 22:31 by 最后一个阿特兰蒂斯人

FDA 宣布禁止在食品生产和碳酸饮料使用溴化植物油(brominated vegetable oil,BVO),原因是 BVO 对人体健康构成威胁。BVO 在橘味饮料中用作稳定剂,也被用于阻燃剂。FDA 和 NIH 合作的研究显示 BVO 可能会对人体健康产生负面影响,它认为在食品中继续使用 BVO 不再被认为是安全的。禁令将于 8 月 2 日生效,企业有一年时间重新配制、重新贴标签和消耗含有 BVO 产品的库存。

https://science.slashdot.org/story/24/07/03/2333221/fda-bans-bvo-an-additive-found-in-some-fruity-sodas


#医学

Читать полностью…

Solidot

微软新开始菜单向用户推销它的产品和服务

2024-07-05 16:43 by 我是6号

微软向 Dev Channel 测试者释出了新版 Windows 11,版本号为 Build 26120.961,它的一大变化是新的开始菜单。在新开始菜单中,微软将它的账号置于其核心位置,让菜单原有的功能日益边缘化。当你点击单击用户名或账户图片,它会移动到菜单的中心位置,凸显与其产品和服务 Microsoft 365、Xbox Game Pass 和 OneDrive,以及账号恢复相关的文字和链接。

https://tech.slashdot.org/story/24/07/04/1350241/new-windows-11-start-menu-annoyingly-hides-oft-used-actions
https://www.pcworld.com/article/2385169/windows-is-now-annoying-with-a-new-start-menu-these-important-functions-are-hidden.html

#微软

Читать полностью…

Solidot

NASA JPL 用雷达跟踪了两颗最近掠过地球的小行星

2024-07-05 15:07 by 流星追逐记

NASA JPL 使用深空网路的雷达跟踪了两颗最近掠过地球的小行星 2024 MK 和 2011 UL21。小行星 2011 UL21 是在 2011 年发现的,6 月 27 日从 660 万公里外掠过地球,它有 1.5 公里宽,被归类为对地球有潜在危险,但对其轨道的计算表明,在可预见的未来它不会威胁到地球。雷达观测发现,2011 UL21 是一个双星系统,有一颗小卫星从 3 公里外绕着它飞行。JPL 首席科学家 Lance Benner 指出,此类大小的小行星有三分之二都是双星系统。6 月 29 日 JPL 观测了从 295,000 公里外掠过地球的 2024 MK,这颗小行星是在 6 月 16 日首次被发现的,它大约为 150 米宽,其表面有 10 米大小的凹坑、隆起和岩石。由于地球的引力作用,2024 MK 近距离飞越时其轨道发生了略微改变,绕太阳的周期从 3.3 年减少了 24 天。在可预见的未来它也不会威胁到地球。

https://www.jpl.nasa.gov/news/nasas-planetary-radar-tracks-two-large-asteroid-close-approaches


#NASA

Читать полностью…

Solidot

亚马逊 Kindle 系统宕机导致电子书无法下载

2024-07-05 13:53 by 王牌飞行员

Good e-Reader 周三报道,亚马逊 Kindle 系统宕机,导致用户无法下载新购买的和以前购买的电子书。亚马逊客户支持随后证实了问题,表示预计会在 48 小时内解决。亚马逊发言人 Jackie Burke 在给媒体的一份邮件中表示,部分客户遭遇了无法下载的问题,该问题已经迅速解决。如果客户仍然存在下载问题,他们可以按住电源按钮 40 秒去重启设备。

https://goodereader.com/blog/kindle/amazon-kindle-will-not-download-books-to-the-e-reader
https://www.amazonforum.com/s/question/0D56Q0000DQyK3TSQV/not-downloading
https://www.theverge.com/2024/7/4/24192228/amazon-kindle-downloading-is-down-outage-ebooks-e-readers

#云计算

Читать полностью…

Solidot

警方抱怨 OnlyFans 付费墙增加了发现儿童色情材料的难度

2024-07-04 22:53 by 达尔文电波

OnlyFans 付费墙让警方难以发现平台上的儿童色情材料(CSAM),尤其是新出现的 CSAM 材料。每一位 OnlyFans 内容创作者都是在自己的付费墙后面发布内容,因此除非订阅所有 OnlyFans 账号,否则不太可能独立核实发布了多少 CSAM。OnlyFans 声称其平台上的 CSAM 数量非常少,它在 2023 年只删除了 347 条被怀疑是 CSAM 的帖子。OnlyFans 表示,如果一个账号被怀疑从事创作或传播 CSAM,警方能获得该账号的完整访问权限。

https://arstechnica.com/tech-policy/2024/07/millions-of-onlyfans-paywalls-make-it-hard-to-detect-child-sex-abuse-cops-say/


#安全

Читать полностью…

Solidot

如何阻止童婚?处罚新郎、父母和宾客

2024-07-04 17:00 by 蓝火星

西非小国塞拉利昂总统周二签署了一项法律,禁止 18 岁及以下儿童结婚,并对其成年配偶处以高额罚款。这一举措对致力于根除童婚这一陋习的活动人士而言是一场胜利。塞拉利昂的新法律比非洲其它国家的类似法律更进一步,除了惩罚丈夫外,还处罚促成结婚的人——父母、证婚人甚至出席婚礼的宾客。联合国儿童基金会 2020 年报告称,塞拉利昂约有 80 万名 18 岁以下女孩结婚,占该国女孩总数的三分之一。一半人在 15 岁时就结婚了。相比下只有约 4% 的男孩在 18 岁时结婚。根据新法律,曾经的童婚者可寻求经济补偿,她们还有一条摆脱婚姻的途径:申请废除婚姻。联合国统计数据显示,每年至少有 1200 万名 18 岁以下女孩结婚。全世界逾 6.5 亿名女孩和妇女是在儿童时期结婚。南亚童婚人数最多,约 2.9 亿人,占全球总数的 45%。撒哈拉以南非洲紧随其后,约 1.27 亿人,占 20%。非洲 20 个国家只有少数国家全面禁止童婚,而且禁令并没有严格执行。

https://www.nytimes.com/2024/07/03/world/africa/child-marriage-sierra-leone-africa.html
https://archive.is/AlQJ9

#新闻

Читать полностью…

Solidot

铠侠量产 218 层 NAND 闪存

2024-07-04 16:22 by 全面启动

铠侠控股将于 7 月中旬在四日市工厂开始量产最先进的存储器。每个芯片可存储 128GB 数据。此次开始量产的NAND 型闪存将存储数据的元件堆叠至 218 层,同时增加了可在一个元件上存储的数据量。与以往产品相比,存储容量提高约 50%,写入数据时所需的电力减少约 30 %。它开始提供 2 Tb NAND 芯片样品,这是目前容量最高的 NAND 芯片。

https://cn.nikkei.com/industry/itelectric-appliance/56047-2024-07-04-10-11-48.html
https://blocksandfiles.com/2024/07/03/kioxia-2-terabit-nand/

#商业

Читать полностью…

Solidot

索尼不会淘汰游戏和电影蓝光光盘

2024-07-04 14:45 by 精灵王之女

索尼计划停产消费级可烧录蓝光光盘,但仍将生产视频游戏和电视电影蓝光光盘。它将裁掉生产可烧录光盘部门的 250 名员工。裁员主要发生在索尼仙台技术中心,该中心生产 CD-R、DVD-R、BD-R 和存档光盘等可烧录光盘格式。索尼 DADC(Digital Audio Disc Corporation) 工厂仍然会生产、运输和销售标准蓝光、4K UHD 光盘以及 PlayStation 4、PlayStation 5 和 Xbox 蓝光光盘。数字媒体在快速增长,但实体媒体短期内不会消失。

https://www.tweaktown.com/news/99072/sony-wont-phase-out-blu-ray-movie-and-game-discs-only-ceasing-production-on-consumer-bd/index.html

#索尼

Читать полностью…

Solidot

程序员和业余数学家证明忙碌海狸数 BB(5)

2024-07-04 13:43 by 华龙之宫

匈牙利数学家 Tibor Radó 在大学期间主修的是土木工程,一次世界大战中断了他的学业,他被派往前线,被俄罗斯俘获送到了西伯利亚的劳改营,在狱友的指导下学习数学。四年后他成功逃狱,穿越北极数千英里返回了祖国,重新回到学校。他在 1920 年代发表了数十篇数学论文,1930 年接受了俄亥俄州立大学的教职,任职达 35 年。他在晚年对图灵停机问题进行了提炼,1962 年在一篇论文里将重新表述的图灵停机问题称之为忙碌海狸游戏。忙碌海狸数通常用 BB(n)表示,它是一个快速增长的大数。现在程序员和业余数学家合作,使用形式化证明工具 Coq 证明 BB(5)=47,176,870。BB(6)需要证明 Collatz 猜想(Collatz conjecture),短期内难以突破。

https://discuss.bbchallenge.org/t/july-2nd-2024-we-have-proved-bb-5-47-176-870/237
https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702/
https://zh.wikipedia.org/wiki/%E5%BF%99%E7%A2%8C%E7%9A%84%E6%B5%B7%E7%8B%B8

#数学

Читать полностью…

Solidot

德国两颗新一代间谍卫星在轨道上无法展开天线

2024-07-03 23:38 by 电波骑士

去年圣诞节前一天,Falcon 9 火箭将两颗德国军方的间谍卫星发射到了近地轨道。这次任务看起来取得了成功,卫星制造商 OHB 表示卫星安全入轨。两颗 SARah 卫星将与 2022 年 6 月发射的 SARah 1 组成一个卫星群。它们名字中的 SAR 代表合成孔径雷达,SARah 1 搭载的是有源相控阵雷达天线,新发射的两颗搭载的是无源合成孔径雷达反射器。SARah 1 一直运转正常,但新发射的两颗卫星半年之后仍然未能投入使用。《明镜》报道称,原因是卫星天线无法展开。OHB 工程师使用了各种方法都未能解决问题。德国议会议员被告知,卫星可能无法按计划投入服役。卫星只有在投入使用后才会转交给军方,因此军方表示 OHB 将负责制造两颗替代卫星。报道援引消息来源称,OHB 未能在地面完整测试卫星天线的功能和部署。

https://science.slashdot.org/story/24/07/02/2357238/two-of-the-german-militarys-new-spy-satellites-appear-to-have-failed-in-orbit


#太空

Читать полностью…

Solidot

神经学家不应该害怕研究宗教

2024-07-03 21:37 by 哈尔的移动城堡

《自然》网站发表的一篇评论呼吁神经学家不应害怕研究宗教。全球 85% 的人口自认为有宗教信仰。数十年的社会学研究发现,宗教或精神信仰和实践有助于改善健康和福祉,增强社会凝聚力、同理心和利他行为;缓解认知衰退或药物滥用的影响。但从历史上看宗教和灵修也加剧了冲突、极化和压迫。尽管信仰是影响人类行为的重要因素,但神经学家却很少研究信仰如何影响大脑。回避研究宗教有着历史原因也有着现实原因,研究人员担心此类研究可能会被视为宣传特定宗教,或完全不科学。但这种情况需要改变。作者呼吁建立一个新领域——宗教神经学,旨在了解宗教背后的神经机制。

https://www.nature.com/articles/d41586-024-02153-7


#科学

Читать полностью…

Solidot

希腊允许六天工作制,但额外的工作时间需要加班费

2024-07-03 20:41 by 机器人的逃跑计划

为提高生产力和就业率,希腊允许部分企业实行六天工作制。特定行业和制造工厂的员工可选择每天额外工作两个小时或额外一天工作八小时。对于额外的工作量,员工能在日薪基础上获得额外 40% 的加班费。该法律于 7 月 1 日生效。希腊十多年前爆发了严重的经济危机,有 50 万受过良好教育的人移居国外。希腊现任政府表示该国面临人口萎缩和技术人才短缺双重危机,采取新措施是必要之举。

https://www.theguardian.com/world/article/2024/jul/01/greece-introduces-growth-oriented-six-day-working-week
https://www.replicon.com/regulation/greece/

#商业

Читать полностью…

Solidot

Google 温室气体排放因 AI 过去五年增长 48%

2024-07-03 17:09 by 泰山归林

过去 5 年,由于支撑 AI 系统的数据中心的扩张,Google 的温室气体排放量飙升了 48%,这让人们对其到 2030 年实现“净零”排放的承诺产生了怀疑。Google 在周二发布的年度环境报告中表示,这家硅谷公司 2023 年的污染总量达到 1430 万吨碳当量,比 2019 年的基准增长 48%,比去年增长 13%。Google 承认排放量飙升凸显了减排的挑战,表示 AI 对环境的影响是复杂且难以预测的。Google 首席可持续发展官 Kate Brandt 表示,该公司仍然致力于实现 2030 年零排放目标。但为了构建运行 AI 所需的基础设施,短期内排放还会继续增长。Google 称,其数据中心耗电量在 2023 年增长 17%,占全球数据中心电力消耗的 7-10%。数据中心在 2023 年的耗水量也比上一年增加了 17%。

https://tech.slashdot.org/story/24/07/02/2112247/google-emissions-jump-nearly-50-over-five-years-as-ai-use-surges
https://blog.google/outreach-initiatives/sustainability/2024-environmental-report/

#Google

Читать полностью…

Solidot

巴西禁止 Meta 用该国用户数据训练 AI 模型

2024-07-03 15:08 by 终极之门

巴西国家数据保护机构周二裁定,Meta 须停止使用该国用户数据训练其 AI 模型。Meta 此前更新隐私政策,声明将使用用户公开发表的帖子训练 AI 模型。巴西监管机构担心儿童与朋友和家人分享的个人数据可能会被以无法预料的方法对他们造成伤害。里约热内卢智库 Institute of Technology and Society 的 Ronaldo Lemos 认为,巴西此举可能会鼓励其它科技公司在使用个人数据方面维持不透明的状态,因为 Meta 是唯一一家提前通知使用个人数据训练 AI 的科技巨头,结果却因此受到严厉惩罚。Meta 收到通知后需要在五天内证明合规,否则每天面临 5 万雷亚尔的罚款。Meta 发言人对巴西的裁决表达了失望。

https://apnews.com/article/brazil-tech-meta-privacy-data-93e00b2e0e26f7cc98795dd052aea8e1



#人工智能

Читать полностью…
Subscribe to a channel