-
10:18
【AI数学突破！中国科学家首次用中国大模型攻克世界级数学难题】上海人工智能实验室今天宣布，实验室访问学者、大湾区大学教授许地生团队依托“书生”科学多模态大模型S2，破解了世界级数学难题——三维吉斯（Ghys）猜想。相关证明论文已在预印本平台arXiv发表，其形式化代码在Github平台公开。北京大学董彬教授、刘若川院士团队对这一证明完成形式化验证，验证了这项工作的正确性。这是中国数学家首次用中国大模型攻克世界级数学难题。
-
09:56
网络安全概念局部异动，吉大正元直线涨停，汉邦高科、绿盟科技、世纪恒通、飞天诚信、山石网科等快速冲高。
-
09:50
【图灵量子、智城算网、亚洲算力将共建粤港澳大湾区量超智融合算力中心】据图灵量子消息，10月14日，图灵量子与深圳市智城算网科技有限公司（智城算网）、亚洲算力算网与量子计算科技有限公司（亚洲算力）正式签署战略合作协议。三方将携手共建粤港澳大湾区量超智融合算力中心，打造融合量子计算、高性能计算与人工智能的新型算力基础设施。
-
09:43
【华光环能新设智算科技公司 含AI相关业务】企查查APP显示，近日，无锡华光智算科技有限公司成立，经营范围包含：人工智能应用软件开发；人工智能行业应用系统集成服务；计算机软硬件及辅助设备批发；以自有资金从事投资活动等。企查查股权穿透显示，该公司由华光环能（600475）全资持股。
-
09:29
【新点软件新设子公司 含AI及物联网业务】企查查APP显示，近日，厦门国泰新点软件有限公司成立，经营范围包含人工智能基础软件开发；人工智能应用软件开发；软件外包服务；物联网技术服务等。企查查股权穿透显示，该公司由新点软件全资持股。
-
09:26
【港股人工智能股走弱 壁仞科技跌超11%】截至发稿，壁仞科技(06082.HK)跌11.43%，澜起科技(06809.HK)跌11%，天数智芯(09903.HK)跌9.09%，剑桥科技(06166.HK)跌8.85%。
-
09:21
【设研院等新设智能科技公司 含机器人业务】企查查APP显示，近日，河南中工巧垂智能科技有限公司成立，经营范围包含智能机器人的研发；特殊作业机器人制造；智能机器人销售；人工智能应用软件开发；人工智能行业应用系统集成服务等。企查查股权穿透显示，该公司由设研院等共同持股。
-
09:13
【CoreWeave CEO称市场反应“不理性” 坚称业务模式稳健】当地时间10月14日，人工智能云服务商CoreWeave股价及债券价格大幅下跌后，首席执行官迈克·因特拉托在内部备忘录中称，市场正表现得“不理性”，并强调公司业务模式稳健，现有合同积压足以充分覆盖债务义务。CoreWeave股价当天下跌15%至65.78美元，创2月以来最大单日跌幅。
-
09:07
【光庭信息等成立未来技术公司 含多项AI业务】企查查APP显示，近日，武汉元合未来技术有限公司成立，经营范围包含人工智能应用软件开发；人工智能基础软件开发；人工智能行业应用系统集成服务等。企查查股权穿透显示，该公司由光庭信息等共同持股。
-
08:50
【美联储古尔斯比称通胀形势令人失望 警告人工智能基建投资或致经济过热】当地时间10月14日，美国芝加哥联储主席奥斯坦·古尔斯比表示，9月美国通胀数据令人担忧，人工智能相关基础设施建设和投资也可能导致经济过热。他称，最新消费者价格指数报告显示，通胀压力具有广泛性，尤其是服务业通胀持续，说明价格上涨并非仅由关税、中东冲突等因素引发的供应冲击所致。
粤公网安备 44030402000264号
