XiaoMi-AI文件搜索系统
World File Search System议程
SAFE-AI 研究议程（2024 年 9 月）
1. 形式保证：思考人工智能系统保证的最佳方式是什么？统计学、理论计算机科学或计量科学中是否有方法可以帮助我们开发测量方法，从而为我们提供可量化的保证水平？哪些形式置信度或概率度量是合适的，如何计算和解释它们？目前，我们可以保证人工智能系统的简单属性（Cohen 等人，2019 年），但复杂的安全属性目前仍然遥不可及。（注意：虽然形式验证目前超出了该计划的范围，但经过认证的稳健性是形式验证的一个特殊情况，它很有前景，我们希望支持其研究。）
FLF 2024 议程草案 当前
自从俄罗斯入侵乌克兰以来，以色列和巴勒斯坦之间的紧张局势不断升级，红海资金的重点已转移到装甲，炮兵和空中。将遗产资产捐赠给事业使土地部队重新分析了重要的事情，指挥官应警惕摇摆的方向太远。ISR系统，C2，ASE和武器的进步可能尚未证明是至关重要的。未来土地部队的第一天汇集了军事和行业专家，为全球军事行动的成功做出了重要贡献。这些专业人员领导着研究，开发，测试和评估（RDT＆E），平台，系统和武器，研发以及获取和能力管理，培训和支持解决方案。我们很高兴能将他们带到未来的陆军上，并希望您发现他们的见解有价值和丰富。
预测人工智能进展：研究议程
本文介绍了预测人工智能进展的研究议程，该议程利用德尔菲法征求和汇总专家对优先考虑哪些问题和方法的意见。本文介绍了德尔菲法的结果；本文的其余部分遵循这些结果的结构，简要回顾了相关文献并为每个主题提出了未来的工作。专家指出，应考虑多种方法来预测人工智能的进展。此外，专家们还确定了预测人工智能进展问题中既普遍又完全独特的突出问题。一些最高优先级的主题包括（部分未解决的）预测的验证、如何使预测具有行动指导作用以及不同绩效指标的质量。虽然统计方法似乎更有希望，但人们也认识到补充判断技术可能会非常有益。
可持续列克星敦邮政议程2025-01-28
从：辛迪·阿伦斯（Cindy Arens）到：玛丽·德·奥尔德雷特（Mary de Alderete），镇务员：可持续列克星敦委员会会议日期：2025年1月23日，可持续列克星敦委员会的会议将于2025年1月28日星期二下午6:00 pm至7:15 pm举行。会议将根据城镇经理的举办虚拟会议的程序，使用城镇变焦帐户举行。下面提供了会议的链接。预计会议的议程将是：
重新分配会议议程
iii.由于重新分配，连接/GNA 的开始日期不能推迟。但是，如果已经在目前的共用站授予了海湾，则重新分配的实体应负责支付中间期间的海湾费用。iv.重新分配后，任何实体的传输费用责任（如有）应符合 CERC 共享条例 2022。 v. 所有实体都必须事先获得管理层批准，才能在会议上选择重新分配。申请人在会议上做出的决定应被视为最终决定，并以此为基础，重新分配应最终确定，之后不得进行任何更改。vi.如果实体未参加会议，则将被视为申请人不愿意重新分配，因此不会考虑重新分配。vii.由于重新分配而在任何共用站/部分产生的任何空缺/余量，应在同一次会议中提供给同一综合体后续共用站/部分的合格实体。viii.如果在本次重新分配会议后仍有任何容量空缺，则应根据新申请人的申请优先级将其提供给新申请人。
