- 2026年10月28日
瑞士足协:扎卡和恩博洛下月恢复国家队选拔资格
-
Robinhood首席执行官创立的AI公司拓展软件与芯片设计验证
人工智能初创公司Harmonic周二表示,将把其Aristotle模型的应用范围从数学证明扩展至软件和芯片设计验证。该公司由Robinhood首席执行官弗拉德·特内夫共同创立。 人工智能技术日益用于发现软件漏洞,相关应用也受到更多关注。研究人员近期曾利用这项技术发现PHP中的严重漏洞,促使全球展开修补工作。 Harmonic获得英伟达风险...
-
特朗普称将禁用“人工智能”一词
美国总统特朗普10月27日表示,他将禁止在文件及其他场合使用“人工智能”一词。 特朗普质疑《华尔街日报》为何没有采用他偏好的说法“超级智能”,并称“人工智能”这个名称很糟糕,也不准确。
-
斯塔克斩获六个三柱门,澳大利亚首日反击南非
南非开普敦10月27日电:在新lands球场举行的第三场决胜测试赛首日,南非队以329分结束上半场。马奎斯·阿克曼创下个人职业生涯最高纪录,得到95分;澳大利亚快投手米切尔·斯塔克以72分换得6个三柱门,帮助客队在比赛后段扭转局面。 斯塔克利用新球接连淘汰南非队尾段击球手,主队未能守住此前的有利局势。澳大利亚将在第二天...
-
GSK计划明年将临床试验中的癌症药物数量增近一倍
英国制药公司GSK周二(10月27日)表示,计划明年将处于临床试验阶段的癌症药物数量增至接近目前的两倍,其中包括早期研究项目。公司肿瘤研发负责人赫沙姆·阿卜杜拉当天早些时候告诉《华尔街日报》,GSK目前约有15项临床阶段资产,预计到2027年将接近翻倍。 在首席执行官卢克·米尔斯领导下,GSK加大了对癌症药物的投入,包括...
-
甲骨文扩大与英伟达芯片合作,并引入谷歌和Cerebras产品
甲骨文周二表示,将扩大与英伟达的云端人工智能芯片合作,同时引入英伟达竞争对手Alphabet旗下谷歌和CerebrasSystems的产品,以拓展芯片供应。 甲骨文与英伟达称,双方合作将扩展至“多吉瓦规模”,采用英伟达最新一代VeraRubin人工智能服务器。两家公司没有披露交易金额。 英伟达首席执行官黄仁勋此前曾表示,VeraRubin系统...