Dario Amodei的文章探讨了中国AI公司DeepSeek的崛起及其对美国芯片出口管制政策的影响。DeepSeek凭借其高效的工程创新，在成本更低的情况下，其模型性能接近美国领先的AI模型。Amodei认为，DeepSeek的成功并非对出口管制的否定，反而突显了这些政策的重要性。他分析了AI发展的三个动态：规模定律、曲线转移和范式转变，认为DeepSeek的进展符合成本下降的预期趋势。最终，Amodei强调，出口管制对于防止中国获得大量芯片，从而避免AI领域形成两极格局至关重要，这关乎美国在全球舞台上的领导地位。
阅读更多
微软宣布Windows 11和Copilot+ PC将迎来重大更新，通过AI技术提升用户体验。Copilot+ PC将整合改进的搜索、Recall和Click to Do功能，并新增设置助手，用户可通过自然语言描述来调整设置。Click to Do功能也将扩展，支持更多操作，例如创建列表、使用Microsoft 365 Copilot撰写内容等。照片、画图和截图工具也得到增强，加入AI驱动的新功能，例如照片的动态光线控制、画图的贴纸生成器和对象选择工具等。此外，无障碍功能也得到改进，例如讲述人新增了丰富的图像描述功能。这些更新将逐步向Windows Insider用户推送。
阅读更多
1976年，苏联游泳冠军沙瓦什·卡拉佩迪安在亚美尼亚叶里温湖畔目睹一辆有轨电车坠湖，毫不犹豫地跳入冰冷的湖水中，展开了一场惊险的救援行动。尽管面临着湖水污染和缺氧的危险，他依然一次次潜入车内，救出了数十名乘客。这次壮举在苏联时期被官方压制，直到多年后才被世人知晓。卡拉佩迪安的英雄事迹不仅展现了非凡的勇气，也突显了人性的光辉。
阅读更多
最新研究显示，人工智能的能源消耗正以惊人的速度增长，预计到2025年将占据全球数据中心电力使用量的近一半，甚至可能超过比特币挖矿的能耗。研究人员指出，大型科技公司很少公开AI的具体能耗数据，这使得准确评估其环境影响变得困难。虽然一些公司正在转向可再生能源，并提高能源效率，但这可能无法抵消AI指数级增长的能耗。AI的快速发展带来的巨大能源需求，以及由此产生的碳排放和对矿产资源的依赖，正成为一个亟待解决的环境问题。
阅读更多
微软发布了新的Phi-4推理系列小型语言模型，包括Phi-4-reasoning、Phi-4-reasoning-plus和Phi-4-mini-reasoning。这些模型在推理能力方面表现出色，尤其在数学推理方面，甚至超越了一些更大的模型。Phi-4-mini-reasoning特别适合资源受限的环境，例如移动设备和边缘计算。微软强调了其对负责任AI的承诺，并采取了多种安全措施来减轻模型的潜在风险。这些模型已经在Azure AI Foundry和Hugging Face上提供，部分模型也已集成到Windows 11的Copilot+ PC中。
阅读更多
西班牙公司Liberux在Indiegogo上众筹其新款Linux手机Nexx，售价799欧元起。该手机采用模块化设计，拥有两个USB-C接口和耳机插孔，并计划在西班牙制造。Liberux团队成员拥有丰富的硬件和软件开发经验，致力于打造一款尊重用户自由、运行可审计操作系统且无后门的手机，挑战现有移动操作系统巨头的垄断，为用户提供更强的隐私保护。尽管面临诸多挑战，包括软件生态系统尚不成熟以及高昂的制造成本，Liberux仍然坚持其开源硬件和软件的理念，并计划逐步开放所有设计文件。
阅读更多
著名数学家陶哲轩最新上传至arXiv的论文，深入研究了高斯酉系综(GUE)及其子矩阵特征值在固定指标下的分布。论文运用行列式过程和精细的分析技巧，获得了关于特征值间隙的若干估计，解决了先前文献中未曾解答的问题，为后续研究GUE边界条件下的“蜂巢”的极限行为奠定了基础。该研究对理解随机矩阵模型以及相关领域具有重要意义。
阅读更多
Samchika是一个为Java设计的可重用、易用且极速的文件处理库。它充分利用多线程并行处理CPU密集型文件任务，即使处理海量文件也能保持高性能。Samchika拥有简洁的API，支持自定义行处理器，并可选地显示运行时统计信息。它非常适合处理和分析大型文本文件（例如日志、数据集），并在日志分析、ETL操作、大型文本语料库处理等场景中表现出色。基准测试显示，与传统的BufferedReader方法相比，Samchika在处理200MB到16GB的文件时，性能提升显著，尤其是在多核系统上，性能提升超过70%。
阅读更多
一位开发者利用 Snap Spectacles 和 Google Gemini AI 开发了一个现实世界广告拦截器原型。该原型利用深度模块 API 和云端视觉能力，在广告上叠加红色矩形进行遮挡。然而，由于 AR 眼镜的图像渲染不完全不透明且视野有限，该拦截器目前实用性不足，无法完全屏蔽现实世界的广告。尽管如此，这项尝试为未来 AR 眼镜的应用和广告交互方式提出了新的思考。
阅读更多
美国海军正在经历一场悄无声息的变革。首席技术官Justin Fanelli致力于简化冗长的采购流程，吸引更多初创公司参与海军科技项目。通过“创新采用工具包”和“地平线模型”，海军正在与Via等公司建立合作伙伴关系，以更快的速度部署新技术，例如先进的网络安全和替代GPS系统。这一转变也改变了硅谷对政府合作的态度，更多公司开始积极参与，为海军提供AI、机器人流程自动化等领域的解决方案，显著提高了效率和士气。
阅读更多
1953年，伊朗首相穆罕默德·摩萨台因试图将英国石油公司国有化而被推翻。美国和英国，为了保护自身石油利益，秘密策划了这场政变，推翻了民选政府，扶持了亲西方的巴列维国王。这场政变不仅终结了伊朗的民主进程，也为中东地区未来的动荡埋下了种子，其影响至今仍深刻地影响着美伊关系。
阅读更多
美国财政部对菲律宾公司Funnull Technology Inc.实施制裁，该公司为数十万个参与“杀猪盘”虚拟货币投资诈骗的网站提供计算机基础设施。“杀猪盘”诈骗通过网络交友引诱受害者投资虚假加密货币交易平台，最终骗取巨额资金。Funnull利用美国云服务商的网络，掩盖其犯罪活动，导致美国受害者损失超过2亿美元。此举是美国打击跨国网络犯罪的最新行动，凸显了打击网络诈骗的难度和重要性。同时，文章还提及了欧盟对另一家为俄罗斯网络攻击提供服务的公司Stark Industries Solutions的制裁，进一步揭示了全球网络犯罪的复杂性和跨国性。
阅读更多
本文介绍了在 Python 中使用信号进行响应式状态管理的方法。传统的状态管理方式依赖于手动更新，容易出错且难以维护。信号则提供了一种声明式的方法，通过定义状态之间的依赖关系，自动更新派生值，从而解决传统方法中的诸多问题，例如忘记更新、状态不一致以及测试复杂等。文章详细讲解了信号的三个基本原语：Signal、Computed 和 Effect，并通过多个实际场景的例子，演示了如何在微服务配置管理、实时分析仪表盘和分布式系统健康监控中应用信号。
阅读更多
本文回顾了开源软件的历史，从早期的学术共享到商业软件的兴起，再到Richard Stallman倡导的自由软件运动以及后来的开源运动。作者指出，尽管开源软件促进了科技产业的繁荣，但其发展也面临诸多挑战，例如资金匮乏、贡献者群体缺乏多样性以及未能完全实现其最初的社会理想。开源软件并非万能药，其成功案例更多地依赖于企业支持而非纯粹的社区贡献。作者以自身创办的开源社交平台Elgg为例，阐述了开源软件在实际应用中的局限性和机遇。
阅读更多
魁北克政府宣布停止对陷入财务困境的电动汽车制造商Lion Electric的进一步投资，此前该公司寻求债权人保护。尽管Lion Electric曾是魁北克电动汽车雄心的代表，但由于美国政策变化和自身补贴计划缺陷，魁北克政府认为继续投资不负责任。此举可能导致该公司重组失败，并给魁北克的学校巴士运营商带来困境，因为他们需要满足政府电动校车比例的要求。政府正在重新评估其电动交通计划的步伐，并可能寻求其他解决方案来满足电动汽车需求。
阅读更多
文章预测强化学习领域即将迎来其“GPT-3时刻”，通过大规模训练跨越数千个不同环境的模型，实现强大的少样本、任务无关能力。这需要前所未有的规模和多样性的训练环境，可能需要相当于数万年的“模型面对任务时间”。文章提出“复制训练”的新范式，即让AI复制现有软件产品或其特定功能，以此创建大规模、可自动评分的训练任务。这种方法虽然存在挑战，但为强化学习规模化发展提供了清晰路径，有望推动AI完成完整的软件项目。
阅读更多
人工智能聊天机器人ChatGPT因其内置的名称过滤器而引发争议。该过滤器会阻止用户提及某些姓名，例如Brian Hood、Jonathan Turley和Jonathan Zittrain，导致聊天中断。这些姓名被过滤的原因是由于ChatGPT之前曾错误地生成关于这些人的信息，引发了法律纠纷。虽然OpenAI表示“David Mayer”的过滤是一个错误，但这一事件突显了大型语言模型在处理敏感信息时的挑战以及硬编码过滤器可能带来的潜在问题。
阅读更多
Google Cloud Run 现已支持 GPU 加速的作业，这将极大地扩展其应用场景，尤其是在批量处理和异步任务方面。用户可以轻松地进行模型微调、大规模批量 AI 推理以及批量媒体处理，例如视频转码和图像处理等。 vivo、Wayfair 和 Midjourney 等公司已率先体验了这项功能，并取得了显著的成本降低和效率提升。这项新功能让开发者可以专注于创新，而无需过多关注底层基础设施的管理。
阅读更多
1987年，《Computer Language》杂志刊登了一篇文章，详细介绍了微软最新的操作系统OS/2。文章指出，OS/2凭借其多任务处理能力、全功能应用程序编程接口（API）以及对未来硬件的可扩展性，有望成为未来十年Intel 80286/80386微型计算机的操作系统。OS/2的架构分为三层：内核和系统服务、Windows Presentation Manager（WPM）以及OS/2 LAN Manager。文章重点介绍了OS/2内核及其提供的各种系统服务，包括进程创建与执行、内存管理、设备服务、文件管理和进程间通信等。OS/2采用抢占式调度程序和时间分片技术，支持保护模式和实模式，可以运行MS-DOS应用程序。此外，OS/2的动态链接库技术提高了代码复用性和可扩展性。文章最后展望了OS/2未来的发展方向，包括对80386的支持和功能增强。
阅读更多
苹果公司即将发布的 iOS 18.5 将把通过运营商提供的卫星连接功能扩展到 iPhone 13 系列。这意味着 iPhone 13 用户可以在没有传统蜂窝服务覆盖的地区使用卫星连接服务，例如 T-Mobile 的 Starlink 卫星网络。需要注意的是，这并不包含 iPhone 14 及更高版本独有的紧急 SOS 卫星功能，该功能依赖于特殊的硬件。这项更新让更多 iPhone 用户能够受益于卫星连接技术带来的便利。
阅读更多
一个名为“促进卢旺达社会和谐发展”的电台，实际上却由胡图族极端分子资助，通过妖魔化图西族，煽动仇恨和暴力，为种族灭绝制造了舆论基础。尽管比利时大使和一些援助机构意识到了危险并寻求国际帮助，但西方外交官却对此不屑一顾，将其视为玩笑，美国大使甚至认为其含糊其辞的言论可以多种解读，以“言论自由”为借口袖手旁观。
阅读更多
德国推出的廉价公共交通票证“Deutschlandticket”被研究证实具有显著的环保效益，每年可减少420万至650万吨二氧化碳排放。其成功之处在于吸引了以往很少使用公共交通的人群，将部分出行方式从汽车转向铁路，尤其是在30公里左右的中长途出行中效果明显。然而，另一项研究指出，该票证的价格差异巨大，部分地区折扣力度大，而另一些地区则价格高昂，导致低收入人群难以负担，凸显了社会公平性问题。因此，呼吁推出更低价的“社会版Deutschlandticket”以惠及更多民众。
阅读更多
本文介绍了一种使用Monad实现FizzBuzz算法的函数式编程方法。核心思想是利用guard-sequence模式，分别判断数字是否能被3、5、7整除，生成对应的字符串“fizz”、“buzz”、“zork”，若不能整除则返回Nothing。最后，使用mconcat将结果合并，并用fromMaybe处理Nothing值，最终输出正确的FizzBuzz结果。这种方法简洁优雅，充分体现了函数式编程的魅力。
阅读更多
本文探讨了文艺复兴时期人文主义教育与现代大型语言模型(LLM)之间的相似之处与差异。通过分析伊拉斯谟的《西塞罗派》和拉伯雷的《巨人传》中的案例，文章指出，人文主义者通过模仿经典作家来训练写作技巧，这与LLM通过训练语料库来生成文本的方式类似。然而，人文主义的写作训练也可能导致一种“泛化”的表达方式，缺乏针对特定情境的独特性和沟通力，如同LLM有时会产生看似合理却缺乏事实依据的“幻觉”一样。文章最终强调了人际沟通中倾听与回应的重要性，并告诫我们避免将语言生成工具化，而应注重语言的社会性和互动性，才能真正实现有效的沟通。
阅读更多
博主探索了Unicode的数学符号区块，发现其中许多符号鲜为人知，但各有用途。例如，⟂既表示垂直，也表示两个整数互质；⟑和⟇用于几何代数；还有四个符号表示数据库连接。博主还发现Unicode中存在与LaTeX命令langle和
angle对应的尖括号⟨和⟩。
OpenAI最新发布的AI模型o3和o4-mini具备强大的图像推理能力，能够通过分析照片中的细微视觉线索，准确识别照片拍摄地点，甚至能定位到具体的餐厅和酒吧。这一功能在社交媒体上引发热议，同时也暴露出潜在的隐私风险：恶意用户可能利用该功能追踪个人位置信息。测试显示，即使是旧模型GPT-4o也能达到类似效果，但o3在某些情况下表现更出色。虽然o3并非完美无缺，存在定位错误或卡死的现象，但这项技术展现了更强大AI模型带来的新风险，OpenAI目前尚未对此做出回应。
阅读更多
PicoMite固件为树莓派Pico和Pico 2带来了一个完整的操作系统，包含一个兼容Microsoft BASIC的解释器和广泛的硬件支持，包括触摸屏LCD面板、SD卡、WiFi/互联网等等。使用MMBasic，你可以轻松地通过I2C或SPI协议从各种传感器获取数据，将数据保存到SD卡，在彩色LCD显示屏上显示信息，测量电压，检测数字输入和驱动输出引脚来控制灯光、继电器等。PicoMite固件完全免费下载和使用，并提供多种版本以适应不同的应用场景，例如嵌入式控制器、独立计算机和WiFi/互联网连接控制器。其易于使用的特点和快速的开发周期使其成为物联网和嵌入式系统开发的理想选择。
阅读更多
arXivLabs是一个实验性项目框架，允许协作者直接在arXiv网站上开发和分享新功能。参与者都认同arXiv的开放、社区、卓越和用户数据隐私的价值观。你有提升arXiv社区价值的想法吗？快来了解arXivLabs吧！
阅读更多
意大利罗马大学的研究人员开发了一种利用人体对Wi-Fi信号传播干扰的新型生物识别技术——WhoFi。该技术通过分析Wi-Fi信道状态信息（CSI）中的模式，可以高精度地识别个体，即使在不同的位置也能有效识别，且不受光线条件限制，可穿透墙壁等障碍物。WhoFi的准确率高达95.5%，为基于信号的生物识别系统发展提供了新的方向，但同时也引发了人们对隐私的担忧。
阅读更多
中国河北丰宁抽水蓄能电站正式投入全面运营，装机容量达360万千瓦，成为全球最大抽水蓄能电站。该电站建设历时11年，总投资达26亿美元，年发电量66.1亿千瓦时，有效支撑当地1000万千瓦的风电和光伏基地，并通过四条500千伏输电线路连接华北电网。其地下厂房规模全球最大，采用先进的可变速抽水蓄能技术，有效提高了电网的稳定性和可再生能源消纳能力。
阅读更多