海军中将 James Downey 是纽约人，1986 年毕业于纽约州立大学奥尔巴尼分校，获得经济学和计算机科学理学学士学位。他于 1987 年入伍，1997 年毕业于海军研究生院，获得计算机科学理学硕士学位，随后进入工程值班军官学校，并在那里毕业
Robot Talk Episode 63 – Ayse Kucukyilmaz
克莱尔与诺丁汉大学的 Ayse Kucukyilmaz 聊了聊人机交互中的协作、冲突和失败。Ayse Kucukyilmaz 是诺丁汉大学计算机科学学院的助理教授，也是 CHART 研究小组的创始成员。她的研究重点是以人为本的机器人技术，她专攻触觉共享 […]
第五届负责任计算基础研讨会 (FORC) 将于 2024 年 6 月 12 日至 14 日在马萨诸塞州剑桥的哈佛大学举行。征文通知已经发出。请提交您的优秀论文，以便 FORC 再次取得成功。FORC 是计算和社会领域数学研究的论坛。该研讨会旨在催化一个社区的形成，支持将理论计算机科学、统计学、经济学和其他相关分析领域应用于紧迫和预期的社会关注问题。主题包括但不限于：机器学习公平性的理论方法，包括定义、算法、下限和权衡的研究；隐私的正式方法，包括差异隐私；计算和数学的社会选择，包括分配和重新划分选区；分配和公平划分的公平性；经济激励，包括社会公益机制设计；稳健性的指标和含义，包括可解释性的形式化
FunSearch: Making new discoveries in mathematical sciences using Large Language Models
在《自然》杂志发表的一篇论文中，我们介绍了一种搜索用计算机代码编写的“函数”的方法 FunSearch，并在数学和计算机科学中寻找新的解决方案。FunSearch 的工作原理是将预先训练的 LLM 与自动“评估器”配对，LLM 的目标是以计算机代码的形式提供创造性的解决方案，而自动“评估器”可以防止幻觉和错误的想法。
FunSearch: Making new discoveries in mathematical sciences using Large Language Models
在自然界发表的一篇论文中，我们介绍了FunSearch，这是一种搜索用计算机代码编写的“函数”的方法，并找到数学和计算机科学方面的新解决方案。 FunSearch通过配对预先培训的LLM的作品，其目标是以计算机代码的形式提供创意解决方案，并提供自动化的“评估者”，该解决方案可以防止幻觉和不正确的想法。
FunSearch: Making new discoveries in mathematical sciences using Large Language Models
在自然界发表的一篇论文中，我们介绍了FunSearch，这是一种搜索用计算机代码编写的“函数”的方法，并找到数学和计算机科学方面的新解决方案。 FunSearch通过配对预先培训的LLM的作品，其目标是以计算机代码的形式提供创意解决方案，并提供自动化的“评估者”，该解决方案可以防止幻觉和不正确的想法。
FunSearch: Making new discoveries in mathematical sciences using Large Language Models
在自然界发表的一篇论文中，我们介绍了FunSearch，这是一种搜索用计算机代码编写的“函数”的方法，并找到数学和计算机科学方面的新解决方案。 FunSearch通过配对预先培训的LLM的作品，其目标是以计算机代码的形式提供创意解决方案，并提供自动化的“评估者”，该解决方案可以防止幻觉和不正确的想法。
FunSearch: Making new discoveries in mathematical sciences using Large Language Models
在自然界发表的一篇论文中，我们介绍了FunSearch，这是一种搜索用计算机代码编写的“函数”的方法，并找到数学和计算机科学方面的新解决方案。 FunSearch通过配对预先培训的LLM的作品，其目标是以计算机代码的形式提供创意解决方案，并提供自动化的“评估者”，该解决方案可以防止幻觉和不正确的想法。
Artificial Intelligence: Actions Needed to Improve DOD's Workforce Management
美国政府问责署的发现国防部 (DOD) 通常会制定其劳动力的标准定义，以决定哪些人员应纳入该劳动力，并通过在其数据系统中对其进行编码来识别其劳动力。国防部已采取措施开始识别其人工智能 (AI) 劳动力，但尚未分配责任，也没有完成其他步骤以完全定义和识别该劳动力的时间表。国防部制定了 AI 工作角色 - 需要特定知识、技能和能力的专门任务和职能集。国防部还确定了一些从事 AI 工作的军事和民用职业，例如计算机科学家。但是，国防部尚未将完成定义和识别其 AI 劳动力所需的其他步骤所需的责任分配给组织，例如在各种劳动力数据系统中对工作角色进行编码、制定资格认证计划和更新劳动力指导。国防部也没有完成这
Quantum Technologies: Defense Laboratories Should Take Steps to Improve Workforce Planning
GAO 的发现在 2023 财年，七个国防实验室报告称有 255 名员工全部或部分时间从事量子项目。这些量子工作者大多数拥有博士学位，要么是物理学家，要么是工程师，而且大部分是联邦文职雇员和一些承包商。与国防部将量子劳动力扩展到物理领域之外的优先事项相一致，这些实验室还拥有化学、计算机科学和数学等领域的专家。进行国防部大部分量子工作的四个国防实验室将量子信息科学作为其研究的一部分。更广泛的战略劳动力规划，但在采用五种领先实践方面有所不同（见图）。一个实验室完全采用了所有五个实验室，而三个实验室则进行了与大多数（但不是全部）领先实践相一致的劳动力规划。三个实验室没有完全采用监测和评估进展的领先做
A new optimization framework for robot motion planning
麻省理工学院计算机科学与人工智能实验室 (CSAIL) 的研究人员在组合优化和连续优化之间建立了新的联系，可以为复杂的运动规划难题找到全局解决方案。
Robot Talk Episode 61 – Masoumeh Mansouri
Claire 与伯明翰大学的 Masoumeh (Iran) Mansouri 聊了聊文化敏感型机器人和复杂环境中的规划。 Masoumeh Mansouri 是伯明翰大学计算机科学学院的副教授。她的研究包括两个互补的领域：(i) 开发用于与人类共享的非结构化环境的混合机器人规划方法，[…]
2024 Motwani Postdoc Announced
斯坦福大学理论小组邀请申请 Motwani 理论计算机科学博士后奖学金。以下是信息和申请说明。在职位填满之前将接受申请，但申请人的审核将在 12 月 15 日之后开始。网站：https://academicjobsonline.org/ajo/jobs/26450电子邮件：theory.stanford@gmail.com
Code to Joy: Why Everyone Should Learn a Little Programming – Interview with Michael Littman
《Code to Joy：为什么每个人都应该学一点编程》是布朗大学计算机科学教授、AIhub 创始受托人 Michael Littman 的新书。我们与迈克尔谈论了这本书的内容、灵感来源以及我们在日常生活中熟悉的许多编程概念 […]
How AI Can Help Predict Human Behavior and Accelerate Solutions to Societal Challenges
麻省理工学院教授兼计算机科学家 Alex“Sandy”Pentland 在 NAE 年会上发表了特别演讲，探讨了人工智能和大型语言模型等工具如何帮助将人类行为整合到预测模型中，以改善我们对气候变化等挑战的响应、流行病和收入不平等。
Robot Talk Episode 57 – Kate Devlin
Claire 与伦敦国王学院的 Kate Devlin 聊了聊机器人和人工智能的社会和伦理影响。 Kate Devlin 是伦敦国王学院数字人文系的人工智能与社会学讲师。她是一名跨学科计算机科学家，研究人们如何与过去和现在的技术互动和反应 [...]
AI for Scientific Discovery - Oct. 12-13 Workshop
在 10 月 12 日至 13 日举行的美国国家科学院研讨会上，来自私营企业、联邦科学机构和研究机构的人工智能和计算机科学专家将探讨如何利用人工智能自主开展研究和追求科学发现。
