下午 6:00:向面部和头部受伤者联盟主席 Patrick Remm 先生、全国联合会 André Maginot 主席 René Peter 先生和严重战争伤残人士谅解委员会主席 Paul Dodane 先生颁发奖章 - 巴黎 (75)
随着人工智能能力的快速发展,我们对潜在的经济、社会和地缘政治影响的理解却落后了。为了弥补这一差距,我们提出了一项关于变革性人工智能 (TAI) 经济影响的研究议程。关键研究领域包括经济增长、创新、收入分配、决策权、地缘政治、信息流、人工智能安全和人类福祉。我们讨论了几种方法,包括理论建模、新经济指标、福利指标、任务级评估和人工智能代理模拟。通过加速这些领域的研究,经济学家可以开发洞察力和工具来应对 TAI 带来的挑战和机遇。本文强调跨学科合作和主动政策制定,以确保广泛分配 TAI 的好处,同时降低潜在风险。
发言人:Halimah Delaine Prado(L '00),Google总法律顾问,与Kristin N. Henning交谈(LL.M.’02),乔治敦大学法律中心少年法学教授兼少年司法诊所和倡议
规划委员会 - 2024 年 1 月 17 日 - 会议记录 - Pdf 5. 信息项目(仅讨论)A. 规划委员会议会程序 3 PC 议会程序建议动议:N/A 6. 动议考虑 A. 2024 年综合计划档案和其他修正案 4 - 7 2024 年综合计划档案和其他修正案 - AB PC2024-0005 - Pdf 建议动议:我提议将 2024 年综合计划档案和发展条例修正案转发给市议会审议。 B. 2024 年规划委员会主席选举 8 2024 年规划委员会主席选举 - AB PC2024-0004 - Pdf 建议动议:我提议选举(插入姓名)为 2024 年规划委员会主席。 C. 2024 年规划委员会副主席选举 9 2024 年规划委员会副主席选举 - AB PC2024-0003 - Pdf 建议动议:我提议选举(插入姓名)为 2024 年规划委员会副主席。 7. 休会
1. 形式保证:思考人工智能系统保证的最佳方式是什么?统计学、理论计算机科学或计量科学中是否有方法可以帮助我们开发测量方法,从而为我们提供可量化的保证水平?哪些形式置信度或概率度量是合适的,如何计算和解释它们?目前,我们可以保证人工智能系统的简单属性(Cohen 等人,2019 年),但复杂的安全属性目前仍然遥不可及。(注意:虽然形式验证目前超出了该计划的范围,但经过认证的稳健性是形式验证的一个特殊情况,它很有前景,我们希望支持其研究。)
人才 印第安纳州面临着严重的人才缺口,目前有 14 万个职位空缺,而预计 2025 年至 2050 年期间只会增加 11 万名技术工人。尽管该州是美国十大大学生输入州之一,但它在留住人才方面却举步维艰,每年在毕业一年内就失去 3.4 万名毕业生,在全国排名倒数十位。与此同时,只有 39% 的成年人拥有副学士学位或更高学历,高中毕业生的大学入学率从 2015 年的 65% 下降到 53%。到 2031 年,预计美国 72% 的工作岗位将需要高中以上的教育,印第安纳州必须应对这些挑战,增加州政府对毕业生保留计划的资助,并加强雇主对基于工作的学习途径的参与,以吸引、培养和留住技术人才。
与业务计划和人民战略保持一致。这是一个关键文档,将在接下来的12-36个月内列出劳动力司机。该计划将详细说明建立差距,将未来员工的需求与我们当前的劳动力数字和技能进行比较。它还将介绍实现所有这些工作所需的员工人数和新角色,并将通过更详细的服务劳动力计划来增强。4.12劳动力计划最好被描述为:“在正确的时间让合适的人能够在正确的地方提供合适的技能和能力,以在您负担得起的预算范围内提供最优质的服务。”实际上,这将涉及以下内容:
