阿隆索：切尔西前锋若昂·佩德罗将缺阵数周

人工智能初创公司Harmonic周二表示，将把其Aristotle模型的应用范围从数学证明扩展至软件和芯片设计验证。该公司由Robinhood首席执行官弗拉德·特内夫共同创立。 人工智能技术日益用于发现软件漏洞，相关应用也受到更多关注。研究人员近期曾利用这项技术发现PHP中的严重漏洞，促使全球展开修补工作。 Harmonic获得英伟达风险...

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

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

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

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