Schools’ Stem diversity problem needs systemic solution, say MPs
根据国会议员的一份报告，报告发现，英格兰各级教育中来自加勒比黑人背景的学生在 StemChildren 中的代表性“严重”不足，来自加勒比黑人背景的年轻人在英国各级教育的数学、科学和技术研究中的代表性“严重”不足。报告称，学习三重科学的加勒比黑人学生比任何其他背景的学生都要少。它还强调了教师队伍缺乏多样性，并指出需要额外的 15,655 名黑人教师，以使教师的多样性与学生的多样性保持一致。继续阅读...
Schools’ Stem diversity problem needs systemic solution, say MPs
根据国会议员的一份报告，报告发现，英格兰各级教育中来自加勒比黑人背景的学生在 StemChildren 中的代表性“严重”不足，来自加勒比黑人背景的年轻人在英国各级教育的数学、科学和技术研究中的代表性“严重”不足。报告称，学习三重科学的加勒比黑人学生比任何其他背景的学生都要少。它还强调了教师队伍缺乏多样性，并指出需要额外的 15,655 名黑人教师，以使教师的多样性与学生的多样性保持一致。继续阅读...
LinEAS: End-to-end Learning of Activation Steering with a Distributional Loss
生成模型在日常生活中的使用越来越多，需要有效的机制来控制其生成，例如生成安全的内容或为用户提供探索风格变化的工具。理想情况下，这种机制应该需要少量的未配对数据（即没有明确的偏好），并且在训练和推理时都应该便宜，同时保持输出质量。最近的研究表明，这种机制可以通过专门干预模型激活来获得，目的是纠正使用提示时看到的激活之间的分布差异......
Europe Rations Air Conditioning But The US Has Made A Map To Help People Optimize It
美国的人均能源使用量比二战时期甚至一战时期都要少。多亏了天然气，我们才能以可承受的成本为大多数州提供能源。(1) 借助显示空调使用地点的新数据集，可以更轻松地了解哪些地方可以改进。在法国，您必须获得政府和邻居的许可才能安装空调。你也会想变得富有，因为把它卖给欧洲其他国家比卖给国内更有利可图。(2) 美国拥有更多的股权，大约 90% 的人拥有空调，但新的 AC 地图显示，并非所有空调都是最优的。例如，在潮湿地区的便携式设备就不是很有效。阅读更多
Study finds EVs quickly overcome their energy-intensive build to be cleaner than gas cars
制造电动汽车及其电池是一个肮脏的过程，需要消耗大量能源。但一项新的研究表明，电动汽车在两年的使用中，总体排放量比汽油动力汽车要少，很快就能弥补这一不足。
Western Union says its core business of money transfers in the U.S. is down
西联汇款的核心业务是向美国的移民工人汇款回家。自特朗普总统上任以来，财报电话会议反映的情况要少得多。
Omega-3 deficiency common among Chicago parents, study warns
西北大学的一项新研究发现，许多芝加哥父母没有摄入足够的 omega-3 脂肪酸，这些营养素对大脑和心脏健康至关重要。研究显示，母亲和父亲摄入的 omega-3 含量都远远低于建议量，女性的摄入量甚至比男性还要少。 Knowridge Science Report 上首先出现的研究警告称，这种缺乏症可能是芝加哥父母中常见的后 Omega-3 缺乏症。
Your kids may not get as much sleep as you think
研究人员发现，许多罗德岛州孩子的睡眠时间比父母意识到的要少，其中拉丁裔孩子的休息时间最少。
Scientists Debunk Long-Standing Exercise Myth
一项开创性的澳大利亚研究表明，身体健康的人实际上每天使用的心跳次数比久坐的人要少，这打破了运动“消耗”心跳的神话。忘记体育活动会耗尽心跳的古老神话吧。澳大利亚的新研究发现，身体健康的人的总[...]
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
大型语言模型 (LLM) 展示了令人印象深刻的数学推理能力，但它们的解决方案经常包含无法自动验证的错误。 Lean 4 等形式化定理证明系统提供了完全准确的自动验证，推动了最近努力构建专门的证明者法学硕士，以形式语言生成可验证的证明。然而，仍然存在一个重大差距：当前的证明者法学硕士解决的问题比使用自然语言操作的通用法学硕士要少得多。我们介绍 Hilbert，一个代理框架，它通过以下方式弥合了这一差距
