媒体报道以色列将参与美国新探月计划。《耶路撒冷邮报》：美国宇航局的猎户座飞船完成在即，将带以色列装备登月。
美国宇航局（NASA)在 推特上发布了猎户座航天器被转移到肯尼迪航天中心装配大楼的视频，它的组装已接近完成，只需与 NASA 的发射系统集成即可。
备受期待的阿尔忒弥斯一号任务计划于 2022 年 1 月发射，标志着美国重返月球的雄心，计划象征性地使用了阿尔忒弥斯来命名，阿尔忒弥斯是希腊神话中阿波罗神的双胞胎，早前美国的登月任务就曾以阿波罗命名。
明年当第一艘猎户座发射时，将不会载人，而只有三个人体模型，以确保新航天器对人类的安全。其中第一具完整的人类模型，经网上投票，被命名为指挥官穆尼金·坎波斯。另外两个则是女性躯干的模型，被称为幻影，来自美国宇航局（NASA)的任务合作伙伴以色列航天局 (ISA) 和德国航空航天中心 (DLR), 分别命名为佐哈尔（ Zohar） 和海尔伽 （Helga），他们的任务是进行辐射实验 (MARE)，以提供月球任务中有关辐射水平的数据并测试防辐射背心 AstroRad的可靠性。背心由总部位于特拉维夫的 StemRad 公司与航空航天军工巨头洛克希德马丁公司合作制造，用于保护宇航员免受地球磁场外空间辐射的影响，背心上自豪地印上了两国的国旗。
这些背心已被送往国际空间站进行舒适度和其他人为因素的评估研究，旨在于微重力环境中测试背心，并有助于改善背心的合体性和功能。两项测试均由 NASA 与ISA 合作进行，可以看出 AstoRad背心已 成为 NASA 未来太空探索计划的重要组成部分。
此外，以色列也在推进着自己的月球任务。一项被称为 Beresheet 2 的任务是作为 2019 年的Beresheet月球任务的后续，该任务曾见证了以色列试图成为第四个登月国家的尝试。那次尝试几乎获得成功，但就在着陆前几分钟着陆器失去了与地面的联系，导致其坠毁。尽管如此，着陆器被确信已到达了月球表面，这也使以色列成为第四个实现这一目标的国家，而着陆器的研制公司 SpaceIL也成为全球第一家完成这一壮举的私人企业。
但以色列航天人并没有被吓倒，就在几天后，Beresheet 2 任务启动。现在，以色列希望作为合作伙伴与它的地区新盟友之一阿拉伯联合酋长国，共同推进这一探月计划。SpaceIL 主席莫里斯卡恩本周三在迪拜举行的全球投资论坛上表示：““如果我们能够开发一项将以色列和阿拉伯世界联合起来的太空计划，就太好了。”
受人尊敬的慈善家卡恩在《耶路撒冷邮报》和《哈里加时报》联合组织的这次会议上表示： “阿联酋也有一个雄心勃勃的计划。这样的联合倡议将是我个人参与太空探索的巅峰之作。”
阿联酋和以色列都有着中东最先进的太空计划。阿布扎比的“希望号”探测器于今年 2 月到达火星轨道，以色列的 Beresheet 任务也在 2019 年进入了月球轨道。而阿联酋去年 3 月对以色列的 100 亿美元投资承诺中有专门用于太空项目的内容。
新的月球任务的推进是在对地球唯一卫星获得新发现之后进行的。根据发表在学术期刊《科学》上的关于中国带回地球的月岩的研究——这是四十年来人类从月球带回的第一批岩石——揭示了月球上火山活动的最新证据。
之前美国和苏联回收月岩的任务已经证实月球有火山活动，但却找不到28 亿年后的证据。而这次的新发现提供了不到 10 亿年后存在火山活动的证据，填补了我们对月球地质理解的重大空白，而进一步的月球任务将可以帮助进一步缩小认识上的差距。
美国宇航局（NASA)在 推特上发布了猎户座航天器被转移到肯尼迪航天中心装配大楼的视频，它的组装已接近完成，只需与 NASA 的发射系统集成即可。
备受期待的阿尔忒弥斯一号任务计划于 2022 年 1 月发射，标志着美国重返月球的雄心，计划象征性地使用了阿尔忒弥斯来命名，阿尔忒弥斯是希腊神话中阿波罗神的双胞胎，早前美国的登月任务就曾以阿波罗命名。
明年当第一艘猎户座发射时，将不会载人，而只有三个人体模型，以确保新航天器对人类的安全。其中第一具完整的人类模型，经网上投票，被命名为指挥官穆尼金·坎波斯。另外两个则是女性躯干的模型，被称为幻影，来自美国宇航局（NASA)的任务合作伙伴以色列航天局 (ISA) 和德国航空航天中心 (DLR), 分别命名为佐哈尔（ Zohar） 和海尔伽 （Helga），他们的任务是进行辐射实验 (MARE)，以提供月球任务中有关辐射水平的数据并测试防辐射背心 AstroRad的可靠性。背心由总部位于特拉维夫的 StemRad 公司与航空航天军工巨头洛克希德马丁公司合作制造，用于保护宇航员免受地球磁场外空间辐射的影响，背心上自豪地印上了两国的国旗。
这些背心已被送往国际空间站进行舒适度和其他人为因素的评估研究，旨在于微重力环境中测试背心，并有助于改善背心的合体性和功能。两项测试均由 NASA 与ISA 合作进行，可以看出 AstoRad背心已 成为 NASA 未来太空探索计划的重要组成部分。
此外，以色列也在推进着自己的月球任务。一项被称为 Beresheet 2 的任务是作为 2019 年的Beresheet月球任务的后续，该任务曾见证了以色列试图成为第四个登月国家的尝试。那次尝试几乎获得成功，但就在着陆前几分钟着陆器失去了与地面的联系，导致其坠毁。尽管如此，着陆器被确信已到达了月球表面，这也使以色列成为第四个实现这一目标的国家，而着陆器的研制公司 SpaceIL也成为全球第一家完成这一壮举的私人企业。
但以色列航天人并没有被吓倒，就在几天后，Beresheet 2 任务启动。现在，以色列希望作为合作伙伴与它的地区新盟友之一阿拉伯联合酋长国，共同推进这一探月计划。SpaceIL 主席莫里斯卡恩本周三在迪拜举行的全球投资论坛上表示：““如果我们能够开发一项将以色列和阿拉伯世界联合起来的太空计划，就太好了。”
受人尊敬的慈善家卡恩在《耶路撒冷邮报》和《哈里加时报》联合组织的这次会议上表示： “阿联酋也有一个雄心勃勃的计划。这样的联合倡议将是我个人参与太空探索的巅峰之作。”
阿联酋和以色列都有着中东最先进的太空计划。阿布扎比的“希望号”探测器于今年 2 月到达火星轨道，以色列的 Beresheet 任务也在 2019 年进入了月球轨道。而阿联酋去年 3 月对以色列的 100 亿美元投资承诺中有专门用于太空项目的内容。
新的月球任务的推进是在对地球唯一卫星获得新发现之后进行的。根据发表在学术期刊《科学》上的关于中国带回地球的月岩的研究——这是四十年来人类从月球带回的第一批岩石——揭示了月球上火山活动的最新证据。
之前美国和苏联回收月岩的任务已经证实月球有火山活动，但却找不到28 亿年后的证据。而这次的新发现提供了不到 10 亿年后存在火山活动的证据，填补了我们对月球地质理解的重大空白，而进一步的月球任务将可以帮助进一步缩小认识上的差距。
这不算重大的breakthrough，但是我了解了一点modern type theory的皮毛后认可的方向。最早在这个方向迈出步伐的是Zohar Manna和Richard Waldinger在1980年的一篇有影响力的文章A Deductive Approach to Program Synthesis。
它的idea很简单：在定理证明器中用first order logic表述程序的spec，用定理证明器（手动或自动）找到证明，证明的路径就是满足这个spec的程序。两位科学家也一直在这个方向深耕并分享了2016年的Herbrand Award。
TDD（Type Driven Development）四傻Coq, Lean, Agda, Idris，都能写出“hole”，原则上，可以让语言或者集成开发环境搜索证明去填补这个hole。图二中文章的作者就在他的工具中做了这个事情。想了解TDD的可以看一下Idris，是最接近于给程序员准备的语言，也有书，Edwin Brady也有很多Lecture宣传Idris（和Idris 2）。
它的idea很简单：在定理证明器中用first order logic表述程序的spec，用定理证明器（手动或自动）找到证明，证明的路径就是满足这个spec的程序。两位科学家也一直在这个方向深耕并分享了2016年的Herbrand Award。
TDD（Type Driven Development）四傻Coq, Lean, Agda, Idris，都能写出“hole”，原则上，可以让语言或者集成开发环境搜索证明去填补这个hole。图二中文章的作者就在他的工具中做了这个事情。想了解TDD的可以看一下Idris，是最接近于给程序员准备的语言，也有书，Edwin Brady也有很多Lecture宣传Idris（和Idris 2）。
计算机视觉初创公司
斑马视觉售价2亿美元
专注于医疗保健的计算机视觉初创公司斑马医疗视觉（Zebra Medical Vision）今天宣布，它已达成一项协议，将被上市的健康公司Nanox收购。条款没有披露，但斑马发言人表示，预计这笔交易的价值约为2亿美元--1亿美元的预付款，另外1亿美元与特定的里程碑协议相关。
计算机视觉是一门处理能够获得对图像和视频高级理解的算法的学科，正在广泛应用于医学领域。尽管一些研究提出了对偏见的担忧，但根据经过验证的市场研究，初创企业和现任企业正在追逐一个预计到2026年价值53.1亿美元的市场。他们认为，专业人员的短缺--美国劳工统计局预测，到2028年，放射和核磁共振技术人员的数量只会增加9%--将需要可扩展的计算机视觉技术。此外，这些公司声称，计算机视觉有潜力降低劳动力成本和医疗成像工作量。
斑马医疗于2014年由Elad Benjamin、Eyal Gura和Eyal Toledano创建，使命是帮助患者、医生和医疗保健提供者使用计算机视觉工具诊断骨、肝、肺和心血管疾病。这家初创公司提供了它所说的全球最大的开放临床研究平台之一，使研究人员能够访问数百万匿名、索引的临床记录进行科学发现。Zebra还开发了一种分析解决方案，以基于软件即服务的模式向医疗保健机构提供算法和临床洞察决策支持工具。
除此之外，斑马拥有一个拥有超过200万张医学图像的数据仓库，并拥有美国食品药品监督管理局(FDA)通过和CE标记的解决方案，包括7个FDA通过和10个CE标记的医学成像AI解决方案--最近的一个是用于骨科手术术前规划的X射线图像3D建模产品。今年7月，斑马与几个放射行业协会合作，游说美国医学协会允许保险公司在椎体压缩骨折(VCF)检测筛查中使用该公司的人工智能报销临床医生。
斑马已经筹集了5740万美元的风险资本，其客户中有1100多家医院、学术机构和护理提供商，包括InterMountain Healthcare、强生公司、Nuance、Nvidia和牛津大学。
在收购之前，斑马从专注于诊断和分诊转向利用其数据帮助医疗保健系统评估大量患者的慢性病。首席执行官Zohar Elhanani表示，如果收购完成，斑马将把其能力与收购公司的战略相结合，以“加快人口健康愿景”，并使医学成像“更高效”。
Elhanani说：“斑马医学视觉一直以扩大人工智能在医学成像中的使用为目标，以改善全球患者的健康结果。”“目前，我们明白，与可信的合作伙伴联手，以增强我们的能力和推动人口健康的手段，在人工智能的推动下，将这一愿景提升到一个新的水平，是实现这一愿景的最佳途径。事实证明，对人群进行筛查以早期发现和治疗慢性病可以改善结果，我们很高兴能够在医疗保健领域掌舵人群健康转变。“
Nanox今天还宣布，它签署了一份具有约束力的意向书，以3000万美元的现金和股票收购USARAD及其相关公司Medical Diagnostics Web。USARAD运营着一个由300名放射科医生组成的网络，遍布卫生中心、紧急护理中心和其他提供商，Nanox表示，这将为其提供获得训练有素的放射科医生的机会--降低美国和全球其他国家进入市场的障碍。
Nanox由日本风险投资大亨Masuya Hitoshi于2016年创建，希望用受《星际迷航》生物识别技术启发的硬件重新发明X射线。它的产品被称为Arc，旨在促进通过计算机断层扫描(CT)、乳房X线摄影、透视、血管造影和其他成像方式发现的疾病的早期检测。一款名为Nanox.Cloud的基于云的软件为Arc提供了增值服务，包括扫描存储库、放射科医生匹配、在线和离线诊断审查和注释、与诊断辅助AI系统的连接、计费和报告。
Nanox首席执行官兰·波利亚金（Ran Poliakine）在一份新闻稿中表示：“通过广泛部署Nanox Arc来扩大医疗成像的覆盖面，解决了实现真正人口健康管理的障碍之一。”“然而，全球训练有素的放射科医生的短缺是成像过程的一个重大瓶颈。Nanox ARC，加上对斑马医学视觉和USARAD的收购，如果完成，将使我们朝着部署我们系统的愿景前进，并得到一个由放射科医生组成的大型网络的支持，该网络拥有高度先进的人工智能算法，将允许将医学图像快速解释为可操作的医疗干预，这将代表一个端到端、全球连接的医学成像解决方案。“
这场流行病刺激了几乎每个行业对人工智能的投资。根据CB Insights的2021年第二季度报告，尽管交易量下降，但人工智能初创公司吸引了创纪录的资金--超过200亿美元。医疗保健人工智能仍然拥有最大的人工智能交易份额，占所有人工智能交易的17%（23.6亿美元）。
斑马视觉售价2亿美元
专注于医疗保健的计算机视觉初创公司斑马医疗视觉（Zebra Medical Vision）今天宣布，它已达成一项协议，将被上市的健康公司Nanox收购。条款没有披露，但斑马发言人表示，预计这笔交易的价值约为2亿美元--1亿美元的预付款，另外1亿美元与特定的里程碑协议相关。
计算机视觉是一门处理能够获得对图像和视频高级理解的算法的学科，正在广泛应用于医学领域。尽管一些研究提出了对偏见的担忧，但根据经过验证的市场研究，初创企业和现任企业正在追逐一个预计到2026年价值53.1亿美元的市场。他们认为，专业人员的短缺--美国劳工统计局预测，到2028年，放射和核磁共振技术人员的数量只会增加9%--将需要可扩展的计算机视觉技术。此外，这些公司声称，计算机视觉有潜力降低劳动力成本和医疗成像工作量。
斑马医疗于2014年由Elad Benjamin、Eyal Gura和Eyal Toledano创建，使命是帮助患者、医生和医疗保健提供者使用计算机视觉工具诊断骨、肝、肺和心血管疾病。这家初创公司提供了它所说的全球最大的开放临床研究平台之一，使研究人员能够访问数百万匿名、索引的临床记录进行科学发现。Zebra还开发了一种分析解决方案，以基于软件即服务的模式向医疗保健机构提供算法和临床洞察决策支持工具。
除此之外，斑马拥有一个拥有超过200万张医学图像的数据仓库，并拥有美国食品药品监督管理局(FDA)通过和CE标记的解决方案，包括7个FDA通过和10个CE标记的医学成像AI解决方案--最近的一个是用于骨科手术术前规划的X射线图像3D建模产品。今年7月，斑马与几个放射行业协会合作，游说美国医学协会允许保险公司在椎体压缩骨折(VCF)检测筛查中使用该公司的人工智能报销临床医生。
斑马已经筹集了5740万美元的风险资本，其客户中有1100多家医院、学术机构和护理提供商，包括InterMountain Healthcare、强生公司、Nuance、Nvidia和牛津大学。
在收购之前，斑马从专注于诊断和分诊转向利用其数据帮助医疗保健系统评估大量患者的慢性病。首席执行官Zohar Elhanani表示，如果收购完成，斑马将把其能力与收购公司的战略相结合，以“加快人口健康愿景”，并使医学成像“更高效”。
Elhanani说：“斑马医学视觉一直以扩大人工智能在医学成像中的使用为目标，以改善全球患者的健康结果。”“目前，我们明白，与可信的合作伙伴联手，以增强我们的能力和推动人口健康的手段，在人工智能的推动下，将这一愿景提升到一个新的水平，是实现这一愿景的最佳途径。事实证明，对人群进行筛查以早期发现和治疗慢性病可以改善结果，我们很高兴能够在医疗保健领域掌舵人群健康转变。“
Nanox今天还宣布，它签署了一份具有约束力的意向书，以3000万美元的现金和股票收购USARAD及其相关公司Medical Diagnostics Web。USARAD运营着一个由300名放射科医生组成的网络，遍布卫生中心、紧急护理中心和其他提供商，Nanox表示，这将为其提供获得训练有素的放射科医生的机会--降低美国和全球其他国家进入市场的障碍。
Nanox由日本风险投资大亨Masuya Hitoshi于2016年创建，希望用受《星际迷航》生物识别技术启发的硬件重新发明X射线。它的产品被称为Arc，旨在促进通过计算机断层扫描(CT)、乳房X线摄影、透视、血管造影和其他成像方式发现的疾病的早期检测。一款名为Nanox.Cloud的基于云的软件为Arc提供了增值服务，包括扫描存储库、放射科医生匹配、在线和离线诊断审查和注释、与诊断辅助AI系统的连接、计费和报告。
Nanox首席执行官兰·波利亚金（Ran Poliakine）在一份新闻稿中表示：“通过广泛部署Nanox Arc来扩大医疗成像的覆盖面，解决了实现真正人口健康管理的障碍之一。”“然而，全球训练有素的放射科医生的短缺是成像过程的一个重大瓶颈。Nanox ARC，加上对斑马医学视觉和USARAD的收购，如果完成，将使我们朝着部署我们系统的愿景前进，并得到一个由放射科医生组成的大型网络的支持，该网络拥有高度先进的人工智能算法，将允许将医学图像快速解释为可操作的医疗干预，这将代表一个端到端、全球连接的医学成像解决方案。“
这场流行病刺激了几乎每个行业对人工智能的投资。根据CB Insights的2021年第二季度报告，尽管交易量下降，但人工智能初创公司吸引了创纪录的资金--超过200亿美元。医疗保健人工智能仍然拥有最大的人工智能交易份额，占所有人工智能交易的17%（23.6亿美元）。
✋热门推荐