导航
X

Robinhood首席执行官创立的AI公司拓展软件与芯片设计验证

人工智能初创公司Harmonic周二表示，将把其Aristotle模型的应用范围从数学证明扩展至软件和芯片设计验证。该公司由Robinhood首席执行官弗拉德·特内夫共同创立。

人工智能技术日益用于发现软件漏洞，相关应用也受到更多关注。研究人员近期曾利用这项技术发现PHP中的严重漏洞，促使全球展开修补工作。

Harmonic获得英伟达风险投资部门、红杉资本和Ribbit Capital支持。该公司去年11月完成1.2亿美元融资。

相关新闻
  1. 瑞士足协：扎卡和恩博洛下月恢复国家队选拔资格

    瑞士足协周二表示，格拉尼特·扎卡和布雷尔·恩博洛下月将重新具备入选国家队的资格。足协已完成对两人取得伪造新冠疫苗接种证明一事的调查。 扎卡承认，他曾为在2022年出行和参赛而取得假证明。瑞士足协与扎卡达成协议，他将缺席瑞士队10月对阵苏格兰、斯洛文尼亚和北马其顿的国家联赛比赛。

  2. 特朗普称将禁用“人工智能”一词

    美国总统特朗普10月27日表示，他将禁止在文件及其他场合使用“人工智能”一词。 特朗普质疑《华尔街日报》为何没有采用他偏好的说法“超级智能”，并称“人工智能”这个名称很糟糕，也不准确。

  3. 斯塔克斩获六个三柱门，澳大利亚首日反击南非

    南非开普敦10月27日电：在新lands球场举行的第三场决胜测试赛首日，南非队以329分结束上半场。马奎斯·阿克曼创下个人职业生涯最高纪录，得到95分；澳大利亚快投手米切尔·斯塔克以72分换得6个三柱门，帮助客队在比赛后段扭转局面。 斯塔克利用新球接连淘汰南非队尾段击球手，主队未能守住此前的有利局势。澳大利亚将在第二天...

  4. GSK计划明年将临床试验中的癌症药物数量增近一倍

    英国制药公司GSK周二（10月27日）表示，计划明年将处于临床试验阶段的癌症药物数量增至接近目前的两倍，其中包括早期研究项目。公司肿瘤研发负责人赫沙姆·阿卜杜拉当天早些时候告诉《华尔街日报》，GSK目前约有15项临床阶段资产，预计到2027年将接近翻倍。 在首席执行官卢克·米尔斯领导下，GSK加大了对癌症药物的投入，包括...

  5. 甲骨文扩大与英伟达芯片合作，并引入谷歌和Cerebras产品

    甲骨文周二表示，将扩大与英伟达的云端人工智能芯片合作，同时引入英伟达竞争对手Alphabet旗下谷歌和CerebrasSystems的产品，以拓展芯片供应。 甲骨文与英伟达称，双方合作将扩展至“多吉瓦规模”，采用英伟达最新一代VeraRubin人工智能服务器。两家公司没有披露交易金额。 英伟达首席执行官黄仁勋此前曾表示，VeraRubin系统...