欢迎来到 的 ！如果您是某个奖项的真正赢家，或者只是觉得今天是赢家，那么该模板的链接是 。 HackerNoon 写作提示 这里 嘿，黑客！我是 Sharad Sundararajan，一位 AI 爱好者和 EdTech 企业家（ 的联合创始人和领先软件）。 Merlyn Mind Merlyn 是教师的数字助理，这是一种 解决方案，旨在通过 并将他们从教室前面 出来，为教师节省时间。 多模式 自动化他们的工作流程 解放 我首先要感谢 社区的 ，并非常感谢所有的读者投票并承认我是 的赢家。 HackerNoon 提名 HackerNoon 年度贡献者 - 数学 记者：获得这个冠军对你来说意味着什么？ HackerNoon 人工智能在逻辑和数学领域的更多可见性，特别是 这是一个有着悠久而丰富历史的领域，但仍然没有像（例如）计算机视觉、语音识别、NLP 那样受到主流关注或者自动驾驶汽车可能。 自动定理证明 (ATP)， ATP 的许多进展可以归功于现实世界的应用，例如硬件和软件中的形式验证（例如航天器控制、RSA 加密……），但还有很长的路要走。 在最近的 ， 描述为一种可以生成新数学公式的人工智能，其中一位数学家乔治安德鲁斯恰当地捕捉到了 ATP 的状态： 一篇自然文章中 将拉马努金机器 “……尽管计算机或许能够提出数学陈述，甚至证明它们是真实的，但无需人工干预，但尚不清楚它们是否能够**区分深刻、有趣的陈述与仅在技术上正确的陈述。 ** “在我能够在人工智能中发现一种成熟的‘数学品味’之前，我希望它的角色是一个重要的辅助工具，而不是独立发现者。” 现在有一些努力越来越受欢迎，比如 GPT-f，OpenAI 正在为 ATP 探索基于转换器的语言模型，但对于它是否会在方向上产生有意义的推理步骤，尚无定论。 ATP 似乎仍然是人工智能的一个深奥领域，我希望这能激起更广泛受众的兴趣。 就个人而言，作为一名业余 ATP 爱好者，从技术界获得推动以坚持下去是令人鼓舞的。 您或您的公司打算如何在 2022 年承担起这个头衔的责任？ 我们 非常接近多模式交互（语音、触摸、远程控制……）和 AI（语音、NLP、知识表示……）交叉点的关键进步，但坚定不移地致力于让教师的生活更轻松教室。 Merlyn Mind 如何将 AI 应用于实际应用是我们使命的核心，我认为这是对我们在教育、数学和数学教育中追求 AI 的又一推动力。 您期待在 2022 年实现哪些目标（无论是通过公司计划还是您的个人旅程）？ 教师们每天不得不就各种主题做出多项决定，包括但不限于他们的教学方法、课堂管理、技术或作业，这让教师们不堪重负。 我们可以做的任何事情来减轻一些决策，减轻他们的压力并避免倦怠将有很长的路要走。因此，2022 年的目标之一是让 Merlyn（数字助理）为更多教师提供帮助，帮助他们做他们最擅长的事情，教授并点燃所有学生的热情，以建设更美好的未来。 在个人方面，我想在今年完成 Centaur Theorem Provers 系列的第三部分，也是最后一部分。 当您观察周围世界的各种令人担忧的趋势时，您能想到哪些解决方案？说出三个趋势和三个解决方案。尽可能简短或详细。 三个有关趋势： 全球教师培训的差距。 (D/M) 是信息。 数字划分。 教师培训差距 联合国的 SDG-4（可持续发展目标 4）规定 。 “确保包容和公平的优质教育，促进所有人的终身学习机会” 教师是实现 SDG-4 目标的关键。然而，并非所有人都为这份工作做好了同样的准备。 正如 情况说明书（ ）所示，某些地区（尤其是撒哈拉以南非洲）的教师资格差距令人严重担忧。 联合国教科文组织的这份 2021 年世界教师日 图 1 来自上述 的一些统计数据非常有说服力： 来源 “在全球范围内，83% 的小学教师和相同比例的中学教师拥有最低要求的资格。在小学，这一比例从东南亚的 98% 到撒哈拉以南非洲的 67% 不等，而在中学，这一比例从中亚的 97% 到撒哈拉以南非洲的 61% 不等。” “自 2000 年以来，在撒哈拉以南非洲，由于私立/社区教育提供者数量的增加、合同教师的招聘和预算的限制，具有最低要求资格的教师比例从小学的 84% 和中学的 79% 开始下降。 ” 一个相关的趋势是教师因职业倦怠和低薪而逃离该行业。 例如， 的教师入学率是 15 年来的最低点。 （图 2 ） Teach for America 来源为美国非营利性教育新闻报道 Chalkbeat 可能没有解决所有问题的灵丹妙药，但我们确实需要投资的几个关键方向是： 提高 并改善对教师培训的国内 和国际援助。有关相关工作，请参见 。 认识 资金 2030 年教师教育国际工作组 有效的 (PD) 计划。总是有多个目标和优先事项在争夺教师的时间、精力和注意力，因此需要更多的努力 中，并通过反馈循环实现动手学习，教师可以监控他们的 PD。 专业发展 将 PD 仔细整合到教师工作流程 。从方向上看，这非常符合 Merlyn Mind 自己的座右铭“ ”。 Merlyn 允许教师在教室中走动，而不会影响他们对技术（硬件和软件）的访问。 用于 PD 的人工智能 人工智能为人们创造更美好的未来 教师可以使用多模式输入（AI 集线器上的远场语音、带近场语音输入的遥控器、空中鼠标、方向键等）控制教室前面的显示器和他们自己的笔记本电脑。但 Merlyn 最关键的功能之一是启用教师工作流程的微自动化，以节省他们的时间和精力。 因此，教师可以轻松地直接跳转到笔记本电脑上的教育应用程序并与全班共享材料，就像他们可以通过单击或语音命令切换显示一样。 但也有一些专注于 PD 人工智能的努力，例如 ，它试图根据教师的目标个性化内容。作为辅导周期的一部分，教师可以在课堂上尝试改变并监控他们自己的 PD，这是一个重要的反馈循环。 Edthena 的人工智能教练 数字助理是未来，我们需要拥抱它，并在人工智能方面投入更多资金，以加速弥合教师培训方面的差距。 (Dis/Mis) 信息 另一个令人担忧的趋势是假新闻，即有意或无意地传播虚假信息。 当零星的努力变成系统组织的努力导致虚假信息宣传活动时，这一点尤其令人不安，在最坏的情况下可能对整个国家造成破坏。 显示了报纸发表“假新闻”这一短语的年度频率有所增加，正如 的文章所说的那样，“可以说让人们更熟悉——因此也更可信” ——它的错误内涵。” 图 3 PNAS 期刊这篇题为“科学观众、错误信息和假新闻” Nature 在 2020 年发表了一篇题为“ ”的文章，其中对 COVID-19 紧急情况期间用户在五个不同社交媒体平台上的活动进行了比较分析。 COVID-19 社交媒体信息流行病 作者绘制了有问题的帖子和参与度与可靠帖子和参与度的比率（回归系数）。在其中一个来源（Gab）中，可疑帖子的数量仅为可靠帖子数量的 70% 左右，但可疑帖子的参与量接近可靠帖子数量的 3 倍！ 作者认为，Gab 是一个最容易受到错误信息传播的环境。他们的分析还表明，“ 。” 信息传播是由特定社交媒体施加的交互范式或/和参与该主题的用户群体的特定交互模式驱动的 他们得出的结论是，信息传播的主要驱动力与每个平台的特定特性有关，并取决于参与该主题的个人的群体动态。 深假货 2017 年，一位名为“deepfakes”的 Reddit 用户使用深度学习将名人的面孔与不当视频交换，并将其发布到网上。在全球 Google 趋势中搜索“deepfake”一词会产生以下趋势： 有关 deepfakes 的出版物激增。 以下是一些时间表，一个来自 另一个来自《 ，它们应该让我们重新审视我们的工具，以辨别真假之间的区别。 国土安全部的合成媒体出版物， 数据与社会》杂志 越来越难以区分。 如果您有兴趣深入了解如何创建 deepfake，请参阅 。作者展示了如何结合几个基本的神经网络结构（ ）来检测和创建深度伪造（ ）。 佐治亚理工学院的一项出色的综合调查 图 9 图 10 同样从该 中，作者提供了一个 （ ），它提供了一个有用的框架来思考真假新闻。 调查 信息信任图 图 11 冒着陈述显而易见的风险，对于初学者来说，我们只需要使用我们的常识并更加警惕，使用更多的逻辑工具，如反驳和平行论证来揭露荒谬。 但鉴于虚假信息攻击的复杂性，我们确实需要一种多管齐下的方法，包括（但不限于）： 与之抗争。一个很好的例子是 ，它返回有关媒体（照片、视频）被人为操纵的程度的置信度分数。 呼吁科技公司采取行动 Microsoft Video Authenticator 人工智能/ 事实检查员与人类在循环中获得分布式共识。 算法 数字划分 数字鸿沟并不像大流行期间那样明显，当时 k-12 教育因互联网连接和计算机可用性差而被颠覆。 虽然在我们讨论数字鸿沟时，可用性是首要考虑因素，但还有其他表征鸿沟的维度，例如可负担性（成本、访问所支付收入的百分比）、服务质量（上传/下载速度）、性别（参见 和 ）、安全性、互连性或数字素养。 来自国际电联 性别数字鸿沟指数 这张来自 的图片显示了全球互联网采用率的差异。 2022 年全球数字概览报告 这是另一个视图（ ），显示了发展中国家在采用率方面的增长速度不如发达国家快的趋势。 图 13 进一步揭示了即使在发达国家内部，城市和农村人口之间的差距。 图 14 毫无疑问，为了弥合数字鸿沟，已经做出了几项出色的努力。 很高兴看到一种更全面的方法来扩大接入，包括像私有 LTE 覆盖最后一英里和像 （第一个非营利 wifi 努力之一）这样的社区网络，特别是对于服务不足的社区。 Metamesh 查看 2022 年的 （ ，我们应该着眼于推进移动学习体验。我们还需要解决供应链延迟问题，以保持设备访问的连续性。 设备所有权数据 图 15） 一个荣誉（并且可能非常昂贵）提到的是 损害成本增加的非常令人不安的趋势。 勒索软件 这是 Cybersecurity 预测到 2031 年勒索软件损害成本将达到 2650 亿美元。 Ventures 的快照， 到 ！ 2025 年，全球网络犯罪成本预计将达到惊人的 6 万亿美元 参与这次旅程后，您有什么想让 团队知道的吗？ HackerNoon 你们在鼓励技术爱好者参与和参与社区方面做得非常出色。 您或您的公司有什么特别之处，您很少有机会适当地分享，但真的很想分享？ （给这个适当的想法，我会知道你是否没有！） 关于 ，我能说的最特别的是人。在内部，我们拥有一支由使命驱动的惊人而才华横溢的团队。 Merlyn Mind 同样特别的是我们的最终用户（教育者、IT 管理员/主管、合作伙伴），我们相信他们是我们在这个旅程中的扩展团队和合作者！ 在个人方面，我喜欢吃辣的食物，这可能很多人都知道。可能鲜为人知的是我为我的“ ”获得的证书（让我发疯）奇怪的是，我自豪地宣传！ 可疑判断 作为亚当·里奇曼的人与食物的粉丝，我决定尝试他的一项壮举 - ，并成功完成了挑战并登上了“P”名人堂！ Phall Curry 挑战 厨师做饭时戴着防毒面具，因为他们显然使用了几种不同类型的辣椒！所以，是的，怀疑是对的。 左边（ 是一张与 Phaal 无关的图片，来自中国一家供应 Schezwan 食物的餐厅。最疯狂的是，漂浮在上面的所有东西都是辣椒，而且很好吃。 图 18） 您目前正在欣赏什么歌曲或音乐专辑？ 这些天来，我让 Pandora 在不同的站点上运行，并将选择卸载到机器上。 您希望人们更多地了解哪些概念？ 我不知道人们已经知道哪些概念，但我可以提一些对我有用的概念。请注意，这些都不是原创的，但它们影响了我的想法。 孪生思想： 和计算坚忍。 计算善良 作为多种思维方式 多重表示 双子理念 我第一次遇到这些想法是在 Brian Christian 和 Tom Griffiths 的著作《 中。以下是 ： 赖以生存的算法》 定义 “ 是一种设计原则，它使用计算机科学来识别看似简单的任务为必须承担这些任务的人带来大量复杂工作的领域，并采取措施减少这些开销。” 计算友好 “ 是使用计算机科学来确定我们在生活中必须做出的艰难决定中确定性的限度，并帮助我们在这些领域尽可能地确定——同时放开自我——怀疑来自于我们是否可以通过更加努力地找到更多的确定性。” 计算斯多葛主义 机器试图通过吸收大部分复杂性来进行计算。这同样适用于人类，我们可以让其他人更容易（通过简化）消费我们的思想和文字。当我们没有做到这一点时，我们就是在计算上不友善。 多重表示 近二十年来一直困扰着我的关于表示一词的众多定义之一是 。 Ontological Commitment 在我们选择代表或建模世界/系统的那一刻，我们 对它的一种理解，一种功能或结构的可能性。 承诺 但要全面了解世界，就需要使用尽可能多的工具来探索它，使用尽可能多的语言和抽象级别，并产生尽可能多的理论来帮助解释世界上的不同现象。 让我们以图 19 。 中动力学问题的这个物理示例为例 电梯在上升过程中减速的相同想法可以用定性的方式来表示，用向量的半定性的方式在概念上描述问题，用符号和方程的定量方式来编码抽象、规则和理论。解决现实世界中的问题。每个都提供了不同级别的表现力。 十多年前 Bret Victor 提出的一个相关但绝妙的想法是 ，其中改变一种表示会影响其他表示。对于学习者来说，这是一个非常强大的工具。我鼓励读者在 。他的著作中的一个片段很好地解释了这个想法： Explorable Explanations 这里查看 “像这样的交互式小部件的新颖性很容易给人留下深刻印象，但交互性本身并不是重点。这个例子的主要点——我称之为“可探索的解释”的原因——是微妙之处探索与解释相结合”——布雷特维克多 我想给你留下乔治波利亚（数学家）关于同一主题的简单而有力的引用： “用五种不同的方法解决一个问题，比用一种方法解决五个不同的问题要好” 谢谢你所做的一切！ – 团队。 HackerNoon 了解更多信息： 阅读有关 Noonies 的信息 这里 .要查看您可能访问的所有获奖者 这个网站 ，选择任何奖项，然后查看顶部显示的名称。或关注 此帐户 对于在 2022 年 2 月 14 日这一周发布的姓名列表的帖子。 阅读常见问题解答 这里的初创公司 或者 这里 .要查看您可能访问的所有获奖者 这个网站 ，选择任何城市并查看显示在顶部的名称。或关注 此帐户 对于在 2022 年 2 月 14 日这一周发布的姓名列表的帖子。 感谢我们所有的赞助商！我们非常感谢您对科技世界以及未来的贡献！ 初创公司 ： 大块头 , 布雷克斯 , 自由代码营 , LaunchDarkly , 线圈 , 优达学城 , 乌迪米 , 韦尔塞尔 , 亚太跨性别网络 , 拜比特 , 恒大网络 午睡 ： Noonies 奖由以下机构赞助： 拜比特 , Avast , 技术领域 主办方： 黑客中午
