AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed
聊天机器人对 80 年前的“单位距离”猜想的结果是第一个人工智能证明，如果人类单独完成的话，很可能会在数学顶级期刊上发表
Also at Avspecs - a Boeing B 17G Flying Fortress!
大约两年前，我发布了有关波音 B 17G 飞行堡垒“洋基女士”来到 Avspecs 的消息，您可以在此处看到该帖子。在那篇帖子中，我弄错了，因为事实证明，到达 Avspecs 的只是机身、尾翼和外机翼。 B 17 的发动机和机翼中心部分正在美国俄勒冈州马德拉斯的埃里克森飞机公司进行修复，当项目的两个部分完成后（希望在 2028 年），Avspecs 团队将前往俄勒冈州监督飞机的重新组装并做好飞行准备。上周二，我参观了 Avspecs，B 17 坐在他们机库的前面，看起来非常闪亮：B 17 于 2024 年被查尔斯·萨默斯 (Charles Somers) 收购，在再次飞行之前将获得新的身份。
在 ACM SIGAI 出版物《AI Matters》的这篇交叉文章中，Ella Scallan 与 Jonathan Frankle 坐下来讨论了彩票假设，他因此获得了 2023 年 AAAI/ACM 博士论文奖。在这次内容广泛的对话中，乔纳森深入探讨了经验主义与理论证明，以及计算机科学方法如何[...]
New 3D printing tech is set to give robots human-like muscles
有一天，你可能会走过一个机器人，却不知道它是一个机器人。经过多年的工程设计，我们为机器人赋予了骨骼、大脑、感官，甚至神经系统。肌肉已被证明特别复杂（并不是说其他事情很容易）。继续阅读类别：机器人、工程标签：哈佛、3D 打印、人造肌肉
Scientists Just Used Sunlight To Pull Off a Quantum Physics Feat Once Thought Impossible
科学家们已经证明，仅阳光就可以产生能够产生“鬼像”的量子相关光子，这一壮举曾经被认为需要稳定的激光。量子光学实验通常依赖于仔细控制的激光器来产生相关或纠缠的光子对。这些光子对是通过称为自发参数下转换 (SPDC) 的过程产生的，其中 [...]
Smoking makes human lungs stiffer like scar tissue
一项新的研究提供了一些迄今为止最明确的证据，证明吸烟如何对人类肺部造成物理损害。科学家们首次直接测量了吸烟如何改变真实人类肺组织的机械行为，并发现吸烟使肺部明显变得僵硬，类似于严重肺纤维化中所见的损伤[…]《吸烟使人类肺部像疤痕组织一样僵硬》一文首先出现在Knowridge Science Report上。
几位知名演员在成为好莱坞明星之前都是在电视真人秀中开始了自己的职业生涯。从艾玛·斯通寻找新的鹧鸪家族到格伦·鲍威尔的青少年生存挑战，这七个人利用真人秀作为他们最初的平台。他们的经历虽然有时很激烈，但事实证明对他们的成功之路至关重要。
Rising Misery Index Signals Mounting Economic Pressure
中东冲突继续带来经济逆风，但事实证明，在这场宏观冲击之后，美国经济相对具有弹性。这种恢复力能持续多久尚不清楚，但压力正在增加。这是一个令人担忧的迹象，因为美国和伊朗之间的僵局仍在继续，能源出口 [...]
Helion Energy is building a fusion power plant. Can its technology deliver?
该公司表示，其脉冲等离子机将在 2029 年之前向电网输送电力。一些物理学家警告称，该公司的承诺超出了技术已证明的范围
5 Cool Things I Did with Local Language Models
一段时间以来，我一直在日常工作流程中运行本地模型，最令我惊讶的是，本地模型常常被证明是更好的选择，而不是妥协。
What Makes a Job Dull, Dirty, or Dangerous?
多年来，机器人领域一直使用术语“沉闷、肮脏和危险”(DDD) 来描述机器人可能有用的任务或工作类型——通过完成人们不想要的工作。 DDD 工作的一个典型例子是“在热气腾腾的工厂车间里进行重复性体力劳动，涉及威胁生命和肢体的重型机械。”但是确定哪些人类活动属于这些类别并不像看起来那么简单。到底什么是“枯燥”的任务，谁做出了这样的假设？ “脏”工作只是需要洗手，还是也有社会耻辱的一个方面？我们可以依靠哪些数据将工作归类为“危险”？我们最近的工作（一点也不枯燥）解决了这些问题，并提出了一个框架来帮助机器人专家了解我们技术的工作背景。首先，我们对 1980 年至 2024 年提及 DDD 的机器人出版
Bengali Muslims in India face persecution and displacement amid citizenship disputes
本月，印度东部西孟加拉邦爆发政治暴力，总理纳伦德拉·莫迪领导的政党因被指控压制穆斯林选民而赢得了关键选举。 Zeba Warsi 在 Unity Productions Foundation 的支持下报道了一些家庭正在努力证明他们属于他们所知道的唯一国家。
Teenage gunmen open fire on Islamic Center of San Diego, police say
圣地亚哥一处伊斯兰中心发生袭击事件，造成多人死亡。警方官员称，三名成年男性被杀，其中包括一名保安。他们还表示，两名青少年嫌疑人（据信分别为 17 岁和 19 岁）后来被发现死亡，显然是开枪自杀。调查人员表示，他们将这起枪击事件视为仇恨犯罪，除非事实证明并非如此。
Nobel economist obliterates core MAGA talking point
随着特朗普政府与美国长期欧洲盟友之间的紧张关系加剧，许多“MAGA”共和党人声称欧盟（EU）在经济上陷入混乱。但经济学家保罗·克鲁格曼表示，欧洲的经济表现比美国总统唐纳德·特朗普及其盟友声称的要好得多。 “确切地说，生产率数字并没有错，但它们具有误导性，”克鲁格曼在 Substack 上发布的周一专栏中写道。 “美国较快的增长反映了其在信息技术这个狭隘行业的主导地位，并没有转化为落后的欧洲生产率（以每小时劳动力可生产的商品价值来衡量）。”克鲁格曼指出，使用世界银行的数据，他反对“人们普遍将欧洲经济描述为垂死挣扎，因为其生产率增长落后于美国。”因为事实证明，第三个来源，即总部位于巴黎的经济合作与
Democracy Docket Denounces Colorado Governor Polis’ Decision to Release Tina Peters
州长贾里德·波利斯 (Jared Polis) 为梅萨县书记员蒂娜·彼得斯 (Tina Peters) 减刑，令民主和公平选举的捍卫者感到震惊，蒂娜·彼得斯 (Tina Peters) 因行为被判九年徒刑。她于 2024 年 10 月被判刑。彼得斯首先证明 2020 年选举是公平的，然后允许其他选举否认者使用投票机 [...]
2020年，ROBBO继续发展机器人俱乐部国际网络ROBBOClub.ru，开设了第一所私立学校，并转向远程学习形式。事实证明，这次经历是积极的，公司决定推出一个新产品——在线圈子特许经营权。
Проект робота, разработанного вместе с МГТУ «Станкин», презентовали в Политехе
成为一名设计师并像工程师一样思考不仅是可能的，而且是必要的。冶金、机械工程和运输学院 (IMMiT) 工程图形与设计系的学士们在毕业论文答辩中证明了这一点。
